From 5b804e8a7ef5e3086eb34bfe0ed8348774f87801 Mon Sep 17 00:00:00 2001 From: Roger Sayle Date: Thu, 23 Dec 2004 22:48:51 +0000 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/reload.c | 9 +++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c84ae79e586..82ee9a4c79e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-12-23 Roger Sayle + + * reload.c (regno_clobbered_p): Add a gcc_assert that regno + refers to a hard register. + 2004-12-23 Mark Mitchell * gimplify.c (gimplify_modify_expr_rhs): Use types_compatible_p. diff --git a/gcc/reload.c b/gcc/reload.c index 9c0836a53b7..08a22deffab 100644 --- 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)) -- 2.30.2