2 * Copyright (C) 2015 Oracle.
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
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
19 #include "smatch_slist.h"
22 int __ignore_param_used
;
24 static struct stree
*used_stree
;
28 static void get_state_hook(int owner
, const char *name
, struct symbol
*sym
)
30 static const char *prev
;
36 if (__ignore_param_used
||
38 __in_fake_parameter_assign
||
40 __in_unmatched_hook
||
41 __in_fake_struct_assign
)
44 if (!name
|| name
[0] == '&')
51 arg
= get_param_num_from_sym(sym
);
54 if (param_was_set_var_sym(name
, sym
))
56 if (parent_was_PARAM_CLEAR(name
, sym
))
59 set_state_stree(&used_stree
, my_id
, name
, sym
, &used
);
62 static void set_param_used(struct expression
*call
, struct expression
*arg
, char *key
, char *unused
)
74 name
= get_variable_from_key(arg
, key
, &sym
);
78 arg_nr
= get_param_num_from_sym(sym
);
81 if (param_was_set_var_sym(name
, sym
))
83 set_state_stree(&used_stree
, my_id
, name
, sym
, &used
);
88 static void process_states(void)
94 FOR_EACH_SM(used_stree
, tmp
) {
95 arg
= get_param_num_from_sym(tmp
->sym
);
98 name
= get_param_name(tmp
);
101 if (strcmp(name
, "$") == 0 ||
102 strcmp(name
, "*$") == 0)
104 if (is_recursive_member(name
))
107 if (is_ignored_kernel_data(name
))
110 sql_insert_return_implies(PARAM_USED
, arg
, name
, "");
111 } END_FOR_EACH_SM(tmp
);
113 free_stree(&used_stree
);
116 static void match_function_def(struct symbol
*sym
)
118 free_stree(&used_stree
);
121 void register_param_used(int id
)
125 add_hook(&match_function_def
, AFTER_FUNC_HOOK
);
126 add_function_data((unsigned long *)&used_stree
);
128 add_get_state_hook(&get_state_hook
);
130 select_return_implies_hook(PARAM_USED
, &set_param_used
);
131 all_return_states_hook(&process_states
);