diff options
| author | Boris Yakobowski <yakobowski@adacore.com> | 2020-06-23 12:16:53 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:10 -0400 |
| commit | 8b6d722d6eed8541a9b8ba5d395debc2deb93bf5 (patch) | |
| tree | e5bad486792d20ba59ed18e780242fffd0ce2ab8 | |
| parent | cc53bec460f003c34dab20063f1cdd006dd160fb (diff) | |
| download | gcc-8b6d722d6eed8541a9b8ba5d395debc2deb93bf5.zip gcc-8b6d722d6eed8541a9b8ba5d395debc2deb93bf5.tar.gz gcc-8b6d722d6eed8541a9b8ba5d395debc2deb93bf5.tar.bz2 | |
[Ada] Do not expand 'Initialized in codepeer mode
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Do not expand
'Initialized in CodePeer mode.
| -rw-r--r-- | gcc/ada/exp_attr.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 855aa29..a2e88c3 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -3826,6 +3826,14 @@ package body Exp_Attr is -- the latter. when Attribute_Initialized => + + -- Do not expand 'Initialized in CodePeer mode, it will be handled + -- by the back-end directly. + + if CodePeer_Mode then + return; + end if; + Rewrite (N, Make_Attribute_Reference |