diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-12-30 13:15:56 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-10 09:38:45 +0000 |
| commit | 888fb69365c64ca5dbd4815d7451c35014d264b5 (patch) | |
| tree | 0c8930183df29703a733e23774fe6c7f9357c5ad /gcc/ada | |
| parent | d9c64c604083516b508fc7d20ba5c285ae60661e (diff) | |
| download | gcc-888fb69365c64ca5dbd4815d7451c35014d264b5.zip gcc-888fb69365c64ca5dbd4815d7451c35014d264b5.tar.gz gcc-888fb69365c64ca5dbd4815d7451c35014d264b5.tar.bz2 | |
[Ada] Remove CodePeer annotations for pragma Loop_Variant
gcc/ada/
* libgnat/s-exponn.adb, libgnat/s-expont.adb,
libgnat/s-exponu.adb, libgnat/s-widthi.adb,
libgnat/s-widthu.adb: Remove CodePeer annotations for pragma
Loop_Variant.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/libgnat/s-exponn.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-expont.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-exponu.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-widthi.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-widthu.adb | 3 |
5 files changed, 0 insertions, 15 deletions
diff --git a/gcc/ada/libgnat/s-exponn.adb b/gcc/ada/libgnat/s-exponn.adb index 7e876d3..e7fc40c 100644 --- a/gcc/ada/libgnat/s-exponn.adb +++ b/gcc/ada/libgnat/s-exponn.adb @@ -130,9 +130,6 @@ is pragma Loop_Invariant (Big (Result) * Big (Factor) ** Exp = Big (Left) ** Right); pragma Loop_Variant (Decreases => Exp); - pragma Annotate - (CodePeer, False_Positive, - "validity check", "confusion on generated code"); if Exp rem 2 /= 0 then declare diff --git a/gcc/ada/libgnat/s-expont.adb b/gcc/ada/libgnat/s-expont.adb index dc1586b..e60d55c 100644 --- a/gcc/ada/libgnat/s-expont.adb +++ b/gcc/ada/libgnat/s-expont.adb @@ -130,9 +130,6 @@ is pragma Loop_Invariant (Big (Result) * Big (Factor) ** Exp = Big (Left) ** Right); pragma Loop_Variant (Decreases => Exp); - pragma Annotate - (CodePeer, False_Positive, - "validity check", "confusion on generated code"); if Exp rem 2 /= 0 then declare diff --git a/gcc/ada/libgnat/s-exponu.adb b/gcc/ada/libgnat/s-exponu.adb index 2885d6b..06ed509 100644 --- a/gcc/ada/libgnat/s-exponu.adb +++ b/gcc/ada/libgnat/s-exponu.adb @@ -64,9 +64,6 @@ begin pragma Loop_Invariant (Exp > 0); pragma Loop_Invariant (Result * Factor ** Exp = Left ** Right); pragma Loop_Variant (Decreases => Exp); - pragma Annotate - (CodePeer, False_Positive, - "validity check", "confusion on generated code"); if Exp rem 2 /= 0 then pragma Assert diff --git a/gcc/ada/libgnat/s-widthi.adb b/gcc/ada/libgnat/s-widthi.adb index e47c8c13..55a94ec 100644 --- a/gcc/ada/libgnat/s-widthi.adb +++ b/gcc/ada/libgnat/s-widthi.adb @@ -163,9 +163,6 @@ begin pragma Loop_Invariant (Pow = Big_10 ** (W - 2)); pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow); pragma Loop_Variant (Decreases => T); - pragma Annotate - (CodePeer, False_Positive, - "validity check", "confusion on generated code"); end loop; declare diff --git a/gcc/ada/libgnat/s-widthu.adb b/gcc/ada/libgnat/s-widthu.adb index 0be44ff..72045cb 100644 --- a/gcc/ada/libgnat/s-widthu.adb +++ b/gcc/ada/libgnat/s-widthu.adb @@ -156,9 +156,6 @@ begin pragma Loop_Invariant (Pow = Big_10 ** (W - 2)); pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow); pragma Loop_Variant (Decreases => T); - pragma Annotate - (CodePeer, False_Positive, - "validity check", "confusion on generated code"); end loop; declare |