diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2020-05-27 16:44:12 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:21 -0400 |
| commit | ce59f39f78b0a517eaa61b6845c25c60bc19c455 (patch) | |
| tree | 27441d7be9da9cb6cafefbf6af28604008af564c /gcc/ada/exp_spark.adb | |
| parent | c3026d451dacabecc7ff42b5b81deaf420d758aa (diff) | |
| download | gcc-ce59f39f78b0a517eaa61b6845c25c60bc19c455.zip gcc-ce59f39f78b0a517eaa61b6845c25c60bc19c455.tar.gz gcc-ce59f39f78b0a517eaa61b6845c25c60bc19c455.tar.bz2 | |
[Ada] Reformatting and typo corrections
gcc/ada/
* exp_aggr.adb, exp_spark.adb, sem_ch13.ads, sem_ch13.adb,
snames.ads-tmpl: Minor reformatting and typo fixes.
Diffstat (limited to 'gcc/ada/exp_spark.adb')
| -rw-r--r-- | gcc/ada/exp_spark.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb index 9bdd3d0..40621bd 100644 --- a/gcc/ada/exp_spark.adb +++ b/gcc/ada/exp_spark.adb @@ -73,7 +73,7 @@ package body Exp_SPARK is -- Rewrite operator /= based on operator = when defined explicitly procedure Expand_SPARK_Delta_Or_Update (Typ : Entity_Id; Aggr : Node_Id); - -- Common expansion of attribute Update and delta_aggregate + -- Common expansion for attribute Update and delta aggregates ------------------ -- Expand_SPARK -- @@ -168,7 +168,7 @@ package body Exp_SPARK is if Is_Array_Type (Typ) then - -- Multi-dimensional array + -- Multidimensional arrays if Present (Next_Index (First_Index (Typ))) then Assoc := First (Component_Associations (Aggr)); @@ -206,7 +206,7 @@ package body Exp_SPARK is Next (Assoc); end loop; - -- One-dimensional array + -- One-dimensional arrays else Assoc := First (Component_Associations (Aggr)); @@ -231,7 +231,7 @@ package body Exp_SPARK is Apply_Scalar_Range_Check (High_Bound (Index), Etype (Index_Typ)); - -- Otherwise the index denotes a single element + -- Otherwise the index denotes a single element else Apply_Scalar_Range_Check (Index, Etype (Index_Typ)); @@ -246,13 +246,13 @@ package body Exp_SPARK is else pragma Assert (Is_Record_Type (Typ)); - -- If the aggregate has multiple component choices, e.g. + -- If the aggregate has multiple component choices, e.g.: -- -- X'Update (A | B | C => 123) -- - -- then each component might be of a different type and might - -- or might not require a range check. We first rewrite - -- associations into single-component choices, e.g.: + -- then each component might be of a different type and might or + -- might not require a range check. We first rewrite associations + -- into single-component choices, e.g.: -- -- X'Update (A => 123, B => 123, C => 123) -- |