11506 smatch resync

*** 23,31 ****
   * check-name: smatch select #5
   * check-command: smatch -I.. sm_select5.c
   *
   * check-output-start
  sm_select5.c:15 test() implied: ret = '(-12)'
! sm_select5.c:16 test() implied: a = 's32min-s32max'
  sm_select5.c:18 test() implied: a = '0-3'
   * check-output-end
   */
--- 23,31 ----
   * check-name: smatch select #5
   * check-command: smatch -I.. sm_select5.c
   *
   * check-output-start
  sm_select5.c:15 test() implied: ret = '(-12)'
! sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
  sm_select5.c:18 test() implied: a = '0-3'
   * check-output-end
   */