Print this page
10077 usr/src/uts/ Makefile changes for smatch
*** 16,34 ****
# fields enclosed by brackets "[]" replaced with your own identifying
# information: Portions Copyright [yyyy] [name of copyright owner]
#
# CDDL HEADER END
#
-
- #
# Copyright 2008 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
! # This makefile drives the production of unix (and unix.o).
! #
! # i86pc implementation architecture dependent
! #
#
# Path to the base of the uts directory tree (usually /usr/src/uts).
#
UTSBASE = ../..
--- 16,29 ----
# fields enclosed by brackets "[]" replaced with your own identifying
# information: Portions Copyright [yyyy] [name of copyright owner]
#
# CDDL HEADER END
#
# 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 = ../..
*** 160,169 ****
--- 155,174 ----
CERRWARN += -_gcc=-Wno-type-limits
CERRWARN += -_gcc=-Wno-clobbered
CERRWARN += -_gcc=-Wno-empty-body
CERRWARN += -_gcc=-Wno-unused-value
+ # false positives
+ SMOFF += index_overflow
+
+ # needs work
+ SMOFF += all_func_returns,deref_check,signed
+
+ $(OBJS_DIR)/fmsmb.o := SMOFF += indenting
+ $(OBJS_DIR)/zutil.o := SMOFF += indenting
+ $(OBJS_DIR)/bootrd_cpio.o := SMOFF += allocating_enough_data
+
# Ensure that lint sees 'struct cpu' containing a fully declared
# embedded 'struct machcpu'
#
LINTFLAGS += -D_MACHDEP -I../../i86pc