diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:38:18 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:38:18 +0100 |
commit | 8ed7930e45b8232ed637f207fc48222112742a51 (patch) | |
tree | fad1732609d459202281d32411b622d865c8e835 /gcc/ada/gcc-interface/misc.c | |
parent | fab62a15d14a3a8cf4a534f48411108a776b1a81 (diff) | |
download | gcc-8ed7930e45b8232ed637f207fc48222112742a51.zip gcc-8ed7930e45b8232ed637f207fc48222112742a51.tar.gz gcc-8ed7930e45b8232ed637f207fc48222112742a51.tar.bz2 |
[multiple changes]
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Analyze_Attribute): Skip the special _Parent
scope generated for subprogram inlining purposes while trying
to locate the enclosing function.
* sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
expression of pragma Postcondition when the pragma comes from
source and appears inside a subprogram body.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
information in debug info unconditionally when using -fdump-scos,
instead of relying on a separate command line switch -fdebug-instances.
2013-01-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Additional refinement of predicate.
2013-01-02 Vincent Celier <celier@adacore.com>
* vms_data.ads: Remove incorrect spaces at end of descriptions
of qualifiers for single switch.
2013-01-02 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Minor edits / wordsmithing in section on pragma
Check_Float_Overflow.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sprint.adb (Sprint_Node_Actual): Do not add extra parens for
a conditional expression (CASE or IF expression) that already
has parens. Also omit ELSE keyword for an IF expression without
an ELSE part.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
flag_debug_instances here, after front-end switches have been
processed.
From-SVN: r194792
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
-rw-r--r-- | gcc/ada/gcc-interface/misc.c | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index 3d3f161..4c5bd32 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -228,7 +228,9 @@ int optimize_size; int flag_compare_debug; enum stack_check_type flag_stack_check = NO_STACK_CHECK; -/* Post-switch processing. */ +/* Settings adjustments after switches processing by the back-end. + Note that the front-end switches processing (Scan_Compiler_Arguments) + has not been done yet at this point! */ static bool gnat_post_options (const char **pfilename ATTRIBUTE_UNUSED) @@ -807,6 +809,23 @@ gnat_eh_personality (void) return gnat_eh_personality_decl; } +/* Set flag_debug_instances. */ + +void +set_flag_debug_instances (int val ATTRIBUTE_UNUSED) +{ +#if 0 + /* Temporary compatibility shim??? + This should be enabled when back-end support for instance info in + DWARF is merged at the FSF. */ + flag_debug_instances = val; +#else + /* Until then, forcibly turn off SCO instance table generation. */ + extern Boolean opt__generate_sco_instance_table; + opt__generate_sco_instance_table = False; +#endif +} + /* Initialize language-specific bits of tree_contains_struct. */ static void |