]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/testsuite/gcc.dg/pr64440.c
replace ISL with isl
[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / pr64440.c
CommitLineData
4a9a42ab
MP
1/* PR c/64440 */
2/* { dg-do compile } */
3/* { dg-options "-Wall -O2" } */
4
5int
6foo (int x)
7{
8 const int y = 0;
9 int r = 0;
10 r += x / y; /* { dg-warning "division by zero" } */
11 r += x / 0; /* { dg-warning "division by zero" } */
12 r += x % y; /* { dg-warning "division by zero" } */
13 r += x % 0; /* { dg-warning "division by zero" } */
14 return r;
15}