http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46675
--- Comment #17 from H.J. Lu <hjl.tools at gmail dot com> 2010-11-28 16:25:34 UTC --- For npairs = n - -2147483648; VRP1 concludes Value ranges after VRP: i_1: [0, 0] n_2(D): VARYING npairs_3: VARYING But for npairs = n + 2147483648; VRP1 concludes Value ranges after VRP: Value ranges after VRP: i_1: [0, +INF] n_2(D): VARYING n.0_3: [0, +INF] D.2691_4: [0, +INF] npairs_5: VARYING
