db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / cond-err-expand.c
blobb52624bc9de5ec7461f47edc9759d7b48cb2e475
1 static inline void f(void)
3 __builtin_constant_p(0);
6 void foo(void)
8 0 ? 0 : f();
11 void bar(void)
13 1 ? f() : 0;
17 * check-name: cond-err-expand.c
18 * check-command: test-linearize -Wno-decl $file
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: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
27 * check-error-end
29 * check-output-ignore
30 * check-output-excludes: call.* __builtin_constant_p