10077 usr/src/uts/ Makefile changes for smatch
@@ -22,10 +22,11 @@ # uts/intel/vuidm5p/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 vuidm5p streams kernel # module. #
@@ -59,10 +60,13 @@ ALL_DEFS += -DVUIDM5P CERRWARN += -_gcc=-Wno-uninitialized +# needs work +SMOFF += deref_check + # # Default build targets. # .KEEP_STATE: