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.
24 #include "smatch_slist.h"
25 #include "smatch_extra.h"
27 int check_assigned_expr_id
;
31 static void undef(struct sm_state
*sm
, struct expression
*mod_expr
)
33 set_state(my_id
, sm
->name
, sm
->sym
, &undefined
);
36 struct expression
*get_assigned_expr(struct expression
*expr
)
38 struct smatch_state
*state
;
40 state
= get_state_expr(my_id
, expr
);
43 return (struct expression
*)state
->data
;
46 struct expression
*get_assigned_expr_name_sym(const char *name
, struct symbol
*sym
)
48 struct smatch_state
*state
;
50 state
= get_state(my_id
, name
, sym
);
53 return (struct expression
*)state
->data
;
56 static void match_assignment(struct expression
*expr
)
58 struct symbol
*left_sym
, *right_sym
;
59 char *left_name
= NULL
;
60 char *right_name
= NULL
;
64 if (is_fake_call(expr
->right
))
66 if (__in_fake_assign
) {
67 struct range_list
*rl
;
69 if (!get_implied_rl(expr
->right
, &rl
))
75 left_name
= expr_to_var_sym(expr
->left
, &left_sym
);
76 if (!left_name
|| !left_sym
)
78 set_state(my_id
, left_name
, left_sym
, alloc_state_expr(strip_expr(expr
->right
)));
80 right_name
= expr_to_var_sym(expr
->right
, &right_sym
);
81 if (!right_name
|| !right_sym
)
84 store_link(link_id
, right_name
, right_sym
, left_name
, left_sym
);
87 free_string(left_name
);
88 free_string(right_name
);
91 static void record_param_assignment(struct expression
*expr
, int param
, char *key
, char *value
)
93 struct expression
*arg
, *right
;
99 while (expr
->type
== EXPR_ASSIGNMENT
)
100 expr
= strip_expr(expr
->right
);
101 if (!expr
|| expr
->type
!= EXPR_CALL
)
104 p
= strstr(value
, "[$");
109 right_param
= strtol(p
, &p
, 10);
113 arg
= get_argument_from_call_expr(expr
->args
, param
);
114 right
= get_argument_from_call_expr(expr
->args
, right_param
);
117 name
= get_variable_from_key(arg
, key
, &sym
);
121 set_state(my_id
, name
, sym
, alloc_state_expr(right
));
126 void check_assigned_expr(int id
)
128 my_id
= check_assigned_expr_id
= id
;
129 add_hook(&match_assignment
, ASSIGNMENT_HOOK_AFTER
);
130 add_modification_hook(my_id
, &undef
);
131 select_return_states_hook(PARAM_SET
, &record_param_assignment
);
134 void check_assigned_expr_links(int id
)
137 set_up_link_functions(my_id
, link_id
);