diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-26 12:45:45 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-26 12:45:45 +0000 |
| commit | d2d3116b48bc67c781428ffde9be60ce5bcc5144 (patch) | |
| tree | d18805d6b80e73483f9434539b8fb989680f11bd /gcc/ada/opt.ads | |
| parent | 62185b76a6c731d28815a4316c63be83eaaa73a3 (diff) | |
| download | gcc-d2d3116b48bc67c781428ffde9be60ce5bcc5144.tar.gz | |
2010-10-26 Robert Dewar <dewar@adacore.com>
* opt.ads (Treat_Categorization_Errors_As_Warnings): New flag
* sem_cat.adb (Check_Categorization_Dependencies):
Use Check_Categorization_Dependencies
* switch-c.adb: GNAT Mode sets Treat_Categorization_Errors_As_Warnings
-gnateP sets Treat_Categorization_Errors_As_Warnings
* usage.adb: Add line for -gnateP switch
2010-10-26 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Add_Internal_Interface_Entities): Handle primitives
inherited from the parent that cover interface primitives.
(Derive_Progenitor_Subprograms): Handle primitives inherited from
the parent that cover interface primitives.
* sem_disp.adb (Find_Primitive_Covering_Interface): When searching in
the list of primitives of the type extend the test to include inherited
private primitives.
* sem_ch6.ads (Is_Interface_Conformant): Add missing documentation.
* sem_ch7.adb (Declare_Inherited_Private_Subprograms): Add missing
barrier to the loop searching for explicit overriding primitives.
* sem_ch4.adb (Analyze_Indexed_Component_Form): Add missing barrier
before accessing attribute Entity.
2010-10-26 Bob Duff <duff@adacore.com>
* make.adb: Call Namet.Finalize, so we can get statistics.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165952 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 23cbd6c8205..45e44fb40aa 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -41,10 +41,10 @@ with Hostparm; use Hostparm; with Types; use Types; -with System.WCh_Con; use System.WCh_Con; - pragma Warnings (Off); +-- This package is used also by gnatcoll with System.Strings; use System.Strings; +with System.WCh_Con; use System.WCh_Con; pragma Warnings (On); package Opt is @@ -1230,6 +1230,11 @@ package Opt is -- Tolerate time stamp and other consistency errors. If this flag is set to -- True (-t), then inconsistencies result in warnings rather than errors. + Treat_Categorization_Errors_As_Warnings : Boolean := False; + -- Normally categorization errors are true illegalities. If this switch + -- is set, then such errors result in warning messages rather than error + -- messages. Set True by -gnatg or -gnateP (P for Pure/Preelaborate). + Treat_Restrictions_As_Warnings : Boolean := False; -- GNAT -- Set True to treat pragma Restrictions as Restriction_Warnings. Set by |