[tuples] [patch] Fix in_phi in verify_expr

[Diego Novillo]

On Tue, Apr 1, 2008 at 10:39, Rafael Espindola <espindola@google.com> wrote:

>  I think we can. Something like the attached patch is what you have in mind?

Not quite.  The test for gimple_val is already there (right above the
code you just added).  The only test you need to bring from
verify_expr is the check for the free list in the case of an SSA_NAME:

...
else if (TREE_CODE (t) == SSA_NAME
           && SSA_NAME_IN_FREE_LIST (t))
  {
     error ("....
...