11972 resync smatch

*** 5,17 ****
  
  /*
   * check-name: choose expr builtin
   * check-error-start
  choose_expr.c:1:51: warning: incorrect type in initializer (different base types)
! choose_expr.c:1:51:    expected int static [signed] [toplevel] x
! choose_expr.c:1:51:    got void <noident>
  choose_expr.c:2:41: warning: incorrect type in initializer (different base types)
! choose_expr.c:2:41:    expected int static [signed] [toplevel] y
! choose_expr.c:2:41:    got char *<noident>
  choose_expr.c:4:17: warning: division by zero
   * check-error-end
   */
--- 5,17 ----
  
  /*
   * check-name: choose expr builtin
   * check-error-start
  choose_expr.c:1:51: warning: incorrect type in initializer (different base types)
! choose_expr.c:1:51:    expected int static [toplevel] x
! choose_expr.c:1:51:    got void
  choose_expr.c:2:41: warning: incorrect type in initializer (different base types)
! choose_expr.c:2:41:    expected int static [toplevel] y
! choose_expr.c:2:41:    got char *
  choose_expr.c:4:17: warning: division by zero
   * check-error-end
   */