From d9c64c604083516b508fc7d20ba5c285ae60661e Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 30 Dec 2021 13:08:58 +0100 Subject: [PATCH] [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode gcc/ada/ * exp_prag.adb (Expand_Pragma_Loop_Variant): Disable expansion in CodePeer mode. --- gcc/ada/exp_prag.adb | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb index 267657f..ac91531 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; -- 2.7.4