11506 smatch resync

@@ -1,6 +1,6 @@
-VERSION=0.5.1
+VERSION=0.5.1-il-4
 
 # Generating file version.h if current version has changed
 SPARSE_VERSION:=$(shell git describe 2>/dev/null || echo '$(VERSION)')
 VERSION_H := $(shell cat version.h 2>/dev/null)
 ifneq ($(lastword $(VERSION_H)),"$(SPARSE_VERSION)")

@@ -88,11 +88,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_integer_overflow.o smatch_bits.o
 
 SMATCH_CHECKS=$(shell ls check_*.c | sed -e 's/\.c/.o/')
 SMATCH_DATA=smatch_data/kernel.allocation_funcs \
         smatch_data/kernel.frees_argument smatch_data/kernel.puts_argument \
         smatch_data/kernel.dev_queue_xmit smatch_data/kernel.returns_err_ptr \