[Ada] Inconsistency between declaration and body of predicate functions
authorArnaud Charlet <charlet@adacore.com>
Mon, 10 May 2021 15:29:08 +0000 (11:29 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 9 Jul 2021 12:35:27 +0000 (12:35 +0000)
commite347e6c92769196408720a027618bc67450abe61
treec7efceaff9c3ccb7e822c3e2b124d9ac33bd88b0
parent9b1647a50dda833a0640e66bb0bedb6c477b7561
[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.
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch3.adb