From: Claire Dross <dross@adacore.com>
Date: Tue, 21 Apr 2020 12:15:22 +0000 (+0200)
Subject: [Ada] The definition of constants in declare expressions is an interfering context
X-Git-Tag: basepoints/gcc-12~6783
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e395e356e55fb2cb133b7697ed1f386f5b27d41;p=thirdparty%2Fgcc.git

[Ada] The definition of constants in declare expressions is an interfering context

2020-06-18  Claire Dross  <dross@adacore.com>

gcc/ada/

	* sem_util.adb (Is_OK_Volatile_Context): Return False on
	definitions of constants declared in declare expressions.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index eb9c9f68a915..52a3f947dbe3 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -17298,6 +17298,7 @@ package body Sem_Util is
       elsif Nkind (Context) = N_Object_Declaration
         and then Present (Expression (Context))
         and then Expression (Context) = Obj_Ref
+        and then Nkind (Parent (Context)) /= N_Expression_With_Actions
       then
          Obj_Id := Defining_Entity (Context);