diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:37:25 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:37:25 +0200 |
| commit | e8dde8759781d78310905ed3c2fb8b78e84964a9 (patch) | |
| tree | efe1cf74cc286ad84a604fb33d2a19a2672b1970 /gcc/ada/switch-c.adb | |
| parent | 7bd76b9c7aeff03ae44113a0b69404e7d7d9662c (diff) | |
| download | gcc-e8dde8759781d78310905ed3c2fb8b78e84964a9.zip gcc-e8dde8759781d78310905ed3c2fb8b78e84964a9.tar.gz gcc-e8dde8759781d78310905ed3c2fb8b78e84964a9.tar.bz2 | |
[multiple changes]
2012-10-01 Vincent Pucci <pucci@adacore.com>
* system-solaris-sparcv9.ads, system-mingw.ads, system-vms_64.ads: Flag
Support_Atomic_Primitives set to True.
2012-10-01 Robert Dewar <dewar@adacore.com>
* impunit.adb: Ada.Locales is a language defined unit.
2012-10-01 Hristian Kirtchev <kirtchev@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 04de890..37c6eb7 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -380,6 +380,12 @@ package body Switch.C is Enable_Switch_Storing; Ptr := Ptr + 1; + -- -gnateA (aliasing checks on parameters) + + when 'A' => + Ptr := Ptr + 1; + Check_Aliasing_Of_Parameters := True; + -- -gnatec (configuration pragmas) when 'c' => @@ -566,6 +572,22 @@ package body Switch.C is when 'P' => Treat_Categorization_Errors_As_Warnings := True; + -- -gnateS (generate SCO information) + + -- Include Source Coverage Obligation information in ALI + -- files for the benefit of source coverage analysis tools + -- (xcov). + + when 'S' => + Generate_SCO := True; + Ptr := Ptr + 1; + + -- -gnateV (validity checks on parameters) + + when 'V' => + Ptr := Ptr + 1; + Check_Validity_Of_Parameters := True; + -- -gnatez (final delimiter of explicit switches) -- All switches that come after -gnatez have been added by @@ -577,16 +599,6 @@ package body Switch.C is Disable_Switch_Storing; Ptr := Ptr + 1; - -- -gnateS (generate SCO information) - - -- Include Source Coverage Obligation information in ALI - -- files for the benefit of source coverage analysis tools - -- (xcov). - - when 'S' => - Generate_SCO := True; - Ptr := Ptr + 1; - -- All other -gnate? switches are unassigned when others => |