procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Update annotations for codepeer analysis on GNAT runtime

Browse source 
gcc/ada/

	* libgnat/s-imgrea.adb (Set_Image_Real): Update annotations.
This commit is contained in:
Arnaud Charlet 2020-08-25 02:35:00 -04:00 • committed by Pierre-Marie de Rodat
parent 7b3bda2ce2
commit 41a5205049
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/libgnat/s-imgrea.adb
View file

@ -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');