From: Joseph Myers <joseph@codesourcery.com>
Date: Sat, 23 Feb 2008 21:11:25 +0000 (+0000)
Subject: explow.c (memory_address): Assert that the generated address is valid.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=03d4f10689837f8b7998f614921295d308e41a52;p=gcc.git

explow.c (memory_address): Assert that the generated address is valid.

	* explow.c (memory_address): Assert that the generated address is
	valid.

From-SVN: r132578
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e4af96d6371..3a2296deed3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-23  Joseph Myers  <joseph@codesourcery.com>
+
+	* explow.c (memory_address): Assert that the generated address is
+	valid.
+
 2008-02-23  Francois-Xavier Coudert  <coudert@clipper.ens.fr>
 
 	PR target/25477
diff --git a/gcc/explow.c b/gcc/explow.c
index a5ed65b2e56..612fb1bb5db 100644
--- a/gcc/explow.c
+++ b/gcc/explow.c
@@ -489,6 +489,7 @@ memory_address (enum machine_mode mode, rtx x)
 
  done:
 
+  gcc_assert (memory_address_p (mode, x));
   /* If we didn't change the address, we are done.  Otherwise, mark
      a reg as a pointer if we have REG or REG + CONST_INT.  */
   if (oldx == x)