diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-05-09 14:14:57 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:33 +0200 |
| commit | 16bd94c81fbba2ce23a88f257db08a3d95fa0ad5 (patch) | |
| tree | 8c21228db6979e6f059b99013fde9f34f6dfffda /gcc/coverage.cc | |
| parent | 63c8e3a136860f967ba29ba64ef261f94ceb6fc8 (diff) | |
| download | gcc-16bd94c81fbba2ce23a88f257db08a3d95fa0ad5.zip gcc-16bd94c81fbba2ce23a88f257db08a3d95fa0ad5.tar.gz gcc-16bd94c81fbba2ce23a88f257db08a3d95fa0ad5.tar.bz2 | |
ada: Accept aspect Always_Terminates without expression
The recently added aspect Always_Terminates is now accepted without
explicit boolean expression, where a missing expression implicitly means
True, similar to aspects Async_Readers, Async_Writers, etc.
gcc/ada/
* aspects.adb
(Base_Aspect): Fix layout.
* aspects.ads
(Aspect_Argument): Expression for Always_Terminates is optional.
* sem_prag.adb
(Analyze_Always_Terminates_In_Decl_Part): Only analyze expression when
pragma argument is present.
(Analyze_Pragma): Argument for Always_Terminates is optional; fix
whitespace for Async_Readers.
Diffstat (limited to 'gcc/coverage.cc')
0 files changed, 0 insertions, 0 deletions