diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-02-19 09:46:04 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-14 10:20:00 +0200 |
| commit | 8d15d848b90f502bdc3070f5b4e6213721eb2272 (patch) | |
| tree | cea13fed42c0e2dee3b85c75191ff05c5c2d31e3 /gcc/expr.cc | |
| parent | 4a45c99302b688cacf788946b9a88ea8593bb395 (diff) | |
| download | gcc-8d15d848b90f502bdc3070f5b4e6213721eb2272.zip gcc-8d15d848b90f502bdc3070f5b4e6213721eb2272.tar.gz gcc-8d15d848b90f502bdc3070f5b4e6213721eb2272.tar.bz2 | |
ada: Fix classification of SPARK Boolean aspects
The implementation of User_Aspect_Definition uses subtype
Boolean_Aspects to decide which existing aspects can be used to define
old aspects. This subtype didn't include many of the SPARK aspects,
notably the Always_Terminates.
gcc/ada/
* aspects.ads (Aspect_Id, Boolean_Aspect): Change categorization
of Boolean-valued SPARK aspects.
* sem_ch13.adb (Analyze_Aspect_Specification): Adapt CASE
statements to new classification of Boolean-valued SPARK
aspects.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions