projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18ba4b0) | patch
[Ada] Prevent crash in Is_Reachable
authorBob Duff <duff@adacore.com>
Mon, 12 Aug 2019 09:01:20 +0000 (09:01 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 12 Aug 2019 09:01:20 +0000 (09:01 +0000)
commit39571eeaeb6e993f259cc603c64d5483be5afc65
tree88c4a9c1c414fde1ac9d52d6f4d2cfa06ceb05e4tree
parent18ba4b0dbd971fc879c8db3cbe50726c8bd7c25ecommit | diff
[Ada] Prevent crash in Is_Reachable

This patch fixes a bug in Is_Reachable, which causes a crash when checks
are on.

2019-08-12  Bob Duff  <duff@adacore.com>

gcc/ada/

* libgnat/a-cbmutr.adb (Is_Reachable): Declare Idx to be of the
base subtype.  Clearly it makes no sense to loop "while Idx >=
0", if Idx is of a nonnegative subtype.

From-SVN: r274301
gcc/ada/ChangeLog diff | blob | history
gcc/ada/libgnat/a-cbmutr.adb diff | blob | history