[Ada] ACATS 4.1K - B452001 - No errors detected
authorArnaud Charlet <charlet@adacore.com>
Fri, 3 Apr 2020 10:10:22 +0000 (06:10 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 16 Jun 2020 13:07:13 +0000 (09:07 -0400)
commit81c356975fc26ab5f9306bd9c596ef7232287fcb
treed2d0dbb6868a162bce0b13e3b950be6520258efb
parent29b82c7d55c818bd25b98e0f9469cbe6adec0e34
[Ada] ACATS 4.1K - B452001 - No errors detected

2020-06-16  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* sem_ch4.adb (Analyze_Membership_Op): Reset entity of equality
nodes for membership tests with singletons.
(Analyze_User_Defined_Binary_Op): Always perform the analysis
since nodes coming from the expander also may refer to non
standard operators as part of membership expansion.
* exp_ch4.adb (Expand_Set_Membership.Make_Cond): Reset entity of
equality node.
* sem_type.ads: Fix typo in comment.
gcc/ada/exp_ch4.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_type.ads