]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c363320) | patch
[Ada] Exception raised on empty file in GNATprove mode
authorYannick Moy <moy@adacore.com>
Thu, 1 Jul 2021 07:36:53 +0000 (09:36 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Sep 2021 15:24:55 +0000 (15:24 +0000)
commitea3789f6a2b868d9f440ddece64142d3a2cbcf1c
tree41deef275a70cfffc9ac717dec04de711ab99619tree
parentc36332031cff305ceb0d1924ee4b2cedbd85023acommit | diff
[Ada] Exception raised on empty file in GNATprove mode

gcc/ada/

* errout.adb (Get_Line_End): Do not allow the result to go past
the end of the buffer.
gcc/ada/errout.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.062371 seconds and 6 git commands to generate.