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

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f423067..dc1ad37 100644 (file)
--- 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 81d95d7..3996f08 100644 (file)
--- 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;