+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
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,
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 --