John Levon | 1f5207b | 2018-12-15 15:13:09 +0000 | [diff] [blame] | 1 | # |
| 2 | # This file and its contents are supplied under the terms of the |
| 3 | # Common Development and Distribution License ("CDDL"), version 1.0. |
| 4 | # You may only use this file in accordance with the terms of version |
| 5 | # 1.0 of the CDDL. |
| 6 | # |
| 7 | # A full copy of the text of the CDDL should have accompanied this |
| 8 | # source. A copy of the CDDL is also available via the Internet at |
| 9 | # http://www.illumos.org/license/CDDL. |
| 10 | # |
John Levon | 7ae7577 | 2019-07-10 08:36:07 -0700 | [diff] [blame] | 11 | # Copyright 2019 Joyent, Inc. |
John Levon | 1f5207b | 2018-12-15 15:13:09 +0000 | [diff] [blame] | 12 | # |
| 13 | |
| 14 | # |
| 15 | # smatch/sparse checks we always disable, due to too many false positives (or |
| 16 | # simply too much legacy). |
| 17 | # |
| 18 | |
John Levon | 44bf619 | 2019-08-15 02:34:17 -0700 | [diff] [blame] | 19 | SMATCH_ARGS = --disable=uninitialized,check_check_deref |
John Levon | 1f5207b | 2018-12-15 15:13:09 +0000 | [diff] [blame] | 20 | |
| 21 | # VLAs are OK by us |
| 22 | SMATCH_ARGS += -Wno-vla |
| 23 | # don't care |
| 24 | SMATCH_ARGS += -Wno-one-bit-signed-bitfield |
| 25 | # there are lots of "extern void myfunc() { ... }" around |
| 26 | SMATCH_ARGS += -Wno-external-function-has-definition |
| 27 | # we have lots of legacy "void foo();" in headers |
| 28 | SMATCH_ARGS += -Wno-old-style-definition |
| 29 | SMATCH_ARGS += -Wno-strict-prototypes |
John Levon | 7ae7577 | 2019-07-10 08:36:07 -0700 | [diff] [blame] | 30 | SMATCH_ARGS += --fatal-checks |
John Levon | efe51d0 | 2019-07-24 13:20:02 -0700 | [diff] [blame] | 31 | SMATCH_ARGS += --timeout=0 |
John Levon | 1f5207b | 2018-12-15 15:13:09 +0000 | [diff] [blame] | 32 | |
| 33 | CERRWARN += $(SMATCH_ARGS:%=-_smatch=%) |
| 34 | |
| 35 | CERRWARN += $(SMOFF:%=-_smatch=--disable=%) |
| 36 | |
| 37 | SMATCH_ = |
| 38 | SMATCH_on = |
| 39 | SMATCH_off = -_smatch=off |
| 40 | |
| 41 | CERRWARN += $(SMATCH_$(SMATCH)) |