sem_res.adb (Resolve_Short_Circuit): Do not use expression-with-actions when generating C.

2016-04-18  Arnaud Charlet  <charlet@adacore.com>

	* sem_res.adb (Resolve_Short_Circuit): Do not use
	expression-with-actions when generating C.

From-SVN: r235140

gcc/ada/ChangeLog

+2016-04-18  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_res.adb (Resolve_Short_Circuit): Do not use
+	expression-with-actions when generating C.
+
 2016-04-18  Yannick Moy  <moy@adacore.com>
 
 	* sem_util.adb (Apply_Compile_Time_Constraint_Error): Do not generate

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