projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d12b8e9) | patch
[Ada] Improve building of untagged equality
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 8 Mar 2022 16:37:29 +0000 (17:37 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:03 +0000 (08:42 +0000)
commit90fadb50df34d11348ec67a1cbbaeac8a28c2da3
tree98577a4ab5e09d8ff0dd327501e31fb85f4488fdtree | snapshot
parentd12b8e951c3c13e24b41f4c59157aa0643fd1d44commit | diff
[Ada] Improve building of untagged equality

When checking components of a record type for their own user-defined
equality function it is enough to find just one such a component.

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

gcc/ada/

* exp_ch3.adb (Build_Untagged_Equality): Exit early when the
outcome of a loop is already known.
gcc/ada/exp_ch3.adb diff | blob | history
Domain: System / Toolchain;