tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is an SSA_NAME…

tree-cfg.c (verify_gimple_phi): Check that gimple_phi_result is an SSA_NAME rather than a is_gimple_variable.

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.

From-SVN: r151560

gcc/ChangeLog

+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

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;