]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c356dfd) | patch
[Ada] Address some ??? comments in checks.adb
authorArnaud Charlet <charlet@adacore.com>
Mon, 4 Jan 2021 11:43:09 +0000 (06:43 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 4 May 2021 09:17:30 +0000 (05:17 -0400)
commit869a06d981893b769829975bf27d8a3069cacf47
tree6b5bb999038e40ed666c5bf0d567b3b926c46954tree | snapshot
parentc356dfdd6fb75553d010852b0a801c9e780290e8commit | diff
[Ada] Address some ??? comments in checks.adb

gcc/ada/

* checks.adb (Append_Range_Checks, Apply_Selected_Length_Checks,
Determine_Range, Insert_Range_Checks,
Install_Null_Excluding_Check, Selected_Length_Checks,
Selected_Range_Checks): Address ??? comments and code cleanups.
gcc/ada/checks.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git