+2018-06-11 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch3.adb, exp_unst.adb, inline.adb, sem_prag.adb: Minor
+ reformatting.
+
2018-06-11 Yannick Moy <moy@adacore.com>
* doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
end if;
-- Generic associations are not analyzed: the actuals are
- -- transferred to renaming qnd subtype declarations that
+ -- transferred to renaming and subtype declarations that
-- are the ones that must be examined.
when N_Generic_Association =>
if not Has_Single_Return (N)
-- Skip inlining if the function returns an unconstrained type
- -- using an extended return statement since this part of the
- -- new inlining model which is not yet supported by the current
+ -- using an extended return statement, since this part of the
+ -- new inlining model is not yet supported by the current
-- implementation. ???
or else (Returns_Unconstrained_Type (Spec_Id)
-- The item appears in the visible state space of some package. In
-- general this scenario does not warrant Part_Of except when the
- -- package is a non-generic private child unit and the encapsulating
+ -- package is a nongeneric private child unit and the encapsulating
-- state is declared in a parent unit or a public descendant of that
-- parent unit.
and then Is_Private_Descendant (Pack_Id)
then
-- A variable or state abstraction which is part of the visible
- -- state of a non-generic private child unit or its public
+ -- state of a nongeneric private child unit or its public
-- descendants must have its Part_Of indicator specified. The
-- Part_Of indicator must denote a state declared by either the
-- parent unit of the private unit or by a public descendant of
end if;
-- Indicator Part_Of is not needed when the related package is
- -- not a non-generic private child unit or a public descendant
+ -- not a nongeneric private child unit or a public descendant
-- thereof.
else
-- In general an item declared in the visible state space of a package
-- does not require a Part_Of indicator. The only exception is when the
- -- related package is a non-generic private child unit in which case
+ -- related package is a nongeneric private child unit, in which case
-- Part_Of must denote a state in the parent unit or in one of its
-- descendants.