On Tue, Jun 20, 2017 at 10:18:20AM +0200, Richard Biener wrote: > > Ok (of course, will handle this separately from the rest). > > Yes. Note I didn't look at the actual patch (yet).
I'd like to ping the -fsanitize=pointer-overflow patch (though if you're
busy, it can certainly wait a few weeks).
Jakub
