[Bug middle-end/38572] [4.4 Regression] ICE in set_value_range, at tree-vrp.c:398

[bonzini at gnu dot org]

------- Comment #20 from bonzini at gnu dot org  2008-12-22 09:05 -------
This is a latent bug in the handling of out-of-bounds values.  It happens
because a value changes from [256, 256] to [256, 257]. VRP then forces the
upper bound to the max-value of the type, generating the invalid range [256,
7].  We should punt and give VARYING.

Probably caused by the tree-ssa-propagate.c hunk of my patch, but also probably
latent.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38572