diff options
| author | Yannick Moy <moy@adacore.com> | 2022-03-18 17:33:25 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-17 08:25:47 +0000 |
| commit | 5c44da007b4a2fbf55d1ca86e456abf3789b50fd (patch) | |
| tree | b39eb4b622e31338b925c8e52c2eea1247329798 | |
| parent | 5dbb65676f93504199c1200bfe4dc9f3bc72e2b2 (diff) | |
| download | gcc-5c44da007b4a2fbf55d1ca86e456abf3789b50fd.zip gcc-5c44da007b4a2fbf55d1ca86e456abf3789b50fd.tar.gz gcc-5c44da007b4a2fbf55d1ca86e456abf3789b50fd.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 633e5c7..e6d34c3 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; |