10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>

*** 14,24 ****
  #
  # smatch/sparse checks we always disable, due to too many false positives (or
  # simply too much legacy).
  #
  
! SMATCH_ARGS = --disable=uninitialized,check_check_deref,unreachable
  
  # VLAs are OK by us
  SMATCH_ARGS += -Wno-vla
  # don't care
  SMATCH_ARGS += -Wno-one-bit-signed-bitfield
--- 14,24 ----
  #
  # smatch/sparse checks we always disable, due to too many false positives (or
  # simply too much legacy).
  #
  
! SMATCH_ARGS = --disable=uninitialized,check_check_deref
  
  # VLAs are OK by us
  SMATCH_ARGS += -Wno-vla
  # don't care
  SMATCH_ARGS += -Wno-one-bit-signed-bitfield