diff options
author | John Levon <john.levon@joyent.com> | 2018-12-16 23:29:00 +0000 |
---|---|---|
committer | Hans Rosenfeld <hans.rosenfeld@joyent.com> | 2019-01-09 11:47:40 +0100 |
commit | b6b206fc7fb36f7b13b01acf70ed6e676e405998 (patch) | |
tree | ee571acfcabf0de526b8abb772596982aab98313 /usr/src/uts/intel/ip | |
parent | dc5e7685b131559c0b7c622baee25a9a0ae50ada (diff) | |
download | illumos-joyent-b6b206fc7fb36f7b13b01acf70ed6e676e405998.tar.gz |
10077 usr/src/uts/ Makefile changes for smatch
Reviewed by: Andy Fiddaman <andy@omniosce.org>
Reviewed by: Jason King <jason.brian.king@gmail.com>
Approved by: Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org>
Diffstat (limited to 'usr/src/uts/intel/ip')
-rw-r--r-- | usr/src/uts/intel/ip/Makefile | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/usr/src/uts/intel/ip/Makefile b/usr/src/uts/intel/ip/Makefile index c0acd57445..db2647e0a3 100644 --- a/usr/src/uts/intel/ip/Makefile +++ b/usr/src/uts/intel/ip/Makefile @@ -22,8 +22,9 @@ # 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 ip driver +# This makefile drives the production of the ip driver # kernel module. # # intel implementation architecture dependent @@ -68,6 +69,19 @@ CERRWARN += -_gcc=-Wno-switch CERRWARN += -_gcc=-Wno-uninitialized CERRWARN += -_gcc=-Wno-type-limits +# false positives +SMOFF += index_overflow + +# need work still +$(OBJS_DIR)/igmp.o := SMOFF += shift_to_zero +$(OBJS_DIR)/tnet.o := SMOFF += shift_to_zero +SMOFF += signed,all_func_returns +SMOFF += signed_integer_overflow_check + +# definitely wrong +$(OBJS_DIR)/ip_input.o := SMOFF += or_vs_and +$(OBJS_DIR)/ip6_input.o := SMOFF += or_vs_and + # # To get the BPF header files included by ipnet.h # @@ -78,7 +92,7 @@ INC_PATH += -I$(UTSBASE)/common/io/bpf # swrand as it needs random numbers early on during boot before # kCF subsystem can load swrand. # -LDFLAGS += -dy -Nmisc/md5 -Ncrypto/swrand -Nmisc/hook -Nmisc/neti +LDFLAGS += -dy -Nmisc/md5 -Ncrypto/swrand -Nmisc/hook -Nmisc/neti # # For now, disable these lint checks; maintainers should endeavor |