mirror of git://gcc.gnu.org/git/gcc.git
[Ada] Minor reformatting and U.S. spelling adjustment
2019-12-16 Gary Dismukes <dismukes@adacore.com> gcc/ada/ * checks.adb, sem_util.adb: Minor reformatting and U.S. spelling adjustment. From-SVN: r279425
This commit is contained in:
parent
dce1ef7a34
commit
ba58b776c0
|
@ -1,3 +1,8 @@
|
|||
2019-12-16 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* checks.adb, sem_util.adb: Minor reformatting and U.S. spelling
|
||||
adjustment.
|
||||
|
||||
2019-12-16 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_ch10.adb (Analyze_Subunit): Give an error if the subunit
|
||||
|
|
|
@ -2067,15 +2067,14 @@ package body Checks is
|
|||
Apply_Float_Conversion_Check (Ck_Node, Target_Base);
|
||||
Set_Etype (Temp, Target_Base);
|
||||
|
||||
-- Note : previously the declaration was inserted above
|
||||
-- the parent of the conversion, apparently as a small
|
||||
-- optimization for the subequent traversal in Insert_
|
||||
-- Actions. Unfortunately a similar optimization takes
|
||||
-- place in Insert_Actions, assuming that the insertion
|
||||
-- point must be above the expression that creates actions.
|
||||
-- This is not correct in the presence of conditional
|
||||
-- expressions, where the insertion must be in the
|
||||
-- list of asctions attached to the current alternative.
|
||||
-- Note: Previously the declaration was inserted above the parent
|
||||
-- of the conversion, apparently as a small optimization for the
|
||||
-- subequent traversal in Insert_Actions. Unfortunately a similar
|
||||
-- optimization takes place in Insert_Actions, assuming that the
|
||||
-- insertion point must be above the expression that creates
|
||||
-- actions. This is not correct in the presence of conditional
|
||||
-- expressions, where the insertion must be in the list of actions
|
||||
-- attached to the current alternative.
|
||||
|
||||
Insert_Action (Par,
|
||||
Make_Object_Declaration (Loc,
|
||||
|
|
|
@ -13790,11 +13790,11 @@ package body Sem_Util is
|
|||
function Is_Atomic_Or_VFA_Object (N : Node_Id) return Boolean is
|
||||
function Is_VFA_Object (N : Node_Id) return Boolean;
|
||||
-- Determine whether arbitrary node N denotes a reference to an object
|
||||
-- which is Volatile_Full_Access. Modelled on Is_Atomic_Object above.
|
||||
-- that is Volatile_Full_Access. Modeled on Is_Atomic_Object above.
|
||||
|
||||
function Is_VFA_Object_Entity (Id : Entity_Id) return Boolean;
|
||||
-- Determine whether arbitrary entity Id denotes an object which is
|
||||
-- Volatile_Full_Access. Modelled on Is_Atomic_Object_Entity above.
|
||||
-- Determine whether arbitrary entity Id denotes an object that is
|
||||
-- Volatile_Full_Access. Modeled on Is_Atomic_Object_Entity above.
|
||||
|
||||
---------------------
|
||||
-- Is_VFA_Object --
|
||||
|
|
Loading…
Reference in New Issue