PR54831.
authormpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Oct 2012 17:38:13 +0000 (17:38 +0000)
committermpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Oct 2012 17:38:13 +0000 (17:38 +0000)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192218 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/testsuite/g++.dg/debug/pr54831.C [new file with mode: 0644]
gcc/var-tracking.c

index 14bdc37..b7e0a64 100644 (file)
@@ -1,3 +1,11 @@
+2012-10-08  Marek Polacek  <polacek@redhat.com>
+
+       PR debug/54831
+       * var-tracking.c (vt_add_function_parameter): Use condition instead
+       of gcc_assert.
+
+       * testsuite/g++.dg/debug/pr54831.C: New test.
+
 2012-10-08  Dehao Chen  <dehao@google.com>
 
        * predict.c (predict_loops): Predict for short-circuit conditions.
diff --git a/gcc/testsuite/g++.dg/debug/pr54831.C b/gcc/testsuite/g++.dg/debug/pr54831.C
new file mode 100644 (file)
index 0000000..8e73120
--- /dev/null
@@ -0,0 +1,20 @@
+// PR debug/54831
+// { dg-do compile }
+// { dg-options "-O -fno-split-wide-types -g" }
+
+struct S
+{
+  int m1();
+  int m2();
+};
+
+typedef void (S::*mptr) ();
+
+mptr gmp;
+void bar (mptr f);
+
+void foo (mptr f)
+{
+  f = gmp;
+  bar (f);
+}
index bbd2f4b..6a6cd42 100644 (file)
@@ -9404,12 +9404,13 @@ vt_add_function_parameter (tree parm)
 
   if (parm != decl)
     {
-      /* Assume that DECL_RTL was a pseudo that got spilled to
-        memory.  The spill slot sharing code will force the
-        memory to reference spill_slot_decl (%sfp), so we don't
-        match above.  That's ok, the pseudo must have referenced
-        the entire parameter, so just reset OFFSET.  */
-      gcc_assert (decl == get_spill_slot_decl (false));
+      /* If that DECL_RTL wasn't a pseudo that got spilled to
+        memory, bail out.  Otherwise, the spill slot sharing code
+        will force the memory to reference spill_slot_decl (%sfp),
+        so we don't match above.  That's ok, the pseudo must have
+        referenced the entire parameter, so just reset OFFSET.  */
+      if (decl != get_spill_slot_decl (false))
+        return;
       offset = 0;
     }