11506 smatch resync

*** 26,36 ****
  SMATCH_ARGS += -Wno-external-function-has-definition
  # we have lots of legacy "void foo();" in headers
  SMATCH_ARGS += -Wno-old-style-definition
  SMATCH_ARGS += -Wno-strict-prototypes
  SMATCH_ARGS += --fatal-checks
! SMATCH_ARGS += --timeout=120
  
  CERRWARN += $(SMATCH_ARGS:%=-_smatch=%)
  
  CERRWARN += $(SMOFF:%=-_smatch=--disable=%)
  
--- 26,36 ----
  SMATCH_ARGS += -Wno-external-function-has-definition
  # we have lots of legacy "void foo();" in headers
  SMATCH_ARGS += -Wno-old-style-definition
  SMATCH_ARGS += -Wno-strict-prototypes
  SMATCH_ARGS += --fatal-checks
! SMATCH_ARGS += --timeout=0
  
  CERRWARN += $(SMATCH_ARGS:%=-_smatch=%)
  
  CERRWARN += $(SMOFF:%=-_smatch=--disable=%)