Print this page
new smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/optim/bool-context.c
+++ new/usr/src/tools/smatch/src/validation/optim/bool-context.c
1 1 #define bool _Bool
2 2
3 3 bool bool_ior(int a, int b) { return a || b; }
4 4 bool bool_and(int a, int b) { return a && b; }
5 5
6 6 /*
7 7 * check-name: bool-context
8 8 * check-command: test-linearize -Wno-decl $file
9 9 * check-output-ignore
10 10 *
11 - * check-output-pattern-4-times: setne\\..* %arg[12]
11 + * check-output-pattern(4): setne\\..* %arg[12]
12 12 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX