[committed] Fix RTL checking ICE in var-tracking (PR debug/50827)

Jakub Jelinek jakub@redhat.com
Mon Nov 21 21:39:00 GMT 2011


Hi!

ENTRY_VALUE's argument has '0' format letter instead of 'e', so XEXP
must not be used on it (at least not in RTL checking, otherwise it is the
same).
Bootstrapped/regtested on x86_64-linux and i686-linux, committed to trunk.

2011-11-21  Jakub Jelinek  <jakub@redhat.com>

	PR debug/50827
	* var-tracking.c (loc_cmp): For ENTRY_VALUEs use ENTRY_VALUE_EXP
	macro instead of XEXP.

	* gcc.dg/pr50827.c: New test.

--- gcc/var-tracking.c.jj	2011-11-07 12:40:56.000000000 +0100
+++ gcc/var-tracking.c	2011-11-21 17:01:58.470991801 +0100
@@ -3008,7 +3008,7 @@ loc_cmp (rtx x, rtx y)
       if (GET_CODE (y) != ENTRY_VALUE)
 	return 1;
       gcc_assert (GET_MODE (x) == GET_MODE (y));
-      return loc_cmp (XEXP (x, 0), XEXP (y, 0));
+      return loc_cmp (ENTRY_VALUE_EXP (x), ENTRY_VALUE_EXP (y));
     }
 
   if (GET_CODE (y) == ENTRY_VALUE)
--- gcc/testsuite/gcc.dg/pr50827.c.jj	2011-11-21 17:14:29.570529917 +0100
+++ gcc/testsuite/gcc.dg/pr50827.c	2011-11-21 17:14:20.414584530 +0100
@@ -0,0 +1,17 @@
+/* PR debug/50827 */
+/* { dg-do compile } */
+/* { dg-options "-g -O2 -funroll-loops" } */
+
+void
+foo (int w, int x, int *y, int *z)
+{
+  float f;
+  while (w--)
+    {
+      f = x;
+      if (y)
+	*y = (__INTPTR_TYPE__) y + w;
+      if (z)
+	*z = w;
+    }
+}

	Jakub



More information about the Gcc-patches mailing list