diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-08-21 14:44:51 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:44:51 +0000 |
| commit | 83fadfd9ab43f7870d309ebb46e460cec82994a2 (patch) | |
| tree | aebc9d302b274e30a35d1f32100d516d3a61fdee /gcc | |
| parent | 8a2f6bbe45fe2dff64d613365fe2ddb2b1922e2f (diff) | |
| download | gcc-83fadfd9ab43f7870d309ebb46e460cec82994a2.zip gcc-83fadfd9ab43f7870d309ebb46e460cec82994a2.tar.gz gcc-83fadfd9ab43f7870d309ebb46e460cec82994a2.tar.bz2 | |
[Ada] Set_Targ: add a CodePeer annotation
2018-08-21 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* set_targ.adb: Mark some CodePeer message as Intentional.
From-SVN: r263711
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rwxr-xr-x | gcc/ada/set_targ.adb | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7bae0cf..809fd0a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-08-21 Arnaud Charlet <charlet@adacore.com> + + * set_targ.adb: Mark some CodePeer message as Intentional. + 2018-08-21 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Call): Force the freezing of an diff --git a/gcc/ada/set_targ.adb b/gcc/ada/set_targ.adb index 0340ee6..4c717c5 100755 --- a/gcc/ada/set_targ.adb +++ b/gcc/ada/set_targ.adb @@ -917,6 +917,9 @@ begin Get_Back_End_Config_File; begin if Back_End_Config_File /= null then + pragma Gnat_Annotate + (CodePeer, Intentional, "test always false", + "some variant body will return non null"); Read_Target_Dependent_Values (Back_End_Config_File.all); -- Otherwise we get all values from the back end directly |