gcc/testsuite/c-c++-common/ubsan/div-by-zero-8.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* PR c/109151 */
/* { dg-do run } */
/* { dg-options "-fsanitize=integer-divide-by-zero -Wno-div-by-zero -fno-sanitize-recover=integer-divide-by-zero" } */
/* { dg-shouldfail "ubsan" } */

int d;

int
main ()
{
  d = ((short) (d == 1 | d > 9)) / 0;
}

/* { dg-output "division by zero" } */