1  /* { dg-do compile } */
       2  /* { dg-options "-Os" } */
       3  
       4  long int n;
       5  
       6  void
       7  foo (int *p, int x)
       8  {
       9    for (;;)
      10      {
      11        for (*p = 0; *p < 1; ++*p)
      12          {
      13            n += *p < 0;
      14            if (n < x)
      15              {
      16                while (x < 1)
      17                  ++x;
      18  
      19                __builtin_unreachable ();
      20              }
      21          }
      22  
      23        p = &x;
      24      }
      25  }