Print this page
10077 usr/src/uts/ Makefile changes for smatch
*** 21,36 ****
#
# Copyright 2008 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
! #
! # This makefile drives the production of the wc driver
! # kernel module.
! #
! # intel implementation architecture independent
! #
#
# Path to the base of the uts directory tree (usually /usr/src/uts).
#
UTSBASE = ../..
--- 21,31 ----
#
# Copyright 2008 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
! # Copyright (c) 2018, Joyent, Inc.
#
# Path to the base of the uts directory tree (usually /usr/src/uts).
#
UTSBASE = ../..
*** 61,70 ****
--- 56,68 ----
#
LDFLAGS += -dy -Nmisc/tem -Ndacf/consconfig_dacf
CERRWARN += -_gcc=-Wno-uninitialized
+ # needs work
+ SMOFF += deref_check
+
#
# Default build targets.
#
.KEEP_STATE: