From e8dde8759781d78310905ed3c2fb8b78e84964a9 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 1 Oct 2012 10:37:25 +0200 Subject: [multiple changes] 2012-10-01 Vincent Pucci * system-solaris-sparcv9.ads, system-mingw.ads, system-vms_64.ads: Flag Support_Atomic_Primitives set to True. 2012-10-01 Robert Dewar * impunit.adb: Ada.Locales is a language defined unit. 2012-10-01 Hristian Kirtchev * checks.adb (Apply_Parameter_Aliasing_Checks): Removed. (Apply_Parameter_Aliasing_And_Validity_Checks): New routine. (Apply_Parameter_Validity_Checks): Removed. * checks.ads (Apply_Parameter_Aliasing_Checks): Removed. (Apply_Parameter_Aliasing_And_Validity_Checks): New routine. (Apply_Parameter_Validity_Checks): Removed. * exp_ch6.adb (Expand_Call): Remove the generation of parameter aliasing checks. * freeze.adb: Remove with and use clauses for Validsw. (Freeze_Entity): Update the guard and generation of aliasing and scalar initialization checks for subprogram parameters. * opt.ads: Add new flags Check_Aliasing_Of_Parameters and Check_Validity_Of_Parameters along with comments on usage. * sem_attr.adb (Analyze_Attribute): Pragma Overlaps_Storage is no longer an Ada 2012 feature. * sem_ch4.adb: Remove with and use clauses for Checks and Validsw. (Analyze_Call): Remove the generation of aliasing checks for subprogram parameters. * sem_ch13.adb: Remove with and use clauses for Validsw. (Analyze_Aspect_Specifications): Remove the generation of scalar initialization checks. * switch-c.adb (Scan_Front_End_Switches): Add processing for -gnateA and -gnateV. * usage.adb (Usage): Add information on switches -gnateA and -gnateV. Remove information on validity switches 'l', 'L', 'v' and 'V'. * validsw.adb (Reset_Validity_Check_Options): Remove the reset of flags Validity_Check_Non_Overlapping_Params and Validity_Check_Valid_Scalars_On_Params. (Save_Validity_Check_Options): Remove the processing for flags Validity_Check_Non_Overlapping_Params and Validity_Check_Valid_Scalars_On_Params. (Set_Validity_Check_Options): Remove the processing for flags Validity_Check_Non_Overlapping_Params and Validity_Check_Valid_Scalars_On_Params. * validsw.ads: Remove flags Validity_Check_Non_Overlapping_Params and Validity_Check_Valid_Scalars_On_Params along with their comments on usage. From-SVN: r191900 --- gcc/ada/usage.adb | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'gcc/ada/usage.adb') diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index f24b2fc..12324ef 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -167,6 +167,11 @@ begin Write_Switch_Char ("Dnn"); Write_Line ("Debug expanded generated code (max line length = nn)"); + -- Line for -gnateA switch + + Write_Switch_Char ("eA"); + Write_Line ("Aliasing checks on subprogram parameters"); + -- Line for -gnatec switch Write_Switch_Char ("ec=?"); @@ -227,6 +232,11 @@ begin Write_Switch_Char ("eS"); Write_Line ("Generate SCO (Source Coverage Obligation) information"); + -- Line for -gnateV switch + + Write_Switch_Char ("eV"); + Write_Line ("Validity checks on subprogram parameters"); + -- Line for -gnatE switch Write_Switch_Char ("E"); @@ -399,8 +409,6 @@ begin Write_Line (" F turn off checking for floating-point"); Write_Line (" i turn on checking for in params"); Write_Line (" I turn off checking for in params"); - Write_Line (" l turn on checking for non-overlapping params"); - Write_Line (" L turn off checking for non-overlapping params"); Write_Line (" m turn on checking for in out params"); Write_Line (" M turn off checking for in out params"); Write_Line (" o turn on checking for operators/attributes"); @@ -413,8 +421,6 @@ begin Write_Line (" S turn off checking for subscripts"); Write_Line (" t turn on checking for tests"); Write_Line (" T turn off checking for tests"); - Write_Line (" v turn on checking for 'Valid_Scalars on params"); - Write_Line (" V turn off checking for 'Valid_Scalars on params"); Write_Line (" n turn off all validity checks (including RM)"); -- Lines for -gnatw switch -- cgit v1.1