1  int a;
       2  void b(int c) {
       3    int d = 3;
       4    d ^= c < 2;
       5    if (d < 3 && a)
       6      while (1)
       7        b(!a);
       8  }
       1  int a;
       2  void b(int c) {
       3    int d = 3;
       4    d ^= c < 2;
       5    if (d < 3 && a)
       6      while (1)
       7        b(!a);
       8  }