subject:"\[PATCH PR68911\]Check overflow when computing range information from loop niter bound"

Re: [PATCH PR68911]Check overflow when computing range information from loop niter bound

2016-01-12 Thread Richard Biener

On Mon, Jan 11, 2016 at 5:11 PM, Bin Cheng wrote: > Hi, > A wrong code bug is reported in PR68911, which GCC generates infinite loop > for below example after loop niter analysis changes. After that change, > scev_probably_wraps_p identifies that e_1 in below case never overflow/wrap: > : >

[PATCH PR68911]Check overflow when computing range information from loop niter bound

2016-01-11 Thread Bin Cheng

Hi, A wrong code bug is reported in PR68911, which GCC generates infinite loop for below example after loop niter analysis changes. After that change, scev_probably_wraps_p identifies that e_1 in below case never overflow/wrap: : e_15 = e_1 + 1; : # e_1 = PHI if (e_1 <= 93)