This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Kugan <kugan dot vivekanandarajah at linaro dot org>, Richard Biener <rguenther at suse dot de>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jeff Law <law at redhat dot com>
- Date: Thu, 30 Apr 2015 13:40:10 +0200
- Subject: Re: [RFC][PATCH 2/3] Propagate and save value ranges wrapped information
- Authentication-results: sourceware.org; auth=none
- References: <54B9C2EE dot 4050100 at linaro dot org> <54B9C45B dot 3010704 at linaro dot org> <alpine dot LSU dot 2 dot 11 dot 1501191223460 dot 12482 at zhemvz dot fhfr dot qr> <55381C83 dot 4040304 at linaro dot org> <CAFiYyc0QFy0bbtmvsLcLV3fXisOg-mKBTNxW_SkMho0R8Jmi-g at mail dot gmail dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
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