Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -21,13 +21,11 @@
#
# uts/intel/usbms/Makefile
# Copyright 2008 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
-#
-# This makefile drives the production of the usbms driver kernel module.
-#
+# Copyright (c) 2018, Joyent, Inc.
#
# Path to the base of the uts directory tree (usually /usr/src/uts).
#
UTSBASE = ../..
@@ -71,10 +69,13 @@
LINTTAGS += -erroff=E_BAD_PTR_CAST_ALIGN
CERRWARN += -_gcc=-Wno-parentheses
CERRWARN += -_gcc=-Wno-uninitialized
+# needs work
+SMOFF += deref_check
+
#
# Default build targets.
#
.KEEP_STATE: