Print this page
10077 usr/src/uts/ Makefile changes for smatch
*** 20,29 ****
--- 20,30 ----
#
#
# Copyright 2006 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
+ # Copyright (c) 2018, Joyent, Inc.
#
# This makefile drives the production of the bofi driver
# kernel module.
#
*** 68,77 ****
--- 69,81 ----
CPPFLAGS += -I../../sun4
CERRWARN += -_gcc=-Wno-uninitialized
+ # needs work
+ $(OBJS_DIR)/bofi.o := SMOFF += signed_integer_overflow_check,deref_check
+
#
# For now, disable these lint checks; maintainers should endeavor
# to investigate and remove these for maximum lint coverage.
# Please do not carry these forward to new Makefiles.
#