[Ada] Improve handling of aggregates in Side_Effect_Free

2020-06-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* exp_util.adb (Side_Effect_Free): Improve handling of
	N_Aggregate.

diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 87abe9a683054452a3881a86beb07b8d36e8d7c2..91d5c8131eec4aa144a420c9ca7970afe2ad1264 100644 (file)
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -13357,6 +13357,12 @@ package body Exp_Util is
          =>
             return True;
 
+         --  An aggregate is side effect free if all its values are compile
+         --  time known.
+
+         when N_Aggregate =>
+            return Compile_Time_Known_Aggregate (N);
+
          --  We consider that anything else has side effects. This is a bit
          --  crude, but we are pretty close for most common cases, and we
          --  are certainly correct (i.e. we never return True when the