Re: [3/4] Avoid undefined operation in overflow check

2013-11-20 Thread Richard Biener
On Tue, Nov 19, 2013 at 1:06 PM, Richard Sandiford wrote: > This is a case where tree_to_shwi can be used instead of TREE_INT_CST_LOW. > I separated it out because it was using a signed "x * y / y == x" to check > whether "x * y" overflows a HWI, which relies on undefined behaviour. Please CSE tr

[3/4] Avoid undefined operation in overflow check

2013-11-19 Thread Richard Sandiford
This is a case where tree_to_shwi can be used instead of TREE_INT_CST_LOW. I separated it out because it was using a signed "x * y / y == x" to check whether "x * y" overflows a HWI, which relies on undefined behaviour. Thanks, Richard gcc/ * tree-ssa-alias.c (ao_ref_init_from_ptr_and_si