r260836 - in /trunk/gcc/ada: ChangeLog sem_util...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon May 28 08:55:35 2018
New Revision: 260836

URL: https://gcc.gnu.org/viewcvs?rev=260836&root=gcc&view=rev
Log:
[Ada] Update FE check following change in SPARK RM 7.1.3(12)

SPARK Reference Manual changed to accept attributes First, Last and Length
as not leading to an evaluation of a part of the prefix object. This is
reflected here in the checking code for that rule.

2018-05-28  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_util.adb (Is_OK_Volatile_Context): Add attributes First, Last and
	Length as valid non-interfering contexts for SPARK.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_util.adb