ada: Simplify assertion to remove CodePeer message

CodePeer is correctly warning on a test always true in an assertion.
It can be rewritten without loss of proof to avoid that message.

gcc/ada/

	* libgnat/s-aridou.adb (Lemma_Powers_Of_2_Commutation): Rewrite
	assertion.

diff --git a/gcc/ada/libgnat/s-aridou.adb b/gcc/ada/libgnat/s-aridou.adb
index 7ebf8682b320d2cce86c126393b6bdc7e5a858dd..2f1fbd554531656bbfb59fa589b9b8979126500f 100644 (file)
--- a/gcc/ada/libgnat/s-aridou.adb
+++ b/gcc/ada/libgnat/s-aridou.adb
@@ -1456,9 +1456,7 @@ is
             pragma Assert (Big (Double_Uns'(2))**M = Big_2xx (M));
          end if;
       else
-         pragma Assert
-           (Big (Double_Uns'(2))**M =
-             (if M < Double_Size then Big_2xx (M) else Big_2xxDouble));
+         pragma Assert (Big (Double_Uns'(2))**M = Big_2xx (M));
       end if;
    end Lemma_Powers_Of_2_Commutation;