diff options
| author | Yannick Moy <moy@adacore.com> | 2023-05-17 15:37:03 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:38 +0200 |
| commit | f185ac2efd79c903e7461e91bceb81f3278aec2e (patch) | |
| tree | c51dc96299543793c264779d7f58ba4172ae34d6 /gcc/ada/doc/gnat_ugn | |
| parent | 17e45a14a2043ae2117f772945de32d402e10f3f (diff) | |
| download | gcc-f185ac2efd79c903e7461e91bceb81f3278aec2e.zip gcc-f185ac2efd79c903e7461e91bceb81f3278aec2e.tar.gz gcc-f185ac2efd79c903e7461e91bceb81f3278aec2e.tar.bz2 | |
ada: Reject Loop_Entry inside prefix of Loop_Entry
This rule was incompletely stated in SPARK RM and not checked.
This is now fixed.
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Reject case of Loop_Entry
inside the prefix of Loop_Entry, as per SPARK RM 5.5.3.1(4,8).
Diffstat (limited to 'gcc/ada/doc/gnat_ugn')
0 files changed, 0 insertions, 0 deletions