Print this page
10077 usr/src/uts/ Makefile changes for smatch

*** 21,30 **** --- 21,31 ---- # # Copyright 2009 Sun Microsystems, Inc. All rights reserved. # Use is subject to license terms. # + # Copyright (c) 2018, Joyent, Inc. # # This makefile drives the production of the generic # unix kernel module. #
*** 108,117 **** --- 109,136 ---- CERRWARN += -_gcc=-Wno-type-limits CERRWARN += -_gcc=-Wno-uninitialized CERRWARN += -_gcc=-Wno-clobbered CERRWARN += -_gcc=-Wno-empty-body + # false positives + SMOFF += index_overflow + $(OBJS_DIR)/seg_vn.o := SMOFF += deref_check + $(OBJS_DIR)/ddi_intr_irm.o := SMOFF += deref_check + + # need work still + SMOFF += signed,indenting,all_func_returns + $(OBJS_DIR)/clock_highres.o := SMOFF += signed_integer_overflow_check + $(OBJS_DIR)/evchannels.o := SMOFF += allocating_enough_data + $(OBJS_DIR)/klpd.o := SMOFF += cast_assign + $(OBJS_DIR)/lookup.o := SMOFF += strcpy_overflow + $(OBJS_DIR)/process.o := SMOFF += or_vs_and + $(OBJS_DIR)/sunpci.o := SMOFF += deref_check + $(OBJS_DIR)/timers.o := SMOFF += signed_integer_overflow_check + + # definitely wrong + $(OBJS_DIR)/acl_common.o := SMOFF += or_vs_and + # # Ensure that lint sees 'struct cpu' containing a fully declared # embedded 'struct machcpu' # LINTFLAGS += -D_MACHDEP -I../../i86pc