12257 resync smatch to 0.6.1-rc1-il-4

@@ -70,10 +70,11 @@
 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)