Message ID | 20220110094135.GA586103@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode | expand |
diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb --- 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;