sem_case.adb (Check_Choice_Set): Choose initial choice range below low bound of type...
authorEd Schonberg <schonberg@adacore.com>
Mon, 26 Oct 2015 11:21:21 +0000 (11:21 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 11:21:21 +0000 (12:21 +0100)
commit1f145d79e95b1b7d90c95b7615993bc9ff767931
tree8ff110df2b0429c68b2f3fda13597ed1934d7664
parent21d7ef70aae92c62a6c39233e899b9ed70ace566
sem_case.adb (Check_Choice_Set): Choose initial choice range below low bound of type...

2015-10-26  Ed Schonberg  <schonberg@adacore.com>

* sem_case.adb (Check_Choice_Set): Choose initial choice range
below low bound of type, to prevent spurious errors on case
statements whose expressions have an integer subtype with a
static predicate.
* sem_util.ads: Fix typo.

From-SVN: r229332
gcc/ada/ChangeLog
gcc/ada/sem_case.adb
gcc/ada/sem_util.ads