Print this page
10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>
@@ -14,11 +14,11 @@
#
# 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
+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