diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-04-07 11:05:59 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:15 -0400 |
| commit | d51bf619f723292fd1475deb58b7b14144495648 (patch) | |
| tree | 379b3136c732eac2b97401a2e7789b4d3084adb8 /gcc/ada/sem_aux.ads | |
| parent | 3c9a82fec0e08b24ee49c94c3cdfd6c426042f64 (diff) | |
| download | gcc-d51bf619f723292fd1475deb58b7b14144495648.zip gcc-d51bf619f723292fd1475deb58b7b14144495648.tar.gz gcc-d51bf619f723292fd1475deb58b7b14144495648.tar.bz2 | |
[Ada] ACATS C452005/C452006 memberships use wrong equality operation
2020-06-16 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* sem_aux.ads, sem_aux.adb (Is_Record_Or_Limited_Type): New
function.
* exp_ch4.adb, sem_ch4.adb (Analyze_Membership_Op,
Expand_Set_Membership.Make_Cond): Choose between primitive and
predefined equality for membership tests.
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 41ce3f0..c15c271 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -362,6 +362,9 @@ package Sem_Aux is -- Given a subprogram or entry, determines whether E is a protected entry -- or subprogram. + function Is_Record_Or_Limited_Type (Typ : Entity_Id) return Boolean; + -- Return True if Typ requires is a record or limited type. + function Nearest_Ancestor (Typ : Entity_Id) return Entity_Id; -- Given a subtype Typ, this function finds out the nearest ancestor from -- which constraints and predicates are inherited. There is no simple link |