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