[Bug sanitizer/65367] [5 Regression] indefinite loop occurs with sanitize enabled and certain optimization options

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65367

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Reduced:

int
foo (char *p)
{
  return *((const char *) "") - *p;
}