1/* { dg-do compile } */
2/* { dg-options "-fsanitize=undefined" } */
3
4typedef int V;
5int
6foo (void)
7{
8  V v = 9;
9  int a = 3;
10  v += v % a;
11  return v / 3;
12}
13