diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:28:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-10-09 20:28:22 +0000 |
| commit | 7f5e671bce70f537708f36033cd44869ca94fb4c (patch) | |
| tree | 502df8f997157241d93143dc07c49c176b749f99 /gcc/ada/sem_spark.adb | |
| parent | f192ca5eea6a1b12e0cdf1e4342faa52744c5a25 (diff) | |
| download | gcc-7f5e671bce70f537708f36033cd44869ca94fb4c.zip gcc-7f5e671bce70f537708f36033cd44869ca94fb4c.tar.gz gcc-7f5e671bce70f537708f36033cd44869ca94fb4c.tar.bz2 | |
[multiple changes]
2017-10-09 Justin Squirek <squirek@adacore.com>
* sem_ch3.adb: Rename Uses_Unseen_Priv into
Contains_Lib_Incomplete_Type.
2017-10-09 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aggr.adb, sem_spark.adb, adabkend.adb, exp_ch5.adb, frontend.adb,
sem_ch12.adb, fmap.adb, exp_ch6.adb, exp_spark.adb, lib-load.adb,
exp_ch9.adb, osint.adb, exp_disp.adb, sem_ch8.adb, sem_ch8.ads,
prepcomp.adb, gnat1drv.adb, atree.adb, sinput-l.adb, targparm.adb,
sem_ch10.adb, par-ch8.adb: Minor reformatting.
From-SVN: r253566
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index fa9c199..5107d3b 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -5286,6 +5286,7 @@ package body Sem_SPARK is is begin case Nkind (N) is + -- Base identifier. Set permission to W or No depending on Mode. when N_Identifier @@ -5293,9 +5294,8 @@ package body Sem_SPARK is => declare P : constant Node_Id := Entity (N); - C : constant Perm_Tree_Access := - Get (Current_Perm_Env, Unique_Entity (P)); + Get (Current_Perm_Env, Unique_Entity (P)); begin -- The base tree can be RW (first move from this base path) or |