test(int z)1 void test(int z) {
2   if (z == 0)
3     int x = 1 / z; // warn
4 }
5 
test()6 void test() {
7   int x = 1;
8   int y = x % 0; // warn
9 }
10