diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-05-12 13:13:41 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:35 +0200 |
| commit | 8e5185ad60b1c801e41e76919a6bad8f3e4cdba4 (patch) | |
| tree | 57c9f7532b6c8fe633b2980569badeb259183202 /libcpp | |
| parent | fa5aa5d942ace0bb935b88db53542d90b7d3a4cc (diff) | |
| download | gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.zip gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.tar.gz gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.tar.bz2 | |
ada: Accept aspect Always_Terminates on entries
The recently added aspect Always_Terminates is allowed on both
procedures and entries.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Accept pragma Always_Terminates when
it applies to an entry.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions