Print this page
11972 resync smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/cond-err-expand.c
+++ new/usr/src/tools/smatch/src/validation/cond-err-expand.c
1 1 static inline void f(void)
2 2 {
3 3 __builtin_constant_p(0);
4 4 }
5 5
6 6 void foo(void)
7 7 {
8 8 0 ? 0 : f();
9 9 }
10 10
↓ open down ↓ |
10 lines elided |
↑ open up ↑ |
11 11 void bar(void)
12 12 {
13 13 1 ? f() : 0;
14 14 }
15 15
16 16 /*
17 17 * check-name: cond-err-expand.c
18 18 * check-command: test-linearize -Wno-decl $file
19 19 *
20 20 * check-error-start
21 -cond-err-expand.c:8:11: error: incompatible types in conditional expression (different base types)
22 -cond-err-expand.c:13:11: error: incompatible types in conditional expression (different base types)
21 +cond-err-expand.c:8:11: error: incompatible types in conditional expression (different base types):
22 +cond-err-expand.c:8:11: int
23 +cond-err-expand.c:8:11: void
24 +cond-err-expand.c:13:11: error: incompatible types in conditional expression (different base types):
25 +cond-err-expand.c:13:11: void
26 +cond-err-expand.c:13:11: int
23 27 * check-error-end
24 28 *
25 29 * check-output-ignore
26 - * check-excludes: call.* __builtin_constant_p
30 + * check-output-excludes: call.* __builtin_constant_p
27 31 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX