held_dev: delete this check
[smatch.git] / smatch_assigned_expr.c
blobf5c8528df8b6c0f4dcee679c70bd5853ac446571
1 /*
2 * Copyright (C) 2009 Dan Carpenter.
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 * This is not a check. It just saves an struct expression pointer
20 * whenever something is assigned. This can be used later on by other scripts.
23 #include "smatch.h"
24 #include "smatch_slist.h"
25 #include "smatch_extra.h"
27 int check_assigned_expr_id;
28 static int my_id;
29 static int link_id;
31 static struct expression *skip_mod;
33 static void undef(struct sm_state *sm, struct expression *mod_expr)
35 if (mod_expr == skip_mod)
36 return;
37 set_state(my_id, sm->name, sm->sym, &undefined);
40 struct expression *get_assigned_expr(struct expression *expr)
42 struct smatch_state *state;
44 state = get_state_expr(my_id, expr);
45 if (!state)
46 return NULL;
47 return (struct expression *)state->data;
50 struct sm_state *get_assigned_sm(struct expression *expr)
52 return get_sm_state_expr(my_id, expr);
55 struct expression *get_assigned_expr_recurse(struct expression *expr)
57 struct expression *ret;
58 int cnt = 0;
60 ret = NULL;
61 while ((expr = get_assigned_expr(expr))) {
62 ret = expr;
63 if (cnt++ > 4)
64 break;
67 return ret;
70 struct expression *get_assigned_expr_name_sym(const char *name, struct symbol *sym)
72 struct smatch_state *state;
74 state = __get_state(my_id, name, sym);
75 if (!state)
76 return NULL;
77 return (struct expression *)state->data;
80 struct expression *get_assigned_expr_name_sym_recurse(const char *name, struct symbol *sym)
82 struct expression *expr, *recurse;
84 expr = get_assigned_expr_name_sym(name, sym);
85 if (!expr)
86 return NULL;
87 recurse = get_assigned_expr_recurse(expr);
88 if (recurse)
89 return recurse;
90 return expr;
93 static void match_assignment(struct expression *expr)
95 static struct expression *ignored_expr, *right;
96 struct symbol *left_sym, *right_sym;
97 char *left_name = NULL;
98 char *right_name = NULL;
100 if (expr->op != '=')
101 return;
102 if (is_fake_call(expr->right))
103 return;
104 if (__in_fake_struct_assign) {
105 struct range_list *rl;
107 if (!get_implied_rl(expr->right, &rl))
108 return;
109 if (is_whole_rl(rl))
110 return;
113 if (expr->left == ignored_expr)
114 return;
115 ignored_expr = NULL;
116 if (__in_fake_parameter_assign)
117 ignored_expr = expr->left;
119 left_name = expr_to_var_sym(expr->left, &left_sym);
120 if (!left_name || !left_sym)
121 goto free;
123 right = expr->right;
124 if (right->type == EXPR_ASSIGNMENT && right->op == '=')
125 right = right->left;
127 set_state(my_id, left_name, left_sym, alloc_state_expr(strip_expr(right)));
129 right_name = expr_to_var_sym(right, &right_sym);
130 if (!right_name || !right_sym)
131 goto free;
133 store_link(link_id, right_name, right_sym, left_name, left_sym);
135 free:
136 free_string(left_name);
137 free_string(right_name);
140 static void record_param_assignment(struct expression *expr, int param, char *key, char *value)
142 struct expression *arg, *right;
143 struct symbol *sym;
144 char *name;
145 char *p;
146 int right_param;
148 while (expr->type == EXPR_ASSIGNMENT)
149 expr = strip_expr(expr->right);
150 if (!expr || expr->type != EXPR_CALL)
151 return;
153 p = strstr(value, "[$");
154 if (!p)
155 return;
157 p += 2;
158 right_param = strtol(p, &p, 10);
159 if (*p != ']')
160 return;
162 arg = get_argument_from_call_expr(expr->args, param);
163 right = get_argument_from_call_expr(expr->args, right_param);
164 if (!right || !arg)
165 return;
166 name = get_variable_from_key(arg, key, &sym);
167 if (!name || !sym)
168 goto free;
170 skip_mod = expr;
171 set_state(my_id, name, sym, alloc_state_expr(right));
172 free:
173 free_string(name);
176 void register_assigned_expr(int id)
178 my_id = check_assigned_expr_id = id;
179 set_dynamic_states(check_assigned_expr_id);
180 add_hook(&match_assignment, ASSIGNMENT_HOOK_AFTER);
181 add_modification_hook(my_id, &undef);
182 select_return_states_hook(PARAM_SET, &record_param_assignment);
185 void register_assigned_expr_links(int id)
187 link_id = id;
188 set_dynamic_states(link_id);
189 db_ignore_states(link_id);
190 set_up_link_functions(my_id, link_id);