10077 usr/src/uts/ Makefile changes for smatch

@@ -20,10 +20,11 @@
 #
 #
 # Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
+# Copyright (c) 2018, Joyent, Inc.
 
 #
 #       This makefile drives the production of the bofi driver 
 #       kernel module.
 #

@@ -68,10 +69,13 @@
 
 CPPFLAGS        += -I../../sun4
 
 CERRWARN        += -_gcc=-Wno-uninitialized
 
+# needs work
+$(OBJS_DIR)/bofi.o := SMOFF += signed_integer_overflow_check,deref_check
+
 #
 # For now, disable these lint checks; maintainers should endeavor
 # to investigate and remove these for maximum lint coverage.
 # Please do not carry these forward to new Makefiles.
 #