From: charlet Date: Mon, 18 Apr 2016 12:41:08 +0000 (+0000) Subject: 2016-04-18 Arnaud Charlet X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0b2dcb68ac38eb085f03b48ce91a57c17365e20f;p=thirdparty%2Fgcc.git 2016-04-18 Arnaud Charlet * sem_res.adb (Resolve_Short_Circuit): Do not use expression-with-actions when generating C. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235140 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0a3c479415c1..2c0a31da35d1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-04-18 Arnaud Charlet + + * sem_res.adb (Resolve_Short_Circuit): Do not use + expression-with-actions when generating C. + 2016-04-18 Yannick Moy * sem_util.adb (Apply_Compile_Time_Constraint_Error): Do not generate diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 67807723a920..0471b14b9a14 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -10044,9 +10044,11 @@ package body Sem_Res is -- finalization of transient controlled objects) are fully evaluated -- locally within an expression with actions. This is particularly -- helpful for coverage analysis. However this should not happen in - -- generics. + -- generics. Similarly, we want to minimize use of expression with + -- actions when generating C code, and finalization is not supported + -- in this mode anyway. - if Expander_Active then + if Expander_Active and not Generate_C_Code then declare Reloc_L : constant Node_Id := Relocate_Node (L); begin