re PR middle-end/56288 (always true conditional expression in verify_ssa_name)

2013-02-12  Richard Biener  <rguenther@suse.de>

	PR middle-end/56288
	* tree-ssa.c (verify_ssa_name): Fix check, move
	SSA_NAME_IN_FREE_LIST check up.

From-SVN: r195973

gcc/ChangeLog

+2013-02-12  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/56288
+	* tree-ssa.c (verify_ssa_name): Fix check, move
+	SSA_NAME_IN_FREE_LIST check up.
+
 2013-02-12  Jakub Jelinek  <jakub@redhat.com>
 	    Steven Bosscher   <steven@gcc.gnu.org>
 

gcc/tree-ssa.c

@@ -626,16 +626,16 @@ verify_ssa_name (tree ssa_name, bool is_virtual)
       return true;
     }
 
-  if (SSA_NAME_VAR (ssa_name) != NULL_TREE
-      && TREE_TYPE (ssa_name) != TREE_TYPE (ssa_name))
+  if (SSA_NAME_IN_FREE_LIST (ssa_name))
     {
-      error ("type mismatch between an SSA_NAME and its symbol");
+      error ("found an SSA_NAME that had been released into the free pool");
       return true;
     }
 
-  if (SSA_NAME_IN_FREE_LIST (ssa_name))
+  if (SSA_NAME_VAR (ssa_name) != NULL_TREE
+      && TREE_TYPE (ssa_name) != TREE_TYPE (SSA_NAME_VAR (ssa_name)))
     {
-      error ("found an SSA_NAME that had been released into the free pool");
+      error ("type mismatch between an SSA_NAME and its symbol");
       return true;
     }