[Ada] Plug small loophole in Discrete_Range_Check
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 12 Aug 2019 08:59:02 +0000 (08:59 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 12 Aug 2019 08:59:02 +0000 (08:59 +0000)
commit43eb2bb6967ffd6d9b9fadfa606c177671c28261
tree635eabb828234fd50167e8898221eeaa9dce1bea
parent4d7d2736587ecfb99b513645dda7460f9100f69c
[Ada] Plug small loophole in Discrete_Range_Check

This routine would not return if range checks are suppressed.

2019-08-12  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* exp_ch4.adb (Discrete_Range_Check): Return if checks are
suppressed.

From-SVN: r274282
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb