-2019-10-10 Ed Schonberg <schonberg@adacore.com>
+2019-10-10 Gary Dismukes <dismukes@adacore.com>
- * sem_warn.adb (Warn_On_Useless_Assignment): Do not warn if the
- second assignment is at the same source position as the first.
\ No newline at end of file
+ * exp_ch4.adb, sem_cat.adb, sem_ch12.adb, sem_ch3.adb,
+ sem_ch6.adb, sem_prag.adb, sem_util.adb, sem_util.ads: Minor
+ typo fixes.
\ No newline at end of file
Typ : constant Entity_Id := Etype (Left_Opnd (N));
begin
- -- Case of elementary type with standard operator. But if
- -- unnesting, handle elementary types whose Equivalent_Types are
- -- records because there may be padding or undefined fields.
+ -- Case of elementary type with standard operator. But if unnesting,
+ -- handle elementary types whose Equivalent_Types are records because
+ -- there may be padding or undefined fields.
if Is_Elementary_Type (Typ)
and then Sloc (Entity (N)) = Standard_Location
-- The purpose is to set categorization flags before analyzing the
-- unit itself, so as to diagnose violations of categorization as
-- we process each declaration, even though the pragma appears after
- -- the unit. This processing is only needsd if compilation unit
- -- pragmas are present.
- -- Note: this code may be incorrect in the unlikely case a child
- -- genericc unit is instantiated as a child of its (non-generic)
- -- parent, so that generic and insstance are siblings,
+ -- the unit. This processing is only needed if compilation unit pragmas
+ -- are present.
+ -- Note: This code may be incorrect in the unlikely case a child generic
+ -- unit is instantiated as a child of its (nongeneric) parent, so that
+ -- generic and instance are siblings.
if Nkind (P) /= N_Compilation_Unit
or else No (First (Pragmas_After (Aux_Decls_Node (P))))
Set_Inner_Instances (Formal, New_Elmt_List);
-- It is unclear that any aspects can apply to a formal package
- -- declaration, given that they look like a hidden comformance
+ -- declaration, given that they look like a hidden conformance
-- requirement on the corresponding actual. However, Abstract_State
-- must be treated specially because it generates declarations that
-- must appear before other declarations in the specification and
-- After expansion of discriminated task types, the value
-- of the discriminant may be converted to a run-time type
-- for restricted run-times. Propagate the value of the
- -- discriminant ss well, so that e.g. the secondary stack
- -- component has a static constraint. Necessry for LLVM.
+ -- discriminant as well, so that e.g. the secondary stack
+ -- component has a static constraint. Necessary for LLVM.
elsif Nkind (Expr) = N_Type_Conversion
and then Is_Discriminant (Expression (Expr))
-- object can then be used instead of the formal in case it is used
-- in an actual to a call to a nested subprogram.
- -- This method is used to suppliment our "small integer model" for
- -- accessibility check generation (for more information see
+ -- This method is used to supplement our "small integer model" for
+ -- accessibility-check generation (for more information see
-- Dynamic_Accessibility_Level).
- -- Because we allow accesibility values greater than our expected value
+ -- Because we allow accessibility values greater than our expected value
-- passing along the same extra accessibility formal as an actual
-- to a nested subprogram becomes a problem because high values mean
-- different things to the callee even though they are the same to the
-- Infer the type to use for a string literal or a concatentation
-- of operands whose types can be inferred. For such expressions,
-- returns the "narrowest" of the three predefined string types
- -- that can represent the characters occuring in the expression.
+ -- that can represent the characters occurring in the expression.
-- For other expressions, returns Empty.
function Preferred_String_Type (Expr : Node_Id) return Entity_Id is
-- components are being gathered for an aggregate, in which case
-- the caller must check Report_Errors.
--
- -- In Ada2020 the above rules are relaxed. A non-static governing
- -- discriminant is ok as long as it has a static subtype and
+ -- In Ada 2020 the above rules are relaxed. A nonstatic governing
+ -- discriminant is OK as long as it has a static subtype and
-- every value of that subtype (and there must be at least one)
-- selects the same variant.
function Choice_List_Intervals (Discrete_Choices : List_Id)
return Discrete_Interval_List;
-- Given a discrete choice list, returns the (unique) interval
- -- list representing the chosen values..
+ -- list representing the chosen values.
function Is_Subset (Subset, Of_Set : Discrete_Interval_List)
return Boolean;
projects / gcc.git / commitdiff