Hi!

Before http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193595
aka the big vec.h changes, nonlocalized_list parameter to remap_decls
used to be **, but the changes changed it to *.  That is a problem,
because then there is no difference between the case where we don't
want to push anything to nonlocalized_list (caller passes NULL) and
calling it with BLOCK_NONLOCALIZED_VARS, which is empty.
That resulted in vec_safe_push not being called, because nonlocalized_list
test was false.

Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for
trunk?

2012-12-12  Jakub Jelinek  <ja...@redhat.com>

        PR debug/55665
        * tree-inline.c (remap_decls): Change nonlocalized_list
        to pointer to pointer to vector from pointer to vector.
        (remap_block): Pass address of BLOCK_NONLOCALIZED_VARS.

        * g++.dg/guality/pr55665.C: New test.

--- gcc/tree-inline.c.jj        2012-11-19 14:41:26.000000000 +0100
+++ gcc/tree-inline.c   2012-12-12 18:23:31.937008538 +0100
@@ -536,7 +536,7 @@ can_be_nonlocal (tree decl, copy_body_da
 }
 
 static tree
-remap_decls (tree decls, vec<tree, va_gc> *nonlocalized_list,
+remap_decls (tree decls, vec<tree, va_gc> **nonlocalized_list,
             copy_body_data *id)
 {
   tree old_var;
@@ -557,7 +557,7 @@ remap_decls (tree decls, vec<tree, va_gc
          if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
              && !DECL_IGNORED_P (old_var)
              && nonlocalized_list)
-           vec_safe_push (nonlocalized_list, old_var);
+           vec_safe_push (*nonlocalized_list, old_var);
          continue;
        }
 
@@ -575,7 +575,7 @@ remap_decls (tree decls, vec<tree, va_gc
          if ((!optimize || debug_info_level > DINFO_LEVEL_TERSE)
              && !DECL_IGNORED_P (old_var)
              && nonlocalized_list)
-           vec_safe_push (nonlocalized_list, old_var);
+           vec_safe_push (*nonlocalized_list, old_var);
        }
       else
        {
@@ -622,7 +622,7 @@ remap_block (tree *block, copy_body_data
 
   /* Remap its variables.  */
   BLOCK_VARS (new_block) = remap_decls (BLOCK_VARS (old_block),
-                                       BLOCK_NONLOCALIZED_VARS (new_block),
+                                       &BLOCK_NONLOCALIZED_VARS (new_block),
                                        id);
 
   if (id->transform_lang_insert_block)
--- gcc/testsuite/g++.dg/guality/pr55665.C.jj   2012-12-12 18:37:11.829241332 
+0100
+++ gcc/testsuite/g++.dg/guality/pr55665.C      2012-12-12 18:34:59.000000000 
+0100
@@ -0,0 +1,33 @@
+// PR debug/55655
+// { dg-do run }
+// { dg-options "-g" }
+
+extern "C" void abort ();
+struct A { A (int); int a; };
+
+__attribute__((noinline, noclone)) int
+bar (void)
+{
+  return 40;
+}
+
+__attribute__((noinline, noclone)) void
+foo (int x)
+{
+  __asm volatile ("" : : "r" (x) : "memory");
+}
+
+A::A (int x)
+{
+  static int p = bar ();
+  foo (p);             // { dg-final { gdb-test 23 "p" "40" } }
+  a = ++p;
+}
+
+int
+main ()
+{
+  A a (42);
+  if (a.a != 41)
+    abort ();
+}

        Jakub

Reply via email to