1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=float-divide-by-zero" } */
       3  
       4  int
       5  main (void)
       6  {
       7    volatile float a = 1.3f;
       8    volatile double b = 0.0;
       9    volatile int c = 4;
      10    volatile float res;
      11  
      12    res = a / b;
      13    res = a / 0.0;
      14    res = 2.7f / b;
      15    res = 3.6 / (b = 0.0, b);
      16    res = c / b;
      17    res = b / c;
      18  
      19    return 0;
      20  }
      21  
      22  /* { dg-output "division by zero\[^\n\r]*(\n|\r\n|\r)" } */
      23  /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
      24  /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
      25  /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
      26  /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*" } */