Re: [PATCH PR34114/2]Prove no-overflow for loop with NE_EXPR exit condition and non-ONE step

2016-07-29 Thread Jeff Law
On 07/29/2016 09:35 AM, Bin Cheng wrote: Hi, This patch fixes PR34114. It proves no-overflow for loops with NE_EXPR exit condition and non-ONE step. The patch contains detailed comment about when a loop like (IV=base; IV != FINAL; IV += step) doesn't overflow. Bootstrap and test on x86_64 an

[PATCH PR34114/2]Prove no-overflow for loop with NE_EXPR exit condition and non-ONE step

2016-07-29 Thread Bin Cheng
Hi, This patch fixes PR34114. It proves no-overflow for loops with NE_EXPR exit condition and non-ONE step. The patch contains detailed comment about when a loop like (IV=base; IV != FINAL; IV += step) doesn't overflow. Bootstrap and test on x86_64 and AArch64. Is it OK? Thanks, bin 2016-07