1  /* PR sanitizer/63879 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=undefined" } */
       4  
       5  struct A
       6  {
       7    int inode;
       8  } * a;
       9  int b, c;
      10  void
      11  fn1 ()
      12  {
      13    int d = 0;
      14    while (b)
      15      {
      16        if (a->inode)
      17          d++;
      18        a = 0;
      19      }
      20    c = d - 1;
      21    for (; c >= 0; c--)
      22      ;
      23  }