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