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