Re: valid_gimple_expression_p claims validity of invalid gimple

2007-07-15 Thread Daniel Berlin
On 7/14/07, Eric Botcazou <[EMAIL PROTECTED]> wrote: > First is_gimple_min_invariant in try_to_simplify where it chooses > DECL_INITIAL should be valid_gimple_expression_p instead. That's a known problem, see tree-ssa-ccp.c: I had forgotten about this because i hadn't done IPA in a while. At

Re: valid_gimple_expression_p claims validity of invalid gimple

2007-07-14 Thread Eric Botcazou
> First is_gimple_min_invariant in try_to_simplify where it chooses > DECL_INITIAL should be valid_gimple_expression_p instead. That's a known problem, see tree-ssa-ccp.c: /* The regular is_gimple_min_invariant does a shallow test of the object. It assumes that full gimplification has happened