xref: /illumos-gate/usr/src/tools/smatch/src/validation/cond-err-expand.c (revision cadd68ea0014761eda6a293664086dfa80686d85)
1 static inline void f(void)
2 {
3 	__builtin_constant_p(0);
4 }
5 
6 void foo(void)
7 {
8 	0 ? 0 : f();
9 }
10 
11 void bar(void)
12 {
13 	1 ? f() : 0;
14 }
15 
16 /*
17  * check-name: cond-err-expand.c
18  * check-command: test-linearize -Wno-decl $file
19  *
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)
23  * check-error-end
24  *
25  * check-output-ignore
26  * check-excludes: call.* __builtin_constant_p
27  */
28