Re: [PATCH] Avoid UB in tree-ssa-{dse,alias}*

2017-10-02 Thread Richard Biener
On October 2, 2017 3:54:18 PM GMT+02:00, Jakub Jelinek wrote: >Hi! > >On the following testcase we get a ref where >ref->offset fits into shwi, so does ref->size, but ref->offset + >ref->size >doesn't. I see many spots where we just assume that ref->offset + >ref->size >is meaningful, so rather t

[PATCH] Avoid UB in tree-ssa-{dse,alias}*

2017-10-02 Thread Jakub Jelinek
Hi! On the following testcase we get a ref where ref->offset fits into shwi, so does ref->size, but ref->offset + ref->size doesn't. I see many spots where we just assume that ref->offset + ref->size is meaningful, so rather than adding overflow checking in all those spots, this patch instead let