projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c9a82f) | patch
[Ada] ACATS C452005/C452006 memberships use wrong equality operation
authorArnaud Charlet <charlet@adacore.com>
Tue, 7 Apr 2020 15:05:59 +0000 (11:05 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 16 Jun 2020 13:07:15 +0000 (09:07 -0400)
commitd51bf619f723292fd1475deb58b7b14144495648
tree379b3136c732eac2b97401a2e7789b4d3084adb8tree
parent3c9a82fec0e08b24ee49c94c3cdfd6c426042f64commit | diff
[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.
gcc/ada/exp_ch4.adb diff | blob | history
gcc/ada/sem_aux.adb diff | blob | history
gcc/ada/sem_aux.ads diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history