summaryrefslogtreecommitdiff
path: root/usr/src/Makefile.smatch
blob: 028bbf915336691ee9df567ed78779bafd969cde (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#
# This file and its contents are supplied under the terms of the
# Common Development and Distribution License ("CDDL"), version 1.0.
# You may only use this file in accordance with the terms of version
# 1.0 of the CDDL.
#
# A full copy of the text of the CDDL should have accompanied this
# source.  A copy of the CDDL is also available via the Internet at
# http://www.illumos.org/license/CDDL.
#
# Copyright (c) 2019, Joyent, Inc.
#

#
# smatch/sparse checks we always disable, due to too many false positives (or
# simply too much legacy).
#

SMATCH_ARGS = --disable=uninitialized,check_check_deref,unreachable

# VLAs are OK by us
SMATCH_ARGS += -Wno-vla
# don't care
SMATCH_ARGS += -Wno-one-bit-signed-bitfield
# there are lots of "extern void myfunc() { ... }" around
SMATCH_ARGS += -Wno-external-function-has-definition
# we have lots of legacy "void foo();" in headers
SMATCH_ARGS += -Wno-old-style-definition
SMATCH_ARGS += -Wno-strict-prototypes

CERRWARN += $(SMATCH_ARGS:%=-_smatch=%)

CERRWARN += $(SMOFF:%=-_smatch=--disable=%)

SMATCH_ =
SMATCH_on =
SMATCH_off = -_smatch=off

CERRWARN += $(SMATCH_$(SMATCH))