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/c | |
| 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/c')
0 files changed, 0 insertions, 0 deletions