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

@@ -21,16 +21,11 @@
 # uts/intel/fctl/Makefile
 #
 # Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
-# ident "@(#)Makefile 1.10      08/07/25 SMI"
-#
-# This makefile drives the production of fctl driver kernel module.
-#
-# i86pc architecture dependent
-#
+# Copyright (c) 2018, Joyent, Inc.
 
 #
 #       Path to the base of the uts directory tree (usually /usr/src/uts).
 #
 UTSBASE = ../..

@@ -68,10 +63,13 @@
 LINTTAGS        += -erroff=E_BAD_PTR_CAST_ALIGN
 LINTTAGS        += -erroff=E_SUSPICIOUS_COMPARISON
 
 CERRWARN        += -_gcc=-Wno-uninitialized
 
+# needs work
+$(OBJS_DIR)/fctl.o := SMOFF += all_func_returns,deref_check
+
 #
 #       Default build targets.
 #
 .KEEP_STATE: