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: