Re: [PATCH] Fix PR57343

2013-05-27 Thread Zdenek Dvorak
Hi, > Bootstrapped and tested on x86_64-unknown-linux-gnu, ok for trunk? > > PR tree-optimization/57343 > * tree-ssa-loop-niter.c (number_of_iterations_ne_max): Do not > use multiple_of_p if not TYPE_OVERFLOW_UNDEFINED. > (number_of_iterations_cond): Do not build the folde

[PATCH] Fix PR57343

2013-05-27 Thread Richard Biener
The following fixes PR57343 - niter analysis uses multiple_of_p to check whether a value is a multiple of another, but multiple_of_p does not refrain from returning true for a * 10 and 10 even when the multiplication may overflow (and changing that would pessimize some callers at least while possi