[Ada] Fix recent optimization in evaluation of selected component for GNATprove

gcc/ada/

	* sem_eval.adb (Eval_Selected_Component): Only consider compile
	time known aggregates.

diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb
index 7b1e48d..3ccf3a0 100644 (file)
--- a/gcc/ada/sem_eval.adb
+++ b/gcc/ada/sem_eval.adb
@@ -3849,7 +3849,9 @@ package body Sem_Eval is
 
          Node := Unqualify (Prefix (N));
 
-         if Nkind (Node) = N_Aggregate then
+         if Nkind (Node) = N_Aggregate
+           and then Compile_Time_Known_Aggregate (Node)
+         then
             Comp := First (Component_Associations (Node));
             Nam  := Chars (Selector_Name (N));