1/* PR sanitizer/63879 */
2/* { dg-do compile } */
3/* { dg-options "-fsanitize=undefined" } */
4
5struct A
6{
7 int inode;
8} * a;
9int b, c;
10void
11fn1 ()
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}
24