Print this page
10077 usr/src/uts/ Makefile changes for smatch
*** 22,31 ****
--- 22,32 ----
# uts/intel/llc1/Makefile
#
# 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 Sound-Blaster driver
# kernel module.
#
*** 66,75 ****
--- 67,79 ----
LINTTAGS += -erroff=E_BAD_PTR_CAST_ALIGN
LINTTAGS += -erroff=E_PTRDIFF_OVERFLOW
CERRWARN += -_gcc=-Wno-uninitialized
+ # needs work
+ $(OBJS_DIR)/llc1.o := SMOFF += no_if_block,deref_check
+
#
# Default build targets.
#
.KEEP_STATE: