diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-31 10:45:05 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-31 10:45:05 +0000 |
| commit | 01f481c77e01414e75fc26adead0d143b27df85d (patch) | |
| tree | e8cce3d179e4244902ae613eeb22c8d91da52a06 /libgo | |
| parent | 4cfb305e9c5c3fb8f7e9afd184802265f8a0e665 (diff) | |
| download | gcc-01f481c77e01414e75fc26adead0d143b27df85d.zip gcc-01f481c77e01414e75fc26adead0d143b27df85d.tar.gz gcc-01f481c77e01414e75fc26adead0d143b27df85d.tar.bz2 | |
[Ada] Fix check on placement of multiple loop (in)variant pragmas
Loop (in)variants should appear next to each other, which is checked by GNAT
frontend. As statements inserted during expansion may break this contiguity,
GNAT recognizes specially such statements which originate in loop pragmas. In
some cases, this special treatment was not properly put in place, which lead to
spurious errors being issued.
2018-05-31 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Pragma.Check_Loop_Pragma_Placement): Inverse
order of treatment between nodes recognized as loop pragmas (or
generated from one) and block statements.
From-SVN: r260996
Diffstat (limited to 'libgo')
0 files changed, 0 insertions, 0 deletions