10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>

@@ -11,18 +11,18 @@
 # Copyright (c) 2019, Joyent, Inc.
 #
 
 #
 # The src/ sub-directory is un-modified copy of
-# https://github.com/illumos/smatch/tree/0.5.1-il-4
+# https://github.com/illumos/smatch/tree/0.5.1-il-5
 #
 # This Makefile installs just enough for us to be able to run smatch
 # locally.
 #
 
 PROG = smatch
-SPARSE_VERSION = 0.5.1-il-4
+SPARSE_VERSION = 0.5.1-il-5
 
 include ../Makefile.tools
 
 # We have to build smatch before we can use cw
 i386_CC = $(GNUC_ROOT)/bin/gcc

@@ -90,13 +90,11 @@
         flow.o cse.o simplify.o memops.o liveness.o storage.o unssa.o \
         dissect.o \
         macro_table.o token_store.o hashtable.o
 
 SMATCH_DATA = \
-        illumos_kernel.no_return_funcs \
         illumos_kernel.skipped_functions \
-        illumos_user.no_return_funcs \
         illumos_user.skipped_functions
 
 SMATCH_DB_DATA = \
         return_states.schema \
         call_implies.schema \