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 e4af96d6371acb18138727a05bf0878068179fd8..3a2296deed3cff9560a5ec8e50d9a459f10c9372 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 a5ed65b2e566512e3b1fc117619e6c71e22f5317..612fb1bb5db6f8a00c003a5f00286d7e695fdc92 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)