https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109546
--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> --- Patch in testing. when deciding to fold condition of builtin_unreachable, VRP is failing to recognize that given if (ptr == &x) __builtin_unreachable () &x is not a representable range, and thus should not be eliminated early even though it satisfies the other criteria. it just sees it as a symbolic value == CONSTANT and thinks its smart enough when it isn't.