https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108757
--- Comment #3 from anlauf at gcc dot gnu.org --- (In reply to Andrew Pinski from comment #2) > I am not sure this can be done in the normal case unless you know the range > of a to be [64...INF] . > The wrap around case might be an issue ... > But I am not 100% sure. It is. Just print foo(0).