projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
49a31a1
)
[Ada] Adapt CodePeer analysis of GNAT to changes in dependencies
author
Yannick Moy
<moy@adacore.com>
Tue, 8 Feb 2022 17:04:49 +0000
(18:04 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Thu, 12 May 2022 12:38:36 +0000
(12:38 +0000)
New dependencies in s-imagei are causing issues for CodePeer analysis
of GNAT source and libs. Updating the setup.
gcc/ada/
* libgnat/s-imagef.adb: Justify false message from CodePeer.
gcc/ada/libgnat/s-imagef.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/libgnat/s-imagef.adb
b/gcc/ada/libgnat/s-imagef.adb
index
2166ece
..
1007adc
100644
(file)
--- a/
gcc/ada/libgnat/s-imagef.adb
+++ b/
gcc/ada/libgnat/s-imagef.adb
@@
-433,6
+433,8
@@
package body System.Image_F is
Digs (1 .. 2) := " 0";
Ndigs := 2;
end if;
+ pragma Annotate (CodePeer, False_Positive, "test always true",
+ "no digits were output for zero");
Set_Decimal_Digits (Digs, Ndigs, S, P, Scale, Fore, Aft, Exp);
end Set_Image_Fixed;