This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
valid_gimple_expression_p claims validity of invalid gimple
- From: "Daniel Berlin" <dberlin at dberlin dot org>
- To: "Eric Botcazou" <ebotcazou at adacore dot com>, GCC <gcc at gcc dot gnu dot org>
- Date: Fri, 13 Jul 2007 22:15:58 -0400
- Subject: valid_gimple_expression_p claims validity of invalid gimple
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
valid_gimple_expression says something that is clearly invalid is
valid.
(gdb) p valid_gimple_expression_p ($2)
$3 = 1 '\001'
(gdb) p debug_generic_stmt ($2)
&((struct RegisterLayout *) (char *) &SimulatedRegisters)->intmask;
This is not valid gimple by a longshot :)
If you fix this part, i'll happily fix the bug report with the first part.