diff options
| author | Yannick Moy <moy@adacore.com> | 2022-02-08 18:04:49 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:36 +0000 |
| commit | bcbf83ec10e2ef19d01372ce21fefb3deb3ee8e6 (patch) | |
| tree | 711c147becc75f49f2fcdba80581c3ccaaafa4c4 | |
| parent | 49a31a140db31b1513d10af5bdc65fee046162fa (diff) | |
| download | gcc-bcbf83ec10e2ef19d01372ce21fefb3deb3ee8e6.zip gcc-bcbf83ec10e2ef19d01372ce21fefb3deb3ee8e6.tar.gz gcc-bcbf83ec10e2ef19d01372ce21fefb3deb3ee8e6.tar.bz2 | |
[Ada] Adapt CodePeer analysis of GNAT to changes in dependencies
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.
| -rw-r--r-- | gcc/ada/libgnat/s-imagef.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-imagef.adb b/gcc/ada/libgnat/s-imagef.adb index 2166ece..1007adc 100644 --- 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; |