Print this page
10077 usr/src/uts/ Makefile changes for smatch

@@ -22,10 +22,11 @@
 # uts/intel/vuid3ps2/Makefile
 #
 # Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
+# Copyright (c) 2018, Joyent, Inc.
 
 #
 #       This makefile drives the production of the vuid3ps2 streams kernel
 #       module.
 #

@@ -51,10 +52,13 @@
 include $(UTSBASE)/intel/Makefile.intel
 
 CERRWARN        += -_gcc=-Wno-uninitialized
 CERRWARN        += -_gcc=-Wno-parentheses
 
+# needs work
+SMOFF += deref_check
+
 #
 #       Define targets
 #
 ALL_TARGET      = $(BINARY)
 LINT_TARGET     = $(MODULE).lint