11506 smatch resync

*** 1,6 ****
! VERSION=0.5.1
  
  # 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)")
--- 1,6 ----
! 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,98 ****
          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_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 \
--- 88,98 ----
          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_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 \