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

@@ -20,15 +20,13 @@
 #
 #
 # Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
+# Copyright (c) 2018, Joyent, Inc.
+
 #
-#       This makefile drives the production of the mac driver 
-#       kernel module.
-#
-#
 #       Path to the base of the uts directory tree (usually /usr/src/uts).
 #
 UTSBASE = ../..
 
 #

@@ -65,10 +63,17 @@
 CERRWARN        += -_gcc=-Wno-uninitialized
 CERRWARN        += -_gcc=-Wno-type-limits
 CERRWARN        += -_gcc=-Wno-switch
 CERRWARN        += -_gcc=-Wno-unused-variable
 
+# needs work
+SMOFF += all_func_returns
+$(OBJS_DIR)/mac.o := SMOFF += deref_check
+$(OBJS_DIR)/mac_util.o := SMOFF += signed
+
+# false positive
+$(OBJS_DIR)/mac_sched.o := SMOFF += assign_vs_compare
 #
 #       Default build targets.
 #
 .KEEP_STATE: