From: Joern Rennecke <joern.rennecke@embecosm.com>
Date: Fri, 30 Aug 2013 14:20:29 +0000 (+0000)
Subject: recog.c (verify_changes): Verify that changes[i].old is non-zero before applying... 
X-Git-Tag: releases/gcc-4.9.0~4359
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ac7eacd2f37c1565ef92a1e3c8cc7510059d4a6c;p=thirdparty%2Fgcc.git

recog.c (verify_changes): Verify that changes[i].old is non-zero before applying REG_P.

        * recog.c (verify_changes): Verify that changes[i].old is non-zero
        before applying REG_P.

From-SVN: r202107
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b63c3201d298..6ca069bbf57a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-08-30  Joern Rennecke  <joern.rennecke@embecosm.com>
+
+	* recog.c (verify_changes): Verify that changes[i].old is non-zero
+	before applying REG_P.
+
 2013-08-30  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/58277
diff --git a/gcc/recog.c b/gcc/recog.c
index 2d44416892ef..690b20e4751d 100644
--- a/gcc/recog.c
+++ b/gcc/recog.c
@@ -397,7 +397,10 @@ verify_changes (int num)
 					     MEM_ADDR_SPACE (object)))
 	    break;
 	}
-      else if (REG_P (changes[i].old)
+      else if (/* changes[i].old might be zero, e.g. when putting a
+	       REG_FRAME_RELATED_EXPR into a previously empty list.  */
+	       changes[i].old
+	       && REG_P (changes[i].old)
 	       && asm_noperands (PATTERN (object)) > 0
 	       && REG_EXPR (changes[i].old) != NULL_TREE
 	       && DECL_ASSEMBLER_NAME_SET_P (REG_EXPR (changes[i].old))