11506 smatch resync

@@ -94,5 +94,6 @@
 
 /* add stuff smatch_returns.c here */
 
 void all_return_states_hook(void (*callback)(void));
 
+void allocate_dynamic_states_array(int num_checks);