diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-08-25 02:35:00 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-22 08:11:27 -0400 |
| commit | 41a52050498ea809c7175e2a3ce682324d2a966c (patch) | |
| tree | a58d5812ccb41a81955b659bb14b3cb6b0f8f1fe /gcc/ada | |
| parent | 7b3bda2ce269e858b2a7defa904bc748bc0b5854 (diff) | |
| download | gcc-41a52050498ea809c7175e2a3ce682324d2a966c.zip gcc-41a52050498ea809c7175e2a3ce682324d2a966c.tar.gz gcc-41a52050498ea809c7175e2a3ce682324d2a966c.tar.bz2 | |
[Ada] Update annotations for codepeer analysis on GNAT runtime
gcc/ada/
* libgnat/s-imgrea.adb (Set_Image_Real): Update annotations.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/libgnat/s-imgrea.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/s-imgrea.adb b/gcc/ada/libgnat/s-imgrea.adb index 3c3ffe1..244b79c 100644 --- a/gcc/ada/libgnat/s-imgrea.adb +++ b/gcc/ada/libgnat/s-imgrea.adb @@ -507,6 +507,8 @@ package body System.Img_Real is if V > Long_Long_Float'Last then pragma Annotate (CodePeer, False_Positive, "dead code", "CodePeer analysis ignores NaN and Inf values"); + pragma Annotate (CodePeer, False_Positive, "test always true", + "CodePeer analysis ignores NaN and Inf values"); Set ('+'); Set ('I'); Set ('n'); @@ -516,8 +518,6 @@ package body System.Img_Real is elsif V < Long_Long_Float'First then Set ('-'); - pragma Annotate (CodePeer, False_Positive, "dead code", - "CodePeer analysis ignores NaN and Inf values"); Set ('I'); Set ('n'); Set ('f'); |