]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d324984) | patch
ada: Clarify RM references that justify a constraint check
authorYannick Moy <moy@adacore.com>
Tue, 12 Sep 2023 07:54:32 +0000 (09:54 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 26 Sep 2023 11:43:17 +0000 (13:43 +0200)
commit92361698288fd3192655f409f603b88b0aa182b8
tree06fcd242e99e69ed8dcf30af827e15f746360b31tree | snapshot
parentd324984f9fa50e0055e3818f29d8c019df08cecfcommit | diff
ada: Clarify RM references that justify a constraint check

gcc/ada/

* exp_ch5.adb (Expand_N_Case_Statement): Reference both sections
of the Ada RM that deal with case statements and case expressions
to justify the insertion of a runtime check.
gcc/ada/exp_ch5.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git