r260929 - in /trunk/gcc/ada: ChangeLog checks.a...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed May 30 08:56:54 2018
New Revision: 260929

URL: https://gcc.gnu.org/viewcvs?rev=260929&root=gcc&view=rev
Log:
[Ada] Ignore out of range values for System.Priority in CodePeer mode

2018-05-30  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* checks.adb (Apply_Scalar_Range_Check):
	* sem_eval.adb (Check_Non_Static_Context, Out_Of_Range): Ignore out of
	range values for System.Priority in CodePeer mode since the actual
	target compiler may provide a wider range.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/sem_eval.adb