------- 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
