new smatch

*** 19,29 ****
          [1 ? 0 : __builtin_choose_expr(0, 0., 0)] = 0,          // OK
          [1 ? 0 : __builtin_choose_expr(0, 0, 0.)] = 0,          // KO
  };
  
  /*
!  * check-name: Expression constness propagation in conditional expressions
   *
   * check-error-start
  constexpr-conditional.c:12:13: error: bad constant expression
  constexpr-conditional.c:13:19: error: bad constant expression
  constexpr-conditional.c:14:12: error: bad constant expression
--- 19,29 ----
          [1 ? 0 : __builtin_choose_expr(0, 0., 0)] = 0,          // OK
          [1 ? 0 : __builtin_choose_expr(0, 0, 0.)] = 0,          // KO
  };
  
  /*
!  * check-name: constexprness in conditionals
   *
   * check-error-start
  constexpr-conditional.c:12:13: error: bad constant expression
  constexpr-conditional.c:13:19: error: bad constant expression
  constexpr-conditional.c:14:12: error: bad constant expression