reload.c (regno_clobbered_p): Add a gcc_assert that regno refers to a hard register.

* reload.c (regno_clobbered_p): Add a gcc_assert that regno refers to a hard register. From-SVN: r92574

reload.c (regno_clobbered_p): Add a gcc_assert that regno refers to a hard register.
* reload.c (regno_clobbered_p): Add a gcc_assert that regno refers to a hard register. From-SVN: r92574
5b804e8a · Roger Sayle · Roger Sayle · 5902897a · 5b804e8a · 5b804e8a
Commit 5b804e8a authored Dec 23, 2004 by Roger Sayle Committed by Roger Sayle Dec 23, 2004
Hide whitespace changes
Inline Side-by-side

Showing with 12 additions and 2 deletions

gcc/ChangeLog
+5 -0

gcc/reload.c
+7 -2

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2004-12-23  Roger Sayle  <roger@eyesopen.com>
+
+	* reload.c (regno_clobbered_p): Add a gcc_assert that regno
+	refers to a hard register.
+
 2004-12-23  Mark Mitchell  <mark@codesourcery.com>

 	* gimplify.c (gimplify_modify_expr_rhs): Use types_compatible_p.

--- a/gcc/reload.c
+++ b/gcc/reload.c
@@ -6947,8 +6947,13 @@ int
 regno_clobbered_p (unsigned int regno, rtx insn, enum machine_mode mode,
 		   int sets)
 {
-  unsigned int nregs = hard_regno_nregs[regno][mode];
-  unsigned int endregno = regno + nregs;
+  unsigned int nregs, endregno;
+
+  /* regno must be a hard register.  */
+  gcc_assert (regno < FIRST_PSEUDO_REGISTER);
+
+  nregs = hard_regno_nregs[regno][mode];
+  endregno = regno + nregs;

  if ((GET_CODE (PATTERN (insn)) == CLOBBER
       || (sets && GET_CODE (PATTERN (insn)) == SET))