Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -21,10 +21,11 @@
#
# uts/intel/ipsecah/Makefile
# Copyright 2007 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
+# Copyright (c) 2018, Joyent, Inc.
#
# This makefile drives the production of the ipsecah driver
# kernel module.
#
@@ -74,10 +75,15 @@
LINTTAGS += -erroff=E_ASSIGN_NARROW_CONV
CERRWARN += -_gcc=-Wno-parentheses
CERRWARN += -_gcc=-Wno-uninitialized
+# needs work
+$(OBJS_DIR)/ipsecahddi.o := SMOFF += index_overflow
+$(OBJS_DIR)/ipsecah.o := SMOFF += deref_check
+$(OBJS_DIR)/sadb.o := SMOFF += signed_integer_overflow_check,deref_check,indenting,shift_to_zero
+
#
# Default build targets.
#
.KEEP_STATE: