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

	valid.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132578 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e4af96d..3a2296d 100644 (file)
--- 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 a5ed65b..612fb1b 100644 (file)
--- 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)