aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface
diff options
context:
space:
mode:
authorDaniel Mercier <mercier@adacore.com>2022-04-14 17:36:17 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-19 14:05:31 +0000
commite478e16e8a8a256c8c117f0bbe54a3078c086bc2 (patch)
treeabfeb6c56235af25bd7aa48ac2a08a449d858e5b /gcc/ada/gcc-interface
parent679ed5b02b20d97992d94878f9293c02b3fc26a4 (diff)
downloadgcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.zip
gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.gz
gcc-e478e16e8a8a256c8c117f0bbe54a3078c086bc2.tar.bz2
[Ada] Ignore Predicate_Failure in CodePeer mode
gcc/ada/ * sem_ch13.adb (Build_Predicate_Function): Ignore predicate failure in CodePeer mode.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions