Print this page
10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions

*** 23,32 **** --- 23,33 ---- # Copyright (c) 1991, 2010, Oracle and/or its affiliates. All rights reserved. # Copyright (c) 2011 Bayard G. Bell. All rights reserved. # Copyright (c) 2011 by Delphix. All rights reserved. # Copyright (c) 2013 Andrew Stormont. All rights reserved. # Copyright 2016 Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org> + # Copyright (c) 2018, Joyent, Inc. # # # This Makefile contains the common targets and definitions for # all kernels. It is to be included in the Makefiles for specific
*** 224,233 **** --- 225,243 ---- # DEBUG v. -nd make for frequent unused variables, empty conditions, etc. in # -nd builds $(RELEASE_BUILD)CERRWARN += -_gcc=-Wno-unused $(RELEASE_BUILD)CERRWARN += -_gcc=-Wno-empty-body + CERRWARN += -_smatch=-p=illumos_kernel + include $(SRC)/Makefile.smatch + + # + # Unfortunately, _IOWR() is regularly used with a third argument of 0, + # so we have to disable all these smatch checks. + # + SMOFF += sizeof + CSTD = $(CSTD_GNU99) CFLAGS_uts = CFLAGS_uts += $(STAND_FLAGS_$(CLASS)) CFLAGS_uts += $(CCVERBOSE)