This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r273266 - in /trunk/gcc/ada: ChangeLog sem_spar...
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 09 Jul 2019 07:53:21 -0000
- Subject: r273266 - in /trunk/gcc/ada: ChangeLog sem_spar...
Author: pmderodat
Date: Tue Jul 9 07:53:21 2019
New Revision: 273266
URL: https://gcc.gnu.org/viewcvs?rev=273266&root=gcc&view=rev
Log:
[Ada] Fix ownership checking for pointers in SPARK
Checking of the readable status of sub-expressions occurring in the
target path of an assignment should occur before the right-hand-side is
moved or borrowed or observed.
There is no impact on compilation.
2019-07-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Check_Expression): Change signature to take an
Extended_Checking_Mode, for handling read permission checking of
sub-expressions in an assignment.
(Check_Parameter_Or_Global): Adapt to new behavior of
Check_Expression for mode Assign.
(Check_Safe_Pointers): Do not analyze generic bodies.
(Check_Assignment): Separate checking of the target of an
assignment.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_spark.adb