1/* PR sanitizer/63520 */ 2/* { dg-do compile } */ 3/* { dg-options "-fsanitize=undefined" } */ 4 5int a; 6 7void 8foo (void) 9{ 10 while (1) 11 { 12 if (a == 1) 13 break; 14 a -= 1; 15 } 16} 17