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