10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions

*** 23,32 ****
--- 23,33 ----
  # Copyright (c) 1991, 2010, Oracle and/or its affiliates. All rights reserved.
  # Copyright (c) 2011 Bayard G. Bell. All rights reserved.
  # Copyright (c) 2011 by Delphix. All rights reserved.
  # Copyright (c) 2013 Andrew Stormont.  All rights reserved.
  # Copyright 2016 Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org>
+ # Copyright (c) 2018, Joyent, Inc.
  #
  
  #
  #       This Makefile contains the common targets and definitions for
  #       all kernels. It is to be included in the Makefiles for specific
*** 224,233 ****
--- 225,243 ----
  # DEBUG v. -nd make for frequent unused variables, empty conditions, etc. in
  # -nd builds
  $(RELEASE_BUILD)CERRWARN += -_gcc=-Wno-unused
  $(RELEASE_BUILD)CERRWARN += -_gcc=-Wno-empty-body
  
+ CERRWARN += -_smatch=-p=illumos_kernel
+ include $(SRC)/Makefile.smatch
+ 
+ #
+ # Unfortunately, _IOWR() is regularly used with a third argument of 0,
+ # so we have to disable all these smatch checks.
+ #
+ SMOFF += sizeof
+ 
  CSTD = $(CSTD_GNU99)
  
  CFLAGS_uts              =
  CFLAGS_uts              += $(STAND_FLAGS_$(CLASS))
  CFLAGS_uts              += $(CCVERBOSE)