re PR debug/23336 (enum constants not visible to gdb because of -feliminate-unused...

gcc/
	PR debug/23336
	* c-typeck.c (build_external_type): Mark used enum types.
	* dwarf2out.c (dwarf2out_abstract_function): Save and restore
	cfun also.
	(gen_subprogram_die): Whitespace fix.
gcc/cp/
	PR debug/23336
	* pt.c (tsubst_copy_and_build): Mark used enum types.
	* semantics.c (finish_id_expression): Likewise.
gcc/testsuite/
	PR debug/23336
	* lib/gcc-dg.exp (gcc-dg-debug-runtest): Suppress new tests
	at -g1.
	* gcc.dg/debug/enum-1.c, g++.dg/debug/enum-1.C,
	g++.dg/debug/enum-2.C: New.

From-SVN: r115853

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5dc74174a564f2795bc0dbf7d980da83bbeddb1e..b8aee3b467cad37bc582e49e0f3c82843919fae2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2006-08-01  Daniel Jacobowitz  <dan@codesourcery.com>
+
+       PR debug/23336
+       * c-typeck.c (build_external_type): Mark used enum types.
+       * dwarf2out.c (dwarf2out_abstract_function): Save and restore
+       cfun also.
+       (gen_subprogram_die): Whitespace fix.
+
 2006-08-01  Jan Hubicka  <jh@suse.cz>
 
        * tree-outof-ssa.c (check_replaceable): Do not allocate def_vars

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index c32ce95b99f2b649049e5d1935385cc84cd7ecff..31dadc6ebeb8ce377d294a2662f0f1fbb09d3050 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2067,6 +2067,7 @@ build_external_ref (tree id, int fun, location_t loc)
 
   if (TREE_CODE (ref) == CONST_DECL)
     {
+      used_types_insert (TREE_TYPE (ref));
       ref = DECL_INITIAL (ref);
       TREE_CONSTANT (ref) = 1;
       TREE_INVARIANT (ref) = 1;

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 4e85be176dbd980237c9742ee5bbfec5c1c22a17..56c613b0aefb7f03625fa7889052db5b048b0ad1 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2006-08-01  Daniel Jacobowitz  <dan@codesourcery.com>
+
+       PR debug/23336
+       * pt.c (tsubst_copy_and_build): Mark used enum types.
+       * semantics.c (finish_id_expression): Likewise.
+
 2006-07-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        PR c++/6634

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 5a7bfb8da551d50686c00e7d57bc86bd4fb08721..30e6cd09a4b301df0ec7f89e1c965e31a9610394 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -9240,7 +9240,10 @@ tsubst_copy_and_build (tree t,
       /* As in finish_id_expression, we resolve enumeration constants
         to their underlying values.  */
       if (TREE_CODE (t) == CONST_DECL)
-       return DECL_INITIAL (t);
+       {
+         used_types_insert (TREE_TYPE (t));
+         return DECL_INITIAL (t);
+       }
       return t;
 
     default:

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index e96ba68b0343107324fefcb704b80a5eac3c1224..d36eba76e4143b717e49cb45448c968cd2b55237 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -2589,7 +2589,10 @@ finish_id_expression (tree id_expression,
     {
       *idk = CP_ID_KIND_NONE;
       if (!processing_template_decl)
-       return DECL_INITIAL (decl);
+       {
+         used_types_insert (TREE_TYPE (decl));
+         return DECL_INITIAL (decl);
+       }
       return decl;
     }
   else

diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c
index 3d0c89017e1e83698cfeb0b39240c6175fdd1131..41aa5ace0cb1d94b29127d54e394f6bea28e449c 100644 (file)
--- a/gcc/dwarf2out.c
+++ b/gcc/dwarf2out.c
@@ -11457,6 +11457,7 @@ dwarf2out_abstract_function (tree decl)
 {
   dw_die_ref old_die;
   tree save_fn;
+  struct function *save_cfun;
   tree context;
   int was_abstract = DECL_ABSTRACT (decl);
 
@@ -11480,7 +11481,9 @@ dwarf2out_abstract_function (tree decl)
 
   /* Pretend we've just finished compiling this function.  */
   save_fn = current_function_decl;
+  save_cfun = cfun;
   current_function_decl = decl;
+  cfun = DECL_STRUCT_FUNCTION (decl);
 
   set_decl_abstract_flags (decl, 1);
   dwarf2out_decl (decl);
@@ -11488,6 +11491,7 @@ dwarf2out_abstract_function (tree decl)
     set_decl_abstract_flags (decl, 0);
 
   current_function_decl = save_fn;
+  cfun = save_cfun;
 }
 
 /* Helper function of premark_used_types() which gets called through
@@ -11531,7 +11535,7 @@ gen_subprogram_die (tree decl, dw_die_ref context_die)
   int declaration = (current_function_decl != decl
                     || class_or_namespace_scope_p (context_die));
 
-  premark_used_types();
+  premark_used_types ();
 
   /* It is possible to have both DECL_ABSTRACT and DECLARATION be true if we
      started to generate the abstract instance of an inline, decided to output

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9887b2cdc4a442b4e03c0fd5c0d8583cc68e03d8..261cadc8ae228b95c3da3e3488b208aa35382b52 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2006-08-01  Daniel Jacobowitz  <dan@codesourcery.com>
+
+       PR debug/23336
+       * lib/gcc-dg.exp (gcc-dg-debug-runtest): Suppress new tests
+       at -g1.
+       * gcc.dg/debug/enum-1.c, g++.dg/debug/enum-1.C,
+       g++.dg/debug/enum-2.C: New.
+
 2006-07-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
        PR c++/6634

diff --git a/gcc/testsuite/g++.dg/debug/enum-1.C b/gcc/testsuite/g++.dg/debug/enum-1.C
new file mode 100644 (file)
index 0000000..7681e9b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/debug/enum-1.C
@@ -0,0 +1,16 @@
+/* Verify that used enums are output.  */
+/* { dg-do compile } */
+/* { dg-final { scan-assembler "JTI_MAX" } } */
+
+int var;
+
+enum java_tree_index
+{
+  JTI_MAX
+};
+
+void function (void)
+{
+  var = JTI_MAX;
+}
+ 

diff --git a/gcc/testsuite/g++.dg/debug/enum-2.C b/gcc/testsuite/g++.dg/debug/enum-2.C
new file mode 100644 (file)
index 0000000..d550131
--- /dev/null
+++ b/gcc/testsuite/g++.dg/debug/enum-2.C
@@ -0,0 +1,22 @@
+/* Verify that used enums are output.  */
+/* { dg-do compile } */
+/* { dg-final { scan-assembler "JTI_MAX" } } */
+
+int var;
+
+enum java_tree_index
+{
+  JTI_MAX
+};
+
+template<int X>
+void tmpl (void)
+{
+  var = JTI_MAX + X;
+}
+ 
+void
+function (void)
+{
+  tmpl<2>();
+}

diff --git a/gcc/testsuite/gcc.dg/debug/enum-1.c b/gcc/testsuite/gcc.dg/debug/enum-1.c
new file mode 100644 (file)
index 0000000..7681e9b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/debug/enum-1.c
@@ -0,0 +1,16 @@
+/* Verify that used enums are output.  */
+/* { dg-do compile } */
+/* { dg-final { scan-assembler "JTI_MAX" } } */
+
+int var;
+
+enum java_tree_index
+{
+  JTI_MAX
+};
+
+void function (void)
+{
+  var = JTI_MAX;
+}
+ 

diff --git a/gcc/testsuite/lib/gcc-dg.exp b/gcc/testsuite/lib/gcc-dg.exp
index 869f944b4a505e90b54e8801c8b9a8344e8c9719..1573545db6ac1a125967d89a3687217750336c6d 100644 (file)
--- a/gcc/testsuite/lib/gcc-dg.exp
+++ b/gcc/testsuite/lib/gcc-dg.exp
@@ -292,7 +292,12 @@ proc gcc-dg-debug-runtest { target_compile trivial opt_opts testcases } {
 
        foreach flags $DEBUG_TORTURE_OPTIONS {
            set doit 1
-           if { [string match {*/debug-[126].c} "$nshort"] \
+
+           # These tests check for information which may be deliberately
+           # suppressed at -g1.
+           if { ([string match {*/debug-[126].c} "$nshort"] \
+                  || [string match {*/enum-1.c} "$nshort"] \
+                  || [string match {*/enum-[12].C} "$nshort"]) \
                    && [string match "*1" [lindex "$flags" 0] ] } {
                set doit 0
            }