[gcc r13-541] [Ada] Fix insertion of declaration inside quantified expression

[gcc r13-541] [Ada] Fix insertion of declaration inside quantified expression

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:5c44da007b4a2fbf55d1ca86e456abf3789b50fd

commit r13-541-g5c44da007b4a2fbf55d1ca86e456abf3789b50fd
Author: Yannick Moy <moy@adacore.com>
Date:   Fri Mar 18 17:33:25 2022 +0100

    [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.

Diff:
---
 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;