Print this page
11506 smatch resync
@@ -331,10 +331,12 @@
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,9 +354,10 @@
}
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);
}