Print this page
11972 resync smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/validation/cond-address.c
+++ new/usr/src/tools/smatch/src/validation/cond-address.c
1 1 extern void f(void);
2 2 extern int a[];
|
↓ open down ↓ |
2 lines elided |
↑ open up ↑ |
3 3
4 4 int foo(void) { if (f) return 1; return 0; }
5 5 int bar(void) { if (a) return 1; return 0; }
6 6 int qux(void) { if (f && a) return 1; return 0; }
7 7
8 8 /*
9 9 * check-name: cond-address.c
10 10 * check-command: test-linearize -Wno-decl $file
11 11 * check-output-ignore
12 12 *
13 - * check-excludes: VOID
13 + * check-output-excludes: VOID
14 14 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX