]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5638cb9) | patch
ada: Fix Itype-related predicate check omissions (part 2).
authorSteve Baird <baird@adacore.com>
Mon, 21 Apr 2025 18:57:30 +0000 (11:57 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 30 Jun 2025 13:47:22 +0000 (15:47 +0200)
commit74a7c286be8259bd645fad68cbb356cad18403d8
treeb0b01e622e1bdcedfba5663a19f331521b25dc4ftree
parent5638cb97186f9583947de15f66d5a527c1938832commit | diff
ada: Fix Itype-related predicate check omissions (part 2).

Add to the previous fix for this issue to better handle cases where
GNATProve calls Einfo.Utils.Predicate_Function, passing in an Itype.

gcc/ada/ChangeLog:

* einfo-utils.adb (Predicate_Function): Look through an Itype if
that takes us to another subtype of the same type.
gcc/ada/einfo-utils.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git