xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/muldiv-by-one.c (revision 374858d291554c199353841e2900bc130463934a)
1 typedef	unsigned int ui;
2 typedef	         int si;
3 
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; }
10 
11 /*
12  * check-name: muldiv-by-one
13  * check-command: test-linearize -Wno-decl $file
14  * check-output-ignore
15  *
16  * check-output-excludes: mul[us]\\.
17  * check-output-excludes: div[us]\\.
18  * check-output-excludes: mod[us]\\.
19  */
20