diff options
| author | Thomas Quinot <quinot@adacore.com> | 2013-01-02 10:45:00 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:45:00 +0100 |
| commit | 7130729aa07512f6349dc85d86454cdb6c152b38 (patch) | |
| tree | cbd214f3fa25a835e09a2646253440c7906ea8c4 /gcc/ada/gcc-interface | |
| parent | 8ed7930e45b8232ed637f207fc48222112742a51 (diff) | |
| download | gcc-7130729aa07512f6349dc85d86454cdb6c152b38.zip gcc-7130729aa07512f6349dc85d86454cdb6c152b38.tar.gz gcc-7130729aa07512f6349dc85d86454cdb6c152b38.tar.bz2 | |
par_sco.adb: Add SCO generation for task types and single task declarations.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* par_sco.adb: Add SCO generation for task types and single
task declarations.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* fe.h, gnat1drv.adb: Revert previous change.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* get_scos.adb: When adding an instance table entry for a
non-nested instantiation, make sure the Enclosing_Instance is
correctly set to 0.
From-SVN: r194793
Diffstat (limited to 'gcc/ada/gcc-interface')
| -rw-r--r-- | gcc/ada/gcc-interface/gigi.h | 2 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/misc.c | 17 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 10 |
3 files changed, 10 insertions, 19 deletions
diff --git a/gcc/ada/gcc-interface/gigi.h b/gcc/ada/gcc-interface/gigi.h index 28bf938..1d0d2fb 100644 --- a/gcc/ada/gcc-interface/gigi.h +++ b/gcc/ada/gcc-interface/gigi.h @@ -255,8 +255,6 @@ extern void gigi (Node_Id gnat_root, int max_gnat_node, Entity_Id standard_exception_type, Int gigi_operating_mode); -extern void set_flag_debug_instances (int); - #ifdef __cplusplus } #endif diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index 4c5bd32..2fd2743 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -809,23 +809,6 @@ 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 diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 74133a4..4d21d2c 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -302,6 +302,16 @@ gigi (Node_Id gnat_root, int max_gnat_node, int number_name ATTRIBUTE_UNUSED, type_annotate_only = (gigi_operating_mode == 1); +#if 0 + if (Generate_SCO_Instance_Table) + flag_debug_instances = 1; +#else + /* Temporary compatibility shim: FSF head back-end does not support instance + based debug info discriminators, so disable the generation of the SCO + instance table. ??? */ + Generate_SCO_Instance_Table = False; +#endif + for (i = 0; i < number_file; i++) { /* Use the identifier table to make a permanent copy of the filename as |