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