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