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,

valid_gimple_expression_p claims validity of invalid gimple

2007-07-13 Thread Daniel Berlin
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32746 is really caused by a combination of two things First is_gimple_min_invariant in try_to_simplify where it chooses DECL_INITIAL should be valid_gimple_expression_p instead. However, even if i fix this, the testcase still fails because