12257 resync smatch to 0.6.1-rc1-il-4

*** 70,79 ****
--- 70,80 ----
  CK(register_param_to_mtag_data)
  CK(register_array_values)
  CK(register_nul_terminator)
  CK(register_nul_terminator_param_set)
  CK(register_statement_count)
+ CK(register_fresh_alloc)
  
  CK(register_kernel_user_data)
  CK(register_kernel_user_data2)
  
  CK(check_debug)