11506 smatch resync

*** 15,22 ****
   *
   * check-output-start
  sm_bitwise1.c:6 test() implied: x & 1 = '0-1'
  sm_bitwise1.c:7 test() implied: x & 2 = '0,2'
  sm_bitwise1.c:8 test() implied: x & ~(255) = '0,256-4294967040'
! sm_bitwise1.c:9 test() implied: x & ~(255) = '0-4294967040'
   * check-output-end
   */
--- 15,22 ----
   *
   * check-output-start
  sm_bitwise1.c:6 test() implied: x & 1 = '0-1'
  sm_bitwise1.c:7 test() implied: x & 2 = '0,2'
  sm_bitwise1.c:8 test() implied: x & ~(255) = '0,256-4294967040'
! sm_bitwise1.c:9 test() implied: x & ~(255) = '0,256-4294967040'
   * check-output-end
   */