14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
16 */
17
18 #include "smatch.h"
19 #include "smatch_slist.h"
20
21 static int my_id;
22
23 static struct stree *used_stree;
24 static struct stree_stack *saved_stack;
25
26 STATE(used);
27
28 static void get_state_hook(int owner, const char *name, struct symbol *sym)
29 {
30 int arg;
31
32 if (!option_info)
33 return;
34 if (__in_fake_assign)
35 return;
36
37 arg = get_param_num_from_sym(sym);
38 if (arg >= 0)
39 set_state_stree(&used_stree, my_id, name, sym, &used);
40 }
41
42 static void set_param_used(struct expression *call, struct expression *arg, char *key, char *unused)
43 {
44 struct symbol *sym;
45 char *name;
46 int arg_nr;
47
48 name = get_variable_from_key(arg, key, &sym);
49 if (!name || !sym)
50 goto free;
51
52 arg_nr = get_param_num_from_sym(sym);
53 if (arg_nr >= 0)
54 set_state(my_id, name, sym, &used);
55 free:
56 free_string(name);
57 }
58
59 static void process_states(void)
60 {
61 struct sm_state *tmp;
62 int arg;
63 const char *name;
64
65 FOR_EACH_SM(used_stree, tmp) {
66 arg = get_param_num_from_sym(tmp->sym);
67 if (arg < 0)
68 continue;
69 name = get_param_name(tmp);
70 if (!name)
71 continue;
72
73 sql_insert_return_implies(PARAM_USED, arg, name, "");
74 } END_FOR_EACH_SM(tmp);
75
76 free_stree(&used_stree);
77 }
78
79 static void match_function_def(struct symbol *sym)
80 {
81 free_stree(&used_stree);
82 }
83
84 static void match_save_states(struct expression *expr)
85 {
86 push_stree(&saved_stack, used_stree);
87 used_stree = NULL;
88 }
89
90 static void match_restore_states(struct expression *expr)
91 {
92 free_stree(&used_stree);
|
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
16 */
17
18 #include "smatch.h"
19 #include "smatch_slist.h"
20
21 static int my_id;
22
23 static struct stree *used_stree;
24 static struct stree_stack *saved_stack;
25
26 STATE(used);
27
28 static void get_state_hook(int owner, const char *name, struct symbol *sym)
29 {
30 int arg;
31
32 if (!option_info)
33 return;
34 if (__in_fake_assign || __in_fake_parameter_assign || __in_function_def)
35 return;
36
37 arg = get_param_num_from_sym(sym);
38 if (arg >= 0)
39 set_state_stree(&used_stree, my_id, name, sym, &used);
40 }
41
42 static void set_param_used(struct expression *call, struct expression *arg, char *key, char *unused)
43 {
44 struct symbol *sym;
45 char *name;
46 int arg_nr;
47
48 name = get_variable_from_key(arg, key, &sym);
49 if (!name || !sym)
50 goto free;
51
52 arg_nr = get_param_num_from_sym(sym);
53 if (arg_nr >= 0)
54 set_state_stree(&used_stree, my_id, name, sym, &used);
55 free:
56 free_string(name);
57 }
58
59 static void process_states(void)
60 {
61 struct sm_state *tmp;
62 int arg;
63 const char *name;
64
65 FOR_EACH_SM(used_stree, tmp) {
66 arg = get_param_num_from_sym(tmp->sym);
67 if (arg < 0)
68 continue;
69 name = get_param_name(tmp);
70 if (!name)
71 continue;
72 if (is_recursive_member(name))
73 continue;
74
75 if (is_ignored_kernel_data(name))
76 continue;
77
78 sql_insert_return_implies(PARAM_USED, arg, name, "");
79 } END_FOR_EACH_SM(tmp);
80
81 free_stree(&used_stree);
82 }
83
84 static void match_function_def(struct symbol *sym)
85 {
86 free_stree(&used_stree);
87 }
88
89 static void match_save_states(struct expression *expr)
90 {
91 push_stree(&saved_stack, used_stree);
92 used_stree = NULL;
93 }
94
95 static void match_restore_states(struct expression *expr)
96 {
97 free_stree(&used_stree);
|