Print this page
new smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/optim/muldiv-minus-one.c
+++ new/usr/src/tools/smatch/src/validation/optim/muldiv-minus-one.c
1 1 typedef unsigned int u32;
2 2
3 3 int smulm1(int a) { return a * -1; }
4 4 u32 umulm1(u32 a) { return a * (u32) -1; }
5 5 int sdivm1(int a) { return a / -1; }
6 6 u32 udivm1(u32 a) { return a / (u32) -1; }
|
↓ open down ↓ |
6 lines elided |
↑ open up ↑ |
7 7
8 8 /*
9 9 * check-name: muldiv-minus-one
10 10 * check-command: test-linearize -Wno-decl $file
11 11 * check-output-ignore
12 12 *
13 13 * check-output-excludes: mul[us]\\.
14 14 * check-output-excludes: divs\\.
15 15 * check-output-contains: neg\\.
16 16 * check-output-contains: divu\\.
17 - * check-output-pattern-3-times: neg\\.
17 + * check-output-pattern(3): neg\\.
18 18 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX