https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
Markus Trippelsdorf changed:
What|Removed |Added
CC||amodra at gmail dot com
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
Markus Trippelsdorf changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
--- Comment #4 from Marc Glisse ---
Author: glisse
Date: Wed Nov 22 16:44:46 2017
New Revision: 255068
URL: https://gcc.gnu.org/viewcvs?rev=255068=gcc=rev
Log:
Avoid two_valued_val_range_p for pointers.
2017-11-22 Marc Glisse
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
Richard Biener changed:
What|Removed |Added
Target Milestone|--- |8.0
--- Comment #3 from Richard Biener
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
--- Comment #2 from Marc Glisse ---
two_valued_val_range_p doesn't work on pointers, it uses vrp_val_min on the
type of the arguments. Probably:
--- vr-values.c (revision 255021)
+++ vr-values.c (working copy)
@@ -4091,7 +4091,7 @@
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83104
Markus Trippelsdorf changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
