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