]> git.ipfire.org Git - people/ms/gcc.git/commit
projects / people / ms / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cb36c8) | patch
ada: Suppress warning for specific constant valid condition
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 5 Dec 2022 16:22:19 +0000 (17:22 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Dec 2022 13:58:48 +0000 (14:58 +0100)
commit188965afb10a2bf14527f2aa9f9cb0f8fcc991e9
tree901c6ed83703c0963add1354912927fe5419b25dtree | snapshot
parent0cb36c85ab0c9876dde207d5b93aad7398539c7ecommit | diff
ada: Suppress warning for specific constant valid condition

Like in Exp_Ch4, we do not want to give warnings in Sem_Warn on a membership
test with a mark for a subtype that is predicated.

gcc/ada/

* sem_warn.adb (Warn_On_Constant_Valid_Condition): Bail out for a
membership test with a mark for a subtype that is predicated.
gcc/ada/sem_warn.adb diff | blob | blame | history
Michael's GCC tree