Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -22,10 +22,11 @@
# uts/intel/vuid2ps2/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 vuid2ps2 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