diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2019-08-20 09:50:14 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-20 09:50:14 +0000 |
| commit | 31fde973e5cb886dca17e61b84a72a26a81487ad (patch) | |
| tree | 7ed08e749f75bffe5538ea1f8d57b83b025725cf /gcc/ada/sem_spark.adb | |
| parent | 8d3e80186744f894702d2f618a78eae0a2c1d33c (diff) | |
| download | gcc-31fde973e5cb886dca17e61b84a72a26a81487ad.zip gcc-31fde973e5cb886dca17e61b84a72a26a81487ad.tar.gz gcc-31fde973e5cb886dca17e61b84a72a26a81487ad.tar.bz2 | |
[Ada] Minor reformattings
2019-08-20 Gary Dismukes <dismukes@adacore.com>
gcc/ada/
* ali.adb, ali.ads, aspects.adb, checks.ads, checks.adb,
doc/gnat_rm/implementation_defined_pragmas.rst,
doc/gnat_ugn/building_executable_programs_with_gnat.rst,
einfo.ads, exp_aggr.adb, exp_ch11.adb, exp_ch3.ads, exp_ch4.adb,
exp_disp.adb, inline.adb, libgnat/a-locale.ads,
libgnat/s-soflin.ads, par_sco.adb, repinfo.adb, sem_ch5.adb,
sem_disp.adb, sem_elab.adb, sem_eval.adb, sem_spark.adb,
sem_spark.ads, sinfo.ads: Minor reformattings, typo fixes and
and rewordings.
From-SVN: r274737
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index 30e1426..f99dced 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -1171,19 +1171,17 @@ package body Sem_SPARK is Expr_Root := Get_Root_Object (Expr); - -- SPARK RM 3.10(8): For an assignment statement where - -- the target is a stand-alone object of an anonymous - -- access-to-object type + -- SPARK RM 3.10(7): For an assignment statement where the target is + -- a stand-alone object of an anonymous access-to-object type. pragma Assert (Present (Target_Root)); - -- If the type of the target is an anonymous - -- access-to-constant type (an observing access type), the - -- source shall be an owning access object denoted by a name - -- that is not in the Moved state, and whose root object - -- is not in the Moved state and is not declared at a - -- statically deeper accessibility level than that of - -- the target object. + -- If the type of the target is an anonymous access-to-constant type + -- (an observing access type), the source shall be an owning access + -- object denoted by a name that is not in the Moved state, and whose + -- root object is not in the Moved state and is not declared at a + -- statically deeper accessibility level than that of the target + -- object. if Is_Access_Constant (Target_Typ) then Perm := Get_Perm (Expr); @@ -1206,11 +1204,10 @@ package body Sem_SPARK is -- ??? check accessibility level - -- If the type of the target is an anonymous - -- access-to-variable type (an owning access type), the - -- source shall be an owning access object denoted by a - -- name that is in the Unrestricted state, and whose root - -- object is the target object itself. + -- If the type of the target is an anonymous access-to-variable + -- type (an owning access type), the source shall be an owning + -- access object denoted by a name that is in the Unrestricted + -- state, and whose root object is the target object itself. Check_Expression (Expr, Observe); Handle_Observe (Target_Root, Expr, Is_Decl); |