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 const char *get_param_name(struct sm_state
*sm
)
50 param_name
= sm
->sym
->ident
->name
;
51 name_len
= strlen(param_name
);
53 if (sm
->name
[name_len
] == '-' && /* check for '-' from "->" */
54 strncmp(sm
->name
, param_name
, name_len
) == 0) {
55 snprintf(buf
, sizeof(buf
), "$$%s", sm
->name
+ name_len
);
57 } else if (sm
->name
[0] == '*' && strcmp(sm
->name
+ 1, param_name
) == 0) {
63 static void print_one_return_value_param(int return_id
, char *return_ranges
,
64 int param
, struct sm_state
*sm
, char *implied_rl
,
65 struct state_list
*slist
)
67 const char *param_name
;
69 param_name
= get_param_name(sm
);
73 sql_insert_return_states(return_id
, return_ranges
, ADDED_VALUE
, param
,
74 param_name
, implied_rl
);
77 static void print_return_value_param(int return_id
, char *return_ranges
, struct expression
*expr
, struct state_list
*slist
)
79 struct state_list
*my_slist
;
81 struct smatch_state
*extra
;
83 struct range_list
*rl
;
85 my_slist
= get_all_states_slist(my_id
, slist
);
87 FOR_EACH_PTR(my_slist
, sm
) {
88 if (!estate_rl(sm
->state
))
90 extra
= get_state_slist(slist
, SMATCH_EXTRA
, sm
->name
, sm
->sym
);
91 if (!estate_rl(extra
))
93 rl
= rl_intersection(estate_rl(sm
->state
), estate_rl(extra
));
97 param
= get_param_num_from_sym(sm
->sym
);
102 print_one_return_value_param(return_id
, return_ranges
, param
, sm
, show_rl(rl
), slist
);
103 } END_FOR_EACH_PTR(sm
);
106 void register_param_set(int id
)
113 add_extra_mod_hook(&extra_mod_hook
);
114 add_unmatched_state_hook(my_id
, &unmatched_state
);
115 add_merge_hook(my_id
, &merge_estates
);
116 add_returned_state_callback(&print_return_value_param
);