diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-12-30 13:08:58 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-10 09:38:45 +0000 |
commit | d9c64c604083516b508fc7d20ba5c285ae60661e (patch) | |
tree | 549c6d125c2a62f91fabd5acf759adb6348bb742 /gcc/ada | |
parent | d256274430c208ff4aeb4e59f297099027b3a29b (diff) | |
download | gcc-d9c64c604083516b508fc7d20ba5c285ae60661e.zip gcc-d9c64c604083516b508fc7d20ba5c285ae60661e.tar.gz gcc-d9c64c604083516b508fc7d20ba5c285ae60661e.tar.bz2 |
[Ada] Disable expansion of pragma Loop_Variant in CodePeer mode
gcc/ada/
* exp_prag.adb (Expand_Pragma_Loop_Variant): Disable expansion
in CodePeer mode.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/exp_prag.adb | 5 |
1 files changed, 4 insertions, 1 deletions
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; |