Print this page
11506 smatch resync

@@ -156,10 +156,13 @@
                         continue;
                 old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym);
                 if (old && rl_equiv(estate_rl(old), estate_rl(state)))
                         continue;
 
+                if (is_ignored_kernel_data(param_name))
+                        continue;
+
                 rl = generify_mtag_range(state);
                 sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT,
                                          param, param_name, show_rl(rl));
         } END_FOR_EACH_SM(tmp);
 }

@@ -191,10 +194,11 @@
 
 void register_param_limit(int id)
 {
         my_id = id;
 
+        set_dynamic_states(my_id);
         add_hook(&save_start_states, AFTER_DEF_HOOK);
         add_hook(&free_start_states, AFTER_FUNC_HOOK);
 
         add_extra_mod_hook(&extra_mod_hook);
         add_unmatched_state_hook(my_id, &unmatched_state);