+2017-01-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_ch10.adb, sem_cat.adb: Minor reformatting.
+
2017-01-20 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Access_Type_Declaration): Protect access to the
Item := First (Context_Items (P));
while Present (Item) loop
if Nkind (Item) = N_With_Clause
- and then not (Implicit_With (Item)
- or else Limited_Present (Item)
-
- -- Skip if error already posted on the WITH
- -- clause (in which case the Name attribute
- -- may be invalid). In particular, this fixes
- -- the problem of hanging in the presence of a
- -- WITH clause on a child that is an illegal
- -- generic instantiation.
-
- or else Error_Posted (Item))
- and then not (Try_Semantics
- -- Skip processing malformed trees
- and then Nkind (Name (Item)) not in N_Has_Entity)
+ and then
+ not (Implicit_With (Item)
+ or else Limited_Present (Item)
+
+ -- Skip if error already posted on the WITH clause (in
+ -- which case the Name attribute may be invalid). In
+ -- particular, this fixes the problem of hanging in the
+ -- presence of a WITH clause on a child that is an
+ -- illegal generic instantiation.
+
+ or else Error_Posted (Item))
+ and then
+ not (Try_Semantics
+
+ -- Skip processing malformed trees
+
+ and then Nkind (Name (Item)) not in N_Has_Entity)
then
Entity_Of_Withed := Entity (Name (Item));
Check_Categorization_Dependencies
-- Do not install private_with_clauses declaration, unless unit
-- is itself a private child unit, or is a body. Note that for a
- -- subprogram body the private_with_clause does not take effect until
- -- after the specification.
+ -- subprogram body the private_with_clause does not take effect
+ -- until after the specification.
if Nkind (Item) /= N_With_Clause
or else Implicit_With (Item)
or else Limited_Present (Item)
or else Error_Posted (Item)
+
-- Skip processing malformed trees
+
or else (Try_Semantics
- and then Nkind (Name (Item)) not in N_Has_Entity)
+ and then Nkind (Name (Item)) not in N_Has_Entity)
then
null;