10077 usr/src/uts/ Makefile changes for smatch
@@ -22,10 +22,11 @@ # uts/intel/vuidm3p/Makefile # # Copyright 2008 Sun Microsystems, Inc. All rights reserved. # Use is subject to license terms. # +# Copyright (c) 2018, Joyent, Inc. # # This makefile drives the production of the vuidm3p streams kernel # module. #
@@ -62,10 +63,13 @@ # ALL_DEFS += -DVUIDM3P CERRWARN += -_gcc=-Wno-uninitialized +# needs work +SMOFF += deref_check + # # Default build targets. # .KEEP_STATE: