Print this page
10077 usr/src/uts/ Makefile changes for smatch
*** 20,34 ****
#
#
# Copyright 2009 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
#
- # This makefile drives the production of the mac driver
- # kernel module.
- #
- #
# Path to the base of the uts directory tree (usually /usr/src/uts).
#
UTSBASE = ../..
#
--- 20,32 ----
#
#
# Copyright 2009 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 = ../..
#
*** 65,74 ****
--- 63,79 ----
CERRWARN += -_gcc=-Wno-uninitialized
CERRWARN += -_gcc=-Wno-type-limits
CERRWARN += -_gcc=-Wno-switch
CERRWARN += -_gcc=-Wno-unused-variable
+ # needs work
+ SMOFF += all_func_returns
+ $(OBJS_DIR)/mac.o := SMOFF += deref_check
+ $(OBJS_DIR)/mac_util.o := SMOFF += signed
+
+ # false positive
+ $(OBJS_DIR)/mac_sched.o := SMOFF += assign_vs_compare
#
# Default build targets.
#
.KEEP_STATE: