This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR55011
- From: Michael Matz <matz at suse dot de>
- To: Richard Biener <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 22 Oct 2012 16:19:20 +0200 (CEST)
- Subject: Re: [PATCH] Fix PR55011
- References: <alpine.LNX.2.00.1210221522150.4063@zhemvz.fhfr.qr>
Hi,
On Mon, 22 Oct 2012, Richard Biener wrote:
>
> This fixes PR55011, it seems nothing checks for invalid lattice
> transitions in VRP,
That makes sense, because the individual parts of VRP that produce new
ranges are supposed to not generate invalid transitions. So if anything
such checking should be an assert and the causes be fixed.
> so the following adds that
It's a work around ...
> since we now can produce a lot more UNDEFINED than before
... for this. We should never "produce" UNDEFINED when the input wasn't
UNDEFINED already.
> not doing so triggers issues.
Hmm?
Ciao,
Michael.