diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:16:40 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:16:40 +0200 |
| commit | 2a7b8e181bd51b6e96864840550c66619573e8d1 (patch) | |
| tree | f51de0844cc6806f85f20e8913a750c5ab9a0084 /gcc/ada/gnatcmd.adb | |
| parent | 5f49133f81390b80edb508542edaa91583c9628a (diff) | |
| download | gcc-2a7b8e181bd51b6e96864840550c66619573e8d1.tar.gz | |
[multiple changes]
2012-10-02 Bob Duff <duff@adacore.com>
* checks.adb (Apply_Predicate_Check): Disable check in -gnatc mode.
2012-10-02 Vincent Pucci <pucci@adacore.com>
* sem_ch6.adb (Analyze_Function_Call): Dimension propagation
for function calls moved to Analyze_Dimension_Call.
* sem_dim.adb (Analyze_Dimension_Call): Properly propagate the
dimensions from the returned type for function calls.
2012-10-02 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: Take into account any configuration pragma file
in the project files for gnat pretty/stub/metric.
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Check_Indexing_Functions): Refine several tests
on the legality of indexing aspects: Constant_Indexing functions
do not have to return a reference type, and given an indexing
aspect Func, not all overloadings of Func in the current scope
need to be indexing functions.
2012-10-02 Vasiliy Fofanov <fofanov@adacore.com>
* gnat_ugn.texi: Adjust docs for overflow checks to be VMS-friendly.
2012-10-02 Vincent Celier <celier@adacore.com>
* switch-m.adb (Normalize_Compiler_Switches): Recognize switches
-gnatox and -gnatoxx when x=0/1/2/3.
From-SVN: r191960
Diffstat (limited to 'gcc/ada/gnatcmd.adb')
| -rw-r--r-- | gcc/ada/gnatcmd.adb | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/gcc/ada/gnatcmd.adb b/gcc/ada/gnatcmd.adb index ab4ddcc7d29..7e547535aca 100644 --- a/gcc/ada/gnatcmd.adb +++ b/gcc/ada/gnatcmd.adb @@ -2311,10 +2311,15 @@ begin (new String'("-gnatem=" & Get_Name_String (M_File))); end if; - -- For gnatcheck, also indicate a global configuration pragmas - -- file and, if -U is not used, a local one. - - if The_Command = Check then + -- For gnatcheck, gnatpp, gnatstub and gnatmetric, also + -- indicate a global configuration pragmas file and, if -U + -- is not used, a local one. + + if The_Command = Check or else + The_Command = Pretty or else + The_Command = Stub or else + The_Command = Metric + then declare Pkg : constant Prj.Package_Id := Prj.Util.Value_Of |