Print this page
10079 smatch Makefile changes for usr/src/lib

@@ -20,11 +20,11 @@
 #
 #
 # Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
-# Copyright (c) 2012, Joyent, Inc.  All rights reserved.
+# Copyright (c) 2018, Joyent, Inc.
 #
 
 #
 # The build process for libumem is sightly different from that used by other
 # libraries, because libumem must be built in two flavors - as a standalone

@@ -128,10 +128,12 @@
 ASFLAGS += -P $(ASFLAGS_$(CURTYPE)) -D_ASM
 
 CERRWARN += -_gcc=-Wno-switch
 CERRWARN += -_gcc=-Wno-uninitialized
 
+SMOFF += deref_check
+
 $(LINTLIB) := SRCS = ../common/$(LINTSRC)
 
 # We want the thread-specific errno in the library, but we don't want it in
 # the standalone.  $(DTS_ERRNO) is designed to add -D_TS_ERRNO to $(CPPFLAGS),
 # in order to enable this feature.  Conveniently, -D_REENTRANT does the same