| commit | 5c44da007b4a2fbf55d1ca86e456abf3789b50fd | |
| author | Yannick Moy <moy@adacore.com> | |
| Fri, 18 Mar 2022 16:33:25 +0000 (18 17:33 +0100) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Tue, 17 May 2022 08:25:47 +0000 (17 08:25 +0000) | ||
| tree | b39eb4b622e31338b925c8e52c2eea1247329798 | treesnapshot (tar.gz zip) |
| parent | 5dbb65676f93504199c1200bfe4dc9f3bc72e2b2 | commitdiff |
[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.
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 | diffblobblamehistory |