[PATCH] Fix PR56288

[Richard Biener]

This fixes a oversight when introducing anonymous SSA names.
I managed to change a checking piece to a noop.  Oops.

I took the opportunity to move the freelist check earlier,
as the type check would trigger for freed SSA names as well.

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

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

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

Index: gcc/tree-ssa.c
===================================================================
--- gcc/tree-ssa.c      (revision 195941)
+++ gcc/tree-ssa.c      (working copy)
@@ -626,16 +626,16 @@ verify_ssa_name (tree ssa_name, bool is_
       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;
     }