diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:21:21 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:21:21 +0100 |
| commit | e51102b29c1489ded25723b8149f44a32ff10696 (patch) | |
| tree | 90f8816da7336b1f7507519e3ece2745cda47124 /gcc/ada/exp_util.adb | |
| parent | 6e759c2a0f950ce535e7907db39ddc3866782ade (diff) | |
| download | gcc-e51102b29c1489ded25723b8149f44a32ff10696.zip gcc-e51102b29c1489ded25723b8149f44a32ff10696.tar.gz gcc-e51102b29c1489ded25723b8149f44a32ff10696.tar.bz2 | |
[multiple changes]
2017-01-12 Hristian Kirtchev <kirtchev@adacore.com>
* sinfo.ads: Minor reformatting.
2017-01-12 Gary Dismukes <dismukes@adacore.com>
* exp_util.adb, exp_util.ads, einfo.ads: Minor typo fixes and
reformatting.
2017-01-12 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Make_Build_In_Place_Call_In_Anonymous_Context): Add new
variable Definite. Create a local object and pass its 'Access to the
BIP function when the result type is either definite or it does not
require any finalization or secondary stack management.
From-SVN: r244353
Diffstat (limited to 'gcc/ada/exp_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 1529c56..7791ad46 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -1102,7 +1102,7 @@ package body Exp_Util is -- In SPARK mode, reject an inherited condition for an -- inherited operation if it contains a call to an overriding - -- operation, because this implies that the pre/postcondition + -- operation, because this implies that the pre/postconditions -- of the inherited operation have changed silently. elsif SPARK_Mode = On @@ -1206,7 +1206,7 @@ package body Exp_Util is Deriv_Typ : Entity_Id; Stmts : in out List_Id); -- Add a runtime check to verify the assertion expression of inherited - -- pragma DIC_Prag. Par_Typ is parent type which is also the owner of + -- pragma DIC_Prag. Par_Typ is parent type, which is also the owner of -- the DIC pragma. Deriv_Typ is the derived type inheriting the DIC -- pragma. All generated code is added to list Stmts. @@ -1454,7 +1454,7 @@ package body Exp_Util is begin Expr := New_Copy_Tree (DIC_Expr); - -- Perform the following substituion: + -- Perform the following substitution: -- * Replace the current instance of DIC_Typ with a reference to -- the _object formal parameter of the DIC procedure. @@ -2056,7 +2056,7 @@ package body Exp_Util is pragma Assert (Present (Typ_Decl)); -- Create the formal parameter which emulates the variable-like behavior - -- of the current type instance. + -- of the type's current instance. Obj_Id := Make_Defining_Identifier (Loc, Chars => Name_uObject); @@ -2083,7 +2083,7 @@ package body Exp_Util is New_Occurrence_Of (Work_Typ, Loc))))); -- The declaration should not be inserted into the tree when the context - -- is ASIS, GNATprove or a generic unit because it is not part of the + -- is ASIS, GNATprove, or a generic unit because it is not part of the -- template. if ASIS_Mode or GNATprove_Mode or Inside_A_Generic then |