| Makefile.smatch (efe51d0cc2398b9ac179568b63a44e4bf295b8e2) | Makefile.smatch (44bf619d328827ce5eca6833fcd5c69f1592e578) |
|---|---|
| 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# 11# Copyright 2019 Joyent, Inc. 12# 13 14# 15# smatch/sparse checks we always disable, due to too many false positives (or 16# simply too much legacy). 17# 18 | 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# 11# Copyright 2019 Joyent, Inc. 12# 13 14# 15# smatch/sparse checks we always disable, due to too many false positives (or 16# simply too much legacy). 17# 18 |
| 19SMATCH_ARGS = --disable=uninitialized,check_check_deref,unreachable | 19SMATCH_ARGS = --disable=uninitialized,check_check_deref |
| 20 21# VLAs are OK by us 22SMATCH_ARGS += -Wno-vla 23# don't care 24SMATCH_ARGS += -Wno-one-bit-signed-bitfield 25# there are lots of "extern void myfunc() { ... }" around 26SMATCH_ARGS += -Wno-external-function-has-definition 27# we have lots of legacy "void foo();" in headers --- 14 unchanged lines hidden --- | 20 21# VLAs are OK by us 22SMATCH_ARGS += -Wno-vla 23# don't care 24SMATCH_ARGS += -Wno-one-bit-signed-bitfield 25# there are lots of "extern void myfunc() { ... }" around 26SMATCH_ARGS += -Wno-external-function-has-definition 27# we have lots of legacy "void foo();" in headers --- 14 unchanged lines hidden --- |