1 2 3 4 5 6 7 8
/* PR sanitizer/66343 */ /* { dg-options "-fsanitize=undefined" } */ void foo (int a, int b) { a / b; }