1/* PR sanitizer/63879 */
2/* { dg-do compile } */
3/* { dg-options "-fsanitize=undefined" } */
4
5int a;
6void
7fn1 ()
8{
9  int b = 2;
10  for (; a;)
11    while (b >= 0)
12      b--;
13}
14