[Bug c/97371] evrp problem with gcc.target/s390/pr77822-2.c and -O3

[dcb314 at hotmail dot com via Gcc-bugs]

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

--- Comment #1 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C code is

int a, b;
void c() {
  if (b >> 38)
    a = b;
}