[Bug c/111863] Wrong code with "-O3 -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-vrp"

[19373742 at buaa dot edu.cn via Gcc-bugs]

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

--- Comment #2 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

$ cat a.c
#include <stdio.h>
int a;
volatile int *b = &a;
volatile int **c = &b;
static int d = 1;
static int e() {
  unsigned long f = 2;
  *b = 0 || 5;
  *b = ((**c & f) != d)%11;
  return 0;
}
int main() {
  e();
  printf("%d\n", a);
}