From 5485d0e5569037c0bdc04192e174a048f7d69a61 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 10 Dec 2020 11:22:23 -0500 Subject: [PATCH] [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. --- gcc/ada/sem_eval.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 7b1e48d..3ccf3a0 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)); -- 2.7.4