11506 smatch resync

@@ -11,26 +11,26 @@
 # Copyright (c) 2019, Joyent, Inc.
 #
 
 #
 # The src/ sub-directory is un-modified copy of
-# https://github.com/illumos/smatch/tree/0.5.1-il-3
+# 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-3
+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
 sparc_CC = $(GNUC_ROOT)/bin/gcc
 
-CFLAGS = -O -D__sun -Wall -Wno-unknown-pragmas -std=gnu99 -nodefaultlibs
+CFLAGS = -O -m64 -msave-args -D__sun -Wall -Wno-unknown-pragmas -std=gnu99 -nodefaultlibs
 
 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
 
 CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
 CFLAGS += -DGCC_BASE='"/no/such/dir"'

@@ -75,11 +75,11 @@
         smatch_constraints.o smatch_constraints_required.o \
         smatch_fn_arg_link.o smatch_about_fn_ptr_arg.o smatch_mtag.o \
         smatch_mtag_map.o smatch_mtag_data.o \
         smatch_param_to_mtag_data.o smatch_mem_tracker.o smatch_array_values.o \
         smatch_nul_terminator.o smatch_assigned_expr.o smatch_kernel_user_data.o \
-        smatch_statement_count.o
+        smatch_statement_count.o smatch_bits.o smatch_integer_overflow.o
 
 OBJS += target.o parse.o tokenize.o pre-process.o symbol.o lib.o scope.o \
         expression.o show-parse.o evaluate.o expand.o inline.o linearize.o \
         char.o sort.o allocate.o compat-linux.o ptrlist.o \
         builtin.o \