Print this page
new smatch
   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  */
   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: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
  28  *
  29  * check-output-ignore
  30  * check-output-excludes: call.* __builtin_constant_p
  31  */