From e7fceebce65739f184ad8e090d0fac712336df34 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 19 Sep 2011 10:31:55 +0200 Subject: [multiple changes] 2011-09-19 Robert Dewar * err_vars.ads, errout.ads: Minor reformatting. 2011-09-19 Robert Dewar * aspects.ads (Impl_Defined_Aspects): New array * lib-writ.adb (No_Dependences): New name for No_Dependence * restrict.adb (No_Dependences): New name for No_Dependence (Check_Restriction_No_Specification_Of_Aspect): New procedure. (Set_Restriction_No_Specification_Of_Aspect): New procedure (Restricted_Profile_Result): New variable (No_Specification_Of_Aspects): New variable (No_Specification_Of_Aspect_Warning): New variable * restrict.ads (No_Dependences): New name for No_Dependence (Check_Restriction_No_Specification_Of_Aspect): New procedure (Set_Restriction_No_Specification_Of_Aspect): New procedure * s-rident.ads: Add restriction No_Implementation_Aspect_Specifications, this is also added to the No_Implementation_Extensions profile. * sem_ch13.adb (Analyze_Aspect_Specifications): Check No_Implementation_Defined_Aspects (Analyze_Aspect_Specifications): Check No_Specification_Of_Aspect * sem_prag.adb (Analyze_Aspect_Specifications): Check No_Implementation_Aspects (Analyze_Aspect_Specifications): Check No_Specification_Of_Aspect * snames.ads-tmpl (Name_No_Specification_Of_Aspect): New name 2011-09-19 Yannick Moy * lib-xref.adb (Generate_Reference): Take into account multiple renamings for Alfa refs. 2011-09-19 Thomas Quinot * g-socthi-mingw.adb: Minor reformatting. 2011-09-19 Yannick Moy * gnat1drv.adb (Adjust_Global_Switches): Set tagged type expansion to False in mode Alfa 2011-09-19 Pascal Obry * mingw32.h: Remove obsolete code needed for old versions of MingW. From-SVN: r178959 --- gcc/ada/gnat1drv.adb | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'gcc/ada/gnat1drv.adb') diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index b0b9024..8a8c805 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -477,12 +477,9 @@ procedure Gnat1drv is Global_Discard_Names := True; - -- We would prefer to suppress the expansion of tagged types and - -- dispatching calls, so that one day GNATprove can handle them - -- directly. Unfortunately, this is causing problems in some cases, - -- so keep this expansion for the time being. To be investigated ??? + -- Suppress the expansion of tagged types and dispatching calls - Tagged_Type_Expansion := True; + Tagged_Type_Expansion := False; end if; end Adjust_Global_Switches; -- cgit v1.1