11972 resync smatch

*** 17,27 ****
          [0 && __builtin_choose_expr(0, 0, 0.)] = 0,             // KO
          [0 + __builtin_types_compatible_p(int, float)] = 0,     // OK
  };
  
  /*
!  * check-name: Expression constness propagation in binops and alike
   *
   * check-error-start
  constexpr-binop.c:3:12: error: bad constant expression
  constexpr-binop.c:4:19: error: bad integer constant expression
  constexpr-binop.c:7:12: error: bad constant expression
--- 17,27 ----
          [0 && __builtin_choose_expr(0, 0, 0.)] = 0,             // KO
          [0 + __builtin_types_compatible_p(int, float)] = 0,     // OK
  };
  
  /*
!  * check-name: constexprness in binops and alike
   *
   * check-error-start
  constexpr-binop.c:3:12: error: bad constant expression
  constexpr-binop.c:4:19: error: bad integer constant expression
  constexpr-binop.c:7:12: error: bad constant expression