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

*** 20,29 ****
--- 20,30 ----
  #
  #
  # Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
  # Use is subject to license terms.
  #
+ # Copyright (c) 2018, Joyent, Inc.
  
  SHELL=/usr/bin/ksh93
  
  LIBRARY=        libpp.a
  VERS=           .1
*** 102,111 ****
--- 103,115 ----
  CERRWARN        += -_gcc=-Wno-uninitialized
  CERRWARN        += -_gcc=-Wno-char-subscripts
  CERRWARN        += -_gcc=-Wno-empty-body
  CERRWARN        += -_gcc=-Wno-unused-value
  
+ # "pplex() parse error: turning off implications after 60 seconds"
+ SMATCH          = off
+ 
  pics/ppcall.o           := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED
  pics/ppcontrol.o        := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED
  pics/ppcpp.o            := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED
  pics/ppexpr.o           := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED
  pics/pplex.o            := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED