2 * sparse/smatch_param_set.c
4 * Copyright (C) 2012 Oracle.
6 * Licensed under the Open Software License version 1.1
11 * This is for functions like:
22 * If we return 1 that means the value of *x has been set to 0. If we return
23 * 0 then we have left *x alone.
29 #include "smatch_slist.h"
30 #include "smatch_extra.h"
34 static struct smatch_state
*unmatched_state(struct sm_state
*sm
)
36 return alloc_estate_empty();
39 static void extra_mod_hook(const char *name
, struct symbol
*sym
, struct smatch_state
*state
)
41 set_state(my_id
, name
, sym
, state
);
44 static void print_one_return_value_param(int return_id
, char *return_ranges
,
45 int param
, struct sm_state
*sm
, char *implied_rl
,
46 struct state_list
*slist
)
48 const char *param_name
;
50 param_name
= get_param_name(sm
);
53 if (strcmp(param_name
, "$$") == 0)
56 sql_insert_return_states(return_id
, return_ranges
, ADDED_VALUE
, param
,
57 param_name
, implied_rl
);
60 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
, struct state_list
*slist
)
62 struct state_list
*my_slist
;
64 struct smatch_state
*extra
;
66 struct range_list
*rl
;
68 my_slist
= get_all_states_slist(my_id
, slist
);
70 FOR_EACH_PTR(my_slist
, sm
) {
71 if (!estate_rl(sm
->state
))
73 extra
= get_state_slist(slist
, SMATCH_EXTRA
, sm
->name
, sm
->sym
);
74 if (!estate_rl(extra
))
76 rl
= rl_intersection(estate_rl(sm
->state
), estate_rl(extra
));
80 param
= get_param_num_from_sym(sm
->sym
);
85 print_one_return_value_param(return_id
, return_ranges
, param
, sm
, show_rl(rl
), slist
);
86 } END_FOR_EACH_PTR(sm
);
89 void register_param_set(int id
)
93 add_extra_mod_hook(&extra_mod_hook
);
94 add_unmatched_state_hook(my_id
, &unmatched_state
);
95 add_merge_hook(my_id
, &merge_estates
);
96 add_returned_state_callback(&print_return_value_param
);