gcc/testsuite/c-c++-common/analyzer/divide-by-zero-pr124195-2.c

short s;

int
foo()
{
  s %= 0; /* { dg-warning "division by zero" } */
  return s > 0;
}