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

@@ -20,10 +20,11 @@
 #
 #
 # 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,10 +103,13 @@
 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