12257 resync smatch to 0.6.1-rc1-il-4

*** 1,6 ****
! VERSION=0.6.1-rc1-il-3
  
  ########################################################################
  # The following variables can be overwritten from the command line
  OS = linux
  
--- 1,6 ----
! VERSION=0.6.1-rc1-il-4
  
  ########################################################################
  # The following variables can be overwritten from the command line
  OS = linux
  
*** 224,233 ****
--- 224,234 ----
  SMATCH_OBJS += smatch_expression_stacks.o
  SMATCH_OBJS += smatch_extra.o
  SMATCH_OBJS += smatch_files.o
  SMATCH_OBJS += smatch_flow.o
  SMATCH_OBJS += smatch_fn_arg_link.o
+ SMATCH_OBJS += smatch_fresh_alloc.o
  SMATCH_OBJS += smatch_function_hooks.o
  SMATCH_OBJS += smatch_function_info.o
  SMATCH_OBJS += smatch_function_ptrs.o
  SMATCH_OBJS += smatch_helper.o
  SMATCH_OBJS += smatch_hooks.o