2 * sparse/smatch_param_limit.c
4 * Copyright (C) 2012 Oracle.
6 * Licensed under the Open Software License version 1.1
11 * This is for functions like this:
15 * if (a >= 0 && a < 10) {
22 * If we pass in 5, it returns 1.
24 * It's a bit complicated because we can't just consider the final value, we
25 * have to always consider the passed in value.
31 #include "smatch_extra.h"
32 #include "smatch_slist.h"
38 static struct state_list
*start_states
;
39 static void save_start_states(struct statement
*stmt
)
41 start_states
= get_all_states(SMATCH_EXTRA
);
44 static void match_end_func(void)
46 free_slist(&start_states
);
49 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
54 static struct smatch_state
*filter_my_sm(struct sm_state
*sm
)
56 struct range_list
*ret
= NULL
;
58 struct smatch_state
*estate
;
60 FOR_EACH_PTR(sm
->possible
, tmp
) {
61 if (tmp
->state
== &merged
)
63 if (tmp
->state
== &original
) {
64 estate
= get_state_slist(tmp
->pool
, SMATCH_EXTRA
, tmp
->name
, tmp
->sym
);
66 sm_msg("debug: no value found in pool %p", tmp
->pool
);
72 ret
= rl_union(ret
, estate_rl(estate
));
73 } END_FOR_EACH_PTR(tmp
);
75 return alloc_estate_rl(ret
);
78 struct smatch_state
*get_orig_estate(const char *name
, struct symbol
*sym
)
81 struct smatch_state
*state
;
83 sm
= get_sm_state(my_id
, name
, sym
);
85 return filter_my_sm(sm
);
87 state
= get_state(SMATCH_EXTRA
, name
, sym
);
90 return alloc_estate_rl(alloc_whole_rl(get_real_base_type(sym
)));
93 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
, struct state_list
*slist
)
95 struct state_list
*extra_slist
;
97 struct sm_state
*my_sm
;
98 struct smatch_state
*state
;
101 extra_slist
= get_all_states_slist(SMATCH_EXTRA
, slist
);
103 FOR_EACH_PTR(extra_slist
, tmp
) {
104 if (!tmp
->sym
->ident
|| strcmp(tmp
->name
, tmp
->sym
->ident
->name
) != 0)
107 param
= get_param_num_from_sym(tmp
->sym
);
111 my_sm
= get_sm_state_slist(slist
, my_id
, tmp
->name
, tmp
->sym
);
113 struct smatch_state
*old
;
115 old
= get_state_slist(start_states
, SMATCH_EXTRA
, tmp
->name
, tmp
->sym
);
116 if (old
&& estates_equiv(old
, tmp
->state
))
118 sm_msg("info: return_param_limit %d %d '%s' '$$' '%s' %s",
119 return_id
, param
, return_ranges
,
120 tmp
->state
->name
, global_static());
124 state
= filter_my_sm(my_sm
);
127 /* This represents an impossible state. I screwd up. Bail. */
128 if (!estate_rl(state
))
130 sm_msg("info: return_param_limit %d %d '%s' '$$' '%s' %s",
131 return_id
, param
, return_ranges
,
132 state
->name
, global_static());
133 } END_FOR_EACH_PTR(tmp
);
135 free_slist(&extra_slist
);
140 static void extra_mod_hook(const char *name
, struct symbol
*sym
, struct smatch_state
*state
)
142 struct smatch_state
*orig_vals
;
145 param
= get_param_num_from_sym(sym
);
149 /* we are only saving params for now */
150 if (!sym
->ident
|| strcmp(name
, sym
->ident
->name
) != 0)
153 orig_vals
= get_orig_estate(name
, sym
);
154 set_state(my_id
, name
, sym
, orig_vals
);
157 void register_param_limit(int id
)
164 add_hook(&save_start_states
, AFTER_DEF_HOOK
);
165 add_extra_mod_hook(&extra_mod_hook
);
166 add_unmatched_state_hook(my_id
, &unmatched_state
);
167 add_returned_state_callback(&print_return_value_param
);
168 add_hook(&match_end_func
, END_FUNC_HOOK
);