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

@@ -20,10 +20,11 @@
 #
 #
 # 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 urtw driver kernel module.
 #
 # i86pc architecture dependent

@@ -62,10 +63,13 @@
 CERRWARN        += -_gcc=-Wno-parentheses
 CERRWARN        += -_gcc=-Wno-switch
 CERRWARN        += -_gcc=-Wno-char-subscripts
 CERRWARN        += -_gcc=-Wno-uninitialized
 
+# needs work
+SMOFF += deref_check,no_if_block,all_func_returns
+
 #
 #       Default build targets.
 #
 .KEEP_STATE: