On Thu, Apr 30, 2015 at 01:35:25PM +0200, Richard Biener wrote: > I've long pondered with replacing the VRP overflow checking code > (for -fstrict-overflow) with keeping two lattices - one honoring undefined > overflow and one not and then comparing the results in the end.
Yeah, that would be greatly appreciated. The (OVF) stuff is complete mess.
Jakub
