http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49911
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-31 09:56:41 UTC --- Smells like the latent issue that we treat all integral types with the same precision as equal but VRP extracts more fine-grained information. Eric was opposed to a patch that fixes that. In the past copyrename exposed this issue for example, but I guess inlining may do the same. But I can't reproduce this on x86_64-darwin with rev. 176967.