]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9fe0e5) | patch
[Ada] Issue warning on unused quantified expression
authorYannick Moy <moy@adacore.com>
Thu, 7 Oct 2021 07:05:45 +0000 (09:05 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 20 Oct 2021 10:17:03 +0000 (10:17 +0000)
commit8c73de6ea4c05d11b278626e170d5932d7955095
tree7230a6c3adb2afe16acab0fbc6d43e8a7318aabbtree
parentd9fe0e53d8dbc7cae3170cd6ad783100ec3a704acommit | diff
[Ada] Issue warning on unused quantified expression

gcc/ada/

* sem_ch4.adb (Analyze_QUantified_Expression): Issue warning on
conjunct/disjunct sub-expression of the full expression inside a
quantified expression, when it does not reference the quantified
variable.
gcc/ada/sem_ch4.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git