No_Specification_Of_Aspects : array (Aspect_Id) of Source_Ptr :=
(others => No_Location);
- -- Entries in this array are set to point to a previously occuring pragma
+ -- Entries in this array are set to point to a previously occurring pragma
-- that activates a No_Specification_Of_Aspect check.
No_Specification_Of_Aspect_Warning : array (Aspect_Id) of Boolean :=
Nm : Node_Id;
Note : Boolean := True;
- -- Skip this for the case of Unrestricted_Access occuring in
- -- the context of a Valid check, since this otherwise leads
- -- to a missed warning (the Valid check does not really
- -- modify!) If this case, Note will be reset to False.
+ -- Skip this for the case of Unrestricted_Access occurring
+ -- in the context of a Valid check, since this otherwise
+ -- leads to a missed warning (the Valid check does not
+ -- really modify!) If this case, Note will be reset to
+ -- False.
-- Skip it as well if the type is an Access_To_Constant,
-- given that no use of the value can modify the prefix.
Overflow_Mode_Assertions : Overflow_Mode_Type;
-- This field indicates the mode for handling code generation and
-- overflow checking (if enabled) for intermediate expression values.
- -- This applies to any expression occuring inside assertions.
+ -- This applies to any expression occurring inside assertions.
end record;
-----------------------------------