projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2175592) | patch
[Ada] Wrong membership test computation for interface type
authorJavier Miranda <miranda@adacore.com>
Mon, 4 Jan 2021 14:58:51 +0000 (09:58 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 4 May 2021 09:17:28 +0000 (05:17 -0400)
commit6d326562ff4d6ee583123b24acf662a576ac54f6
treeb3b9e230b2a97635ec60d3606d5eee40a1bf922atree | snapshot
parent2175592bf784852b2f2256654b7b21aa9a3d8e27commit | diff
[Ada] Wrong membership test computation for interface type

gcc/ada/

* exp_ch4.adb (Tagged_Membership): Remove wrong condition that
is not consistent with the documentation of this subprogram.
gcc/ada/exp_ch4.adb diff | blob | history
Domain: System / Toolchain;