11506 smatch resync

*** 331,340 ****
--- 331,342 ----
  
  void register_strlen(int id)
  {
          my_strlen_id = id;
  
+         set_dynamic_states(my_strlen_id);
+ 
          add_unmatched_state_hook(my_strlen_id, &unmatched_strlen_state);
  
          select_caller_info_hook(set_param_strlen, STR_LEN);
          add_hook(&match_string_assignment, ASSIGNMENT_HOOK);
  
*** 352,360 ****
--- 354,363 ----
  }
  
  void register_strlen_equiv(int id)
  {
          my_equiv_id = id;
+         set_dynamic_states(my_equiv_id);
          add_function_assign_hook("strlen", &match_strlen, NULL);
          add_modification_hook(my_equiv_id, &set_strlen_equiv_undefined);
  }