Re: [PATCH] Fix PR50189

2011-10-12 Thread Richard Guenther
On Wed, 12 Oct 2011, Richard Guenther wrote: > > This changes VRP to use the type of the variable we record > an assertion for to look for TYPE_MIN/MAX_VALUEs rather than > the limit that it is tested against. That makes sense anyway > and happens to mitigate the wrong-code bug for the testcase

[PATCH] Fix PR50189

2011-10-12 Thread Richard Guenther
This changes VRP to use the type of the variable we record an assertion for to look for TYPE_MIN/MAX_VALUEs rather than the limit that it is tested against. That makes sense anyway and happens to mitigate the wrong-code bug for the testcase in PR50189. Bootstrapped on x86_64-unknown-linux-gnu, t