diff options
Diffstat (limited to 'gcc/ada/set_targ.adb')
| -rwxr-xr-x | gcc/ada/set_targ.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/set_targ.adb b/gcc/ada/set_targ.adb index 0340ee6edfd..4c717c5d7d3 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 |