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: