helper: add get_last_statement_from_expression_stmt() [build fix]
[smatch.git] / validation / optim / muldiv-by-one.c
blob5d9b458e07826559985bcb6fd0008af88dfaaabb
1 typedef unsigned int ui;
2 typedef int si;
4 si smul1(si a) { return a * 1; }
5 ui umul1(ui a) { return a * 1; }
6 si sdiv1(si a) { return a / 1; }
7 ui udiv1(ui a) { return a / 1; }
8 si smod1(si a) { return a % 1; }
9 ui umod1(ui a) { return a % 1; }
12 * check-name: muldiv-by-one
13 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
16 * check-output-excludes: mul[us]\\.
17 * check-output-excludes: div[us]\\.
18 * check-output-excludes: mod[us]\\.