[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.

diff --git a/gcc/ada/libgnat/s-exponn.adb b/gcc/ada/libgnat/s-exponn.adb
index 7e876d3a99b4f4c95c21d5be731a5e253e6ab9c1..e7fc40c3f371807b47a1b37f42ee8d643ec97da0 100644 (file)
--- 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 dc1586b4c2313a83f98d5f6baacae84dad10c8ce..e60d55c1009eedb9829032ca61961ad4cb173290 100644 (file)
--- 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 2885d6b4f1942a5d0ab68f1c3c560487afb1fa7d..06ed5099c2505dff4eb68bbb23f938f636b52753 100644 (file)
--- 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 e47c8c13f271fdc45a790c445b73792f12ff8254..55a94ecfc10c1403e9deaa7057e38eb899fbd10a 100644 (file)
--- 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 0be44ffe6b9a8bfb2fba1a7c54f54bb917706864..72045cb92942cdcf1b6681842a1aa82130de424c 100644 (file)
--- 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