projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90fadb5) | patch
[Ada] Remove duplicated detection of user-defined equality
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 8 Mar 2022 16:46:26 +0000 (17:46 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:03 +0000 (08:42 +0000)
commit9a39b25f6f52f6eab159a096551e2576fa0890cd
tree3a8549c4b34f9c102287a9fe7c49b43c6edf8e27tree | snapshot
parent90fadb50df34d11348ec67a1cbbaeac8a28c2da3commit | diff
[Ada] Remove duplicated detection of user-defined equality

Cleanup related to handling of user-defined equality in GNATprove.

gcc/ada/

* exp_ch3.adb (User_Defined_Eq): Replace duplicated code with a
call to Get_User_Defined_Eq.
gcc/ada/exp_ch3.adb diff | blob | history
Domain: System / Toolchain;