From 3e395e356e55fb2cb133b7697ed1f386f5b27d41 Mon Sep 17 00:00:00 2001 From: Claire Dross Date: Tue, 21 Apr 2020 14:15:22 +0200 Subject: [PATCH] [Ada] The definition of constants in declare expressions is an interfering context 2020-06-18 Claire Dross gcc/ada/ * sem_util.adb (Is_OK_Volatile_Context): Return False on definitions of constants declared in declare expressions. --- gcc/ada/sem_util.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index eb9c9f6..52a3f94 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); -- 2.7.4