2009-07-13 Eric Botcazou <ebotcazou@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Jul 2009 12:43:26 +0000 (12:43 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Jul 2009 12:43:26 +0000 (12:43 +0000)
commiteefa141bb3117b9e418512436c9c02b34990cbbd
tree0ed87ab4fbc3efd45811f2204a76ffae023a0cff
parentc0a0357cd2c0ff46815d3761fbd71114d645c2ca
2009-07-13  Eric Botcazou  <ebotcazou@adacore.com>

* checks.adb (Selected_Range_Checks): Do not consider that a non-static
integer bound forces the check if it is compared to its subtype range.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149577 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/checks.adb