diff mbox

Fix up vt_add_function_parameter (PR debug/54831)

Message ID 20121008173850.GS10286@redhat.com
State New
Headers show

Commit Message

Marek Polacek Oct. 8, 2012, 5:38 p.m. UTC 
On Mon, Oct 08, 2012 at 06:09:41PM +0200, Jakub Jelinek wrote:
> Ok with those changes.

Thanks, this is what I've checked in:

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.


	Marek
diff mbox

Patch

--- gcc/testsuite/g++.dg/debug/pr54831.C.mp	2012-10-08 12:14:55.790807737 +0200
+++ gcc/testsuite/g++.dg/debug/pr54831.C	2012-10-08 19:20:45.771190631 +0200
@@ -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);
+}
--- gcc/var-tracking.c.mp	2012-10-08 10:56:32.354556352 +0200
+++ gcc/var-tracking.c	2012-10-08 19:19:15.031950120 +0200
@@ -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;
     }