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. #