From 5c44da007b4a2fbf55d1ca86e456abf3789b50fd Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Fri, 18 Mar 2022 17:33:25 +0100 Subject: [PATCH] [Ada] Fix insertion of declaration inside quantified expression When the evaluation of the subtype_indication for the iterator_specification of a quantified_expression leads to the insertion of a type declaration, this should be done with Insert_Action instead of Insert_Before. gcc/ada/ * sem_ch5.adb (Analyze_Iterator_Specification): Use Insert_Action when possibly inside an expression. --- gcc/ada/sem_ch5.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 633e5c7e543..e6d34c30c0b 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -2316,7 +2316,7 @@ package body Sem_Ch5 is Defining_Identifier => S, Subtype_Indication => New_Copy_Tree (Subt)); begin - Insert_Before (Parent (Parent (N)), Decl); + Insert_Action (N, Decl); Analyze (Decl); Rewrite (Subt, New_Occurrence_Of (S, Sloc (Subt))); end; -- 2.47.2