diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f423067fbfa..dc1ad378606 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2009-09-09  Martin Jambor  <mjambor@suse.cz>
+
+	* tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is
+	an SSA_NAME rather than a is_gimple_variable.
+
 2009-09-09  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/41317
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 81d95d75e6e..3996f081733 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -4143,7 +4143,7 @@ verify_gimple_phi (gimple stmt)
   tree type = TREE_TYPE (gimple_phi_result (stmt));
   unsigned i;
 
-  if (!is_gimple_variable (gimple_phi_result (stmt)))
+  if (TREE_CODE (gimple_phi_result (stmt)) != SSA_NAME)
     {
       error ("Invalid PHI result");
       return true;