11506 smatch resync

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