Re: [PATCH PR81388]Revert change in revision 238585

2017-07-20 Thread Richard Biener
On Thu, Jul 20, 2017 at 11:09 AM, Bin Cheng wrote: > Hi, > I removed computation of may_be_zero in revision 238585 by assuming > "pointer + 2 < pointer" can be folded. This is false when pointer could > overflow, > as well as unsigned type (I don't know why it haven't been exposed for long > tim

[PATCH PR81388]Revert change in revision 238585

2017-07-20 Thread Bin Cheng
Hi, I removed computation of may_be_zero in revision 238585 by assuming "pointer + 2 < pointer" can be folded. This is false when pointer could overflow, as well as unsigned type (I don't know why it haven't been exposed for long time in case of unsigned type). As for the issue itself, any fix w