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