This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]