From: Arnaud Charlet <charlet@adacore.com>
Date: Thu, 10 Dec 2020 16:22:23 +0000 (-0500)
Subject: [Ada] Fix recent optimization in evaluation of selected component for GNATprove
X-Git-Tag: basepoints/gcc-13~8104
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5485d0e5569037c0bdc04192e174a048f7d69a61;p=thirdparty%2Fgcc.git

[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 7b1e48d8ded6..3ccf3a02cd3e 100644
--- 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));