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.

Reply via email to