diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f649c7b77493ef40acd455b4e7ade579d0c5c52e..0244e455aa35200ced4117561c28e5392c5fd76c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-11-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
+
+	* real.h (real_isinteger): Declare.
+	* real.c (real_isinteger): Define.
+	* builtins.c (integer_valued_real_p): Use it.
+
 2006-11-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 
 	PR c/9072 
diff --git a/gcc/builtins.c b/gcc/builtins.c
index 4e4ea969cd78ea8849b3026ad65b5b10aea950d2..75b47fb239195fc01de5de8ef99ce76f3e7418bc 100644
--- a/gcc/builtins.c
+++ b/gcc/builtins.c
@@ -6677,15 +6677,7 @@ integer_valued_real_p (tree t)
 	     && integer_valued_real_p (TREE_OPERAND (t, 2));
 
     case REAL_CST:
-      if (! TREE_CONSTANT_OVERFLOW (t))
-      {
-	REAL_VALUE_TYPE c, cint;
-
-	c = TREE_REAL_CST (t);
-	real_trunc (&cint, TYPE_MODE (TREE_TYPE (t)), &c);
-	return real_identical (&c, &cint);
-      }
-      break;
+      return real_isinteger (TREE_REAL_CST_PTR (t), TYPE_MODE (TREE_TYPE (t)));
 
     case NOP_EXPR:
       {
diff --git a/gcc/real.c b/gcc/real.c
index bfb8462baead4d14a00cace7e34fd11d85231de6..0d239b3379d02adaa6c602a6b7cc54d05ee31ddc 100644
--- a/gcc/real.c
+++ b/gcc/real.c
@@ -4968,3 +4968,14 @@ real_from_mpfr (REAL_VALUE_TYPE *r, mpfr_srcptr m)
   
   real_from_string (r, buf);
 }
+
+/* Check whether the real constant value given is an integer.  */
+
+bool
+real_isinteger (const REAL_VALUE_TYPE *c, enum machine_mode mode)
+{
+  REAL_VALUE_TYPE cint;
+
+  real_trunc (&cint, mode, c);
+  return real_identical (c, &cint);
+}
diff --git a/gcc/real.h b/gcc/real.h
index 5a45892d301613d365e7672e3fe09e5fc1b22a54..4198b02aee6e3bdf86f1c2de7e7bab575b1c0a46 100644
--- a/gcc/real.h
+++ b/gcc/real.h
@@ -433,4 +433,7 @@ extern void real_copysign (REAL_VALUE_TYPE *, const REAL_VALUE_TYPE *);
 extern void real_from_mpfr (REAL_VALUE_TYPE *, mpfr_srcptr);
 extern void mpfr_from_real (mpfr_ptr, const REAL_VALUE_TYPE *);
 
+/* Check whether the real constant value given is an integer.  */
+extern bool real_isinteger (const REAL_VALUE_TYPE *c, enum machine_mode mode);
+
 #endif /* ! GCC_REAL_H */