From 54c04d6ca59426c458abdf1d7ce70dd8bb2d4dcc Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 20 Dec 2011 14:47:44 +0100 Subject: [multiple changes] 2011-12-20 Robert Dewar * sem_ch3.adb, sem_ch5.adb, s-diinio.adb, s-diinio.ads, sem_dim.adb, sem_dim.ads, sem_res.adb, s-stposu.adb, s-stposu.ads, sem_ch4.adb, s-diflio.adb, s-diflio.ads, exp_disp.adb, s-llflex.ads: Minor reformatting. * aspects.ads: Dimension[_Aspects] are GNAT defined. 2011-12-20 Robert Dewar * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check renaming case. 2011-12-20 Thomas Quinot * sem_cat.adb, sem_ch10.adb (Analyze_With_Clause): For a WITH clause on a child unit that is an illegal instantiation, mark the WITH clause in error. (Install_Siblings, Validate_Categorization_Dependency): Guard against WITH clause marked as in error. From-SVN: r182534 --- gcc/ada/sem_cat.adb | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'gcc/ada/sem_cat.adb') diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb index 04cf958..8ac23de 100644 --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -972,7 +972,13 @@ package body Sem_Cat is while Present (Item) loop if Nkind (Item) = N_With_Clause and then not (Implicit_With (Item) - or else Limited_Present (Item)) + or else Limited_Present (Item) + + -- Skip if error already posted on the WITH + -- clause (in which case the Name attribute + -- may be invalid). + + or else Error_Posted (Item)) then Entity_Of_Withed := Entity (Name (Item)); Check_Categorization_Dependencies -- cgit v1.1