diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:37:25 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:37:25 +0000 |
| commit | 4a9e7f0c27982f4161ae9b78057718253f499e3a (patch) | |
| tree | efe1cf74cc286ad84a604fb33d2a19a2672b1970 /gcc/ada/opt.ads | |
| parent | 7928e854d9af488465b090e5f1e3c46013b17831 (diff) | |
| download | gcc-4a9e7f0c27982f4161ae9b78057718253f499e3a.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191900 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 5eac7ed8726..311dad76820 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -270,6 +270,11 @@ package Opt is -- Set to True to build, bind and link all the sources of a project file -- (switch -B) + Check_Aliasing_Of_Parameters : Boolean := False; + -- GNAT + -- Set to True to detect whether subprogram parameters and function results + -- alias the same object(s). + Check_Object_Consistency : Boolean := False; -- GNATBIND, GNATMAKE -- Set to True to check whether every object file is consistent with @@ -315,9 +320,14 @@ package Opt is Check_Unreferenced_Formals : Boolean := False; -- GNAT - -- Set True to check for unreferenced formals. This is turned on by + -- Set to True to check for unreferenced formals. This is turned on by -- -gnatwa/wf/wu and turned off by -gnatwA/wF/wU. + Check_Validity_Of_Parameters : Boolean := False; + -- GNAT + -- Set to True to check for proper scalar initialization of subprogram + -- parameters on both entry and exit. + Check_Withs : Boolean := False; -- GNAT -- Set to True to enable checking for unused withs, and also the case |