1  /* { dg-do run } */
       2  /* { dg-additional-options "-fsanitize=unreachable" } */
       3  
       4  char a = -97;
       5  int b, c, d, e;
       6  
       7  int
       8  main ()
       9  {
      10    int g = d, h = 0, i = 1; 
      11    for (; h < 3; h++)
      12      {
      13        if (g > -1)
      14          {
      15            int j;
      16            g = j = 0;
      17            for (; j < 5; j++)
      18            L1:
      19              if (!i)
      20                goto L1;
      21            a = e;
      22          }
      23        else
      24          i = 0;
      25      }
      26    b = c / ~(a | 114);
      27    __builtin_exit (0);
      28  }