diff options
| author | John Levon <john.levon@joyent.com> | 2019-08-15 02:34:17 -0700 |
|---|---|---|
| committer | John Levon <john.levon@joyent.com> | 2019-08-21 00:48:36 -0700 |
| commit | 44bf619d328827ce5eca6833fcd5c69f1592e578 (patch) | |
| tree | 9ad4659713906427323f35a72759a16fbc94762d /usr/src/Makefile.smatch | |
| parent | a99cb9618990662acbd3bab1b4a5b05a6ca62556 (diff) | |
| download | illumos-joyent-44bf619d328827ce5eca6833fcd5c69f1592e578.tar.gz | |
10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>
Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'usr/src/Makefile.smatch')
| -rw-r--r-- | usr/src/Makefile.smatch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr/src/Makefile.smatch b/usr/src/Makefile.smatch index 4f20c0497b..19cbadf184 100644 --- a/usr/src/Makefile.smatch +++ b/usr/src/Makefile.smatch @@ -16,7 +16,7 @@ # simply too much legacy). # -SMATCH_ARGS = --disable=uninitialized,check_check_deref,unreachable +SMATCH_ARGS = --disable=uninitialized,check_check_deref # VLAs are OK by us SMATCH_ARGS += -Wno-vla |