1  /* PR c++/88215 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=integer-divide-by-zero" } */
       4  
       5  int
       6  foo (void)
       7  {
       8    int a = 2, __attribute__ ((__unused__)) b = 1;
       9    int f = a / b;
      10    return f;
      11  }