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

*** 11,28 ****
  # 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
  #
  # This Makefile installs just enough for us to be able to run smatch
  # locally.
  #
  
  PROG = smatch
! SPARSE_VERSION = 0.5.1-il-4
  
  include ../Makefile.tools
  
  # We have to build smatch before we can use cw
  i386_CC = $(GNUC_ROOT)/bin/gcc
--- 11,28 ----
  # Copyright (c) 2019, Joyent, Inc.
  #
  
  #
  # The src/ sub-directory is un-modified copy of
! # 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-5
  
  include ../Makefile.tools
  
  # We have to build smatch before we can use cw
  i386_CC = $(GNUC_ROOT)/bin/gcc
*** 90,102 ****
          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 \
--- 90,100 ----