Print this page
11506 smatch resync
*** 9,18 ****
--- 9,19 ----
# http://www.illumos.org/license/CDDL.
#
#
# Copyright 2016 Toomas Soome <tsoome@me.com>
+ # Copyright 2019 Joyent, Inc.
#
include $(SRC)/Makefile.master
include $(SRC)/boot/sys/boot/Makefile.inc
*** 25,34 ****
--- 26,44 ----
include $(SASRC)/Makefile.inc
include $(ZFSSRC)/Makefile.inc
CPPFLAGS += -I$(SRC)/uts/common
+ # needs work
+ printf.o := SMOFF += 64bit_shift
+
+ # too hairy
+ _inflate.o := SMATCH=off
+
+ # 64-bit smatch false positive :/
+ SMOFF += uninitialized
+
clean: clobber
clobber:
$(RM) $(CLEANFILES) $(OBJS) machine $(LIBRARY)
machine: