[LLVMdev] A case where llvm created different cfg for same code

[Daniel Berlin]

On Wed, Aug 13, 2008 at 3:03 AM, Sheng Zhou <zhousheng at autoesl.com> wrote:

> 7 for(i=0; i<j && i+j+1<N; i++) {
>
> 8 for(i=0; i<j && i<N-j-1; i++) {
>
>
> Line 7 and Line 8 actually have the same expression,
> Line 8 just move the "j+1" to the right hand of the inequation.
>
>

These expressions overflow in different cases.
They are not equivalent.