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);