From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 30 Dec 2021 12:08:58 +0000 (+0100)
Subject: [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode
X-Git-Tag: basepoints/gcc-13~1918
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d9c64c604083516b508fc7d20ba5c285ae60661e;p=thirdparty%2Fgcc.git

[Ada] Disable expansion of pragma Loop_Variant in CodePeer mode

gcc/ada/

	* exp_prag.adb (Expand_Pragma_Loop_Variant): Disable expansion
	in CodePeer mode.
---

diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb
index 267657fed0f0..ac91531a9fee 100644
--- a/gcc/ada/exp_prag.adb
+++ b/gcc/ada/exp_prag.adb
@@ -2692,8 +2692,11 @@ package body Exp_Prag is
    begin
       --  If pragma is not enabled, rewrite as Null statement. If pragma is
       --  disabled, it has already been rewritten as a Null statement.
+      --
+      --  Likewise, do this in CodePeer mode, because the expanded code is too
+      --  complicated for CodePeer to analyse.
 
-      if Is_Ignored (N) then
+      if Is_Ignored (N) or else CodePeer_Mode then
          Rewrite (N, Make_Null_Statement (Loc));
          Analyze (N);
          return;