summaryrefslogtreecommitdiff
path: root/usr/src/Makefile.smatch
blob: 19cbadf1842190c9bebd5e5dc149b1d0291c242b (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
40
41
#
# 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 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

# 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
SMATCH_ARGS += --fatal-checks
SMATCH_ARGS += --timeout=0

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

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

SMATCH_ =
SMATCH_on =
SMATCH_off = -_smatch=off

CERRWARN += $(SMATCH_$(SMATCH))