diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-05-10 11:29:08 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-09 12:35:27 +0000 |
| commit | e347e6c92769196408720a027618bc67450abe61 (patch) | |
| tree | c7efceaff9c3ccb7e822c3e2b124d9ac33bd88b0 /gcc/gcc.c | |
| parent | 9b1647a50dda833a0640e66bb0bedb6c477b7561 (diff) | |
| download | gcc-e347e6c92769196408720a027618bc67450abe61.zip gcc-e347e6c92769196408720a027618bc67450abe61.tar.gz gcc-e347e6c92769196408720a027618bc67450abe61.tar.bz2 | |
[Ada] Inconsistency between declaration and body of predicate functions
gcc/ada/
* sem_ch13.adb (Resolve_Aspect_Expressions): Use the same
processing for Predicate, Static_Predicate and
Dynamic_Predicate. Do not build the predicate function spec.
Update comments.
(Resolve_Name): Only reset Entity when necessary to avoid
spurious visibility errors.
(Check_Aspect_At_End_Of_Declarations): Handle consistently all
Predicate aspects.
* sem_ch3.adb (Analyze_Subtype_Declaration): Fix handling of
private types with predicates.
Diffstat (limited to 'gcc/gcc.c')
0 files changed, 0 insertions, 0 deletions