public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-6395] [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode
@ 2022-01-10  9:40 Pierre-Marie de Rodat
  0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2022-01-10  9:40 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:d9c64c604083516b508fc7d20ba5c285ae60661e

commit r12-6395-gd9c64c604083516b508fc7d20ba5c285ae60661e
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Thu Dec 30 13:08:58 2021 +0100

    [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:
---
 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 267657fed0f..ac91531a9fe 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;


^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2022-01-10  9:40 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-10  9:40 [gcc r12-6395] [Ada] Disable expansion of pragma Loop_Variant in CodePeer mode Pierre-Marie de Rodat

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).