r273721 - in /trunk/gcc/ada: ChangeLog sem_spar...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Tue Jul 23 08:13:09 2019
New Revision: 273721

URL: https://gcc.gnu.org/viewcvs?rev=273721&root=gcc&view=rev
Log:
[Ada] Issue error on SPARK ownership rule violation

A modified rule in SPARK RM specifies that object declarations of
anonymous access type should only occur immediately in subprogram, entry
or block. Now checked.

There is no impact on compilation.

2019-07-23  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_spark.ads (Is_Local_Context): New function.
	* sem_spark.adb (Check_Declaration): Issue errors on violations
	of SPARK RM 3.10(4)
	(Process_Path): Do not issue error on borrow/observe during
	elaboration, as these are caught by the new rule.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_spark.adb
    trunk/gcc/ada/sem_spark.ads