db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / muldiv-by-zero.c
blob07b7b1a79b3ae10e4c541897a28971c1f42104fe
1 typedef unsigned int ui;
2 typedef int si;
4 si smul0(si a) { return a * 0; }
5 ui umul0(ui a) { return a * 0; }
7 /*
8 * check-name: muldiv-by-zero
9 * check-command: test-linearize -Wno-decl $file
10 * check-output-ignore
12 * check-output-excludes: mul[us]\\.