Home
last modified time | relevance | path

Searched refs:return_id (Results 1 – 25 of 29) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_set.c175 static void print_return_value_param_helper(int return_id, char *return_ranges, struct expression *… in print_return_value_param_helper() argument
226 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper()
236 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper()
247 sql_insert_return_states(return_id, return_ranges, in print_return_value_param_helper()
258 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument
260 print_return_value_param_helper(return_id, return_ranges, expr, 0); in print_return_value_param()
263 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr) in print_limited_param_set() argument
265 print_return_value_param_helper(return_id, return_ranges, expr, 1000); in print_limited_param_set()
H A Dsmatch_untracked_param.c188 static void mark_all_params(int return_id, char *return_ranges, int type) in mark_all_params() argument
199 sql_insert_return_states(return_id, return_ranges, in mark_all_params()
205 void mark_all_params_untracked(int return_id, char *return_ranges, struct expression *expr) in mark_all_params_untracked() argument
207 mark_all_params(return_id, return_ranges, UNTRACKED_PARAM); in mark_all_params_untracked()
210 void mark_all_params_lost(int return_id, char *return_ranges, struct expression *expr) in mark_all_params_lost() argument
212 mark_all_params(return_id, return_ranges, LOST_PARAM); in mark_all_params_lost()
215 static void print_untracked_params(int return_id, char *return_ranges, struct expression *expr) in print_untracked_params() argument
241 sql_insert_return_states(return_id, return_ranges, in print_untracked_params()
H A Dsmatch_db.c1535 return_id++; in call_return_state_hooks_compare()
1549 return_id++; in call_return_state_hooks_compare()
1628 return_id++; in split_possible_helper()
1717 return_id++; in split_positive_from_negative()
1729 return_id++; in split_positive_from_negative()
1742 return_id++; in split_positive_from_negative()
1804 return_id++; in call_return_state_hooks_split_null_non_null_zero()
1816 return_id++; in call_return_state_hooks_split_null_non_null_zero()
1900 return_id++; in call_return_state_hooks_split_success_fail()
1912 return_id++; in call_return_state_hooks_split_success_fail()
[all …]
H A Dsmatch_impossible.c87 static void print_impossible_return(int return_id, char *return_ranges, struct expression *expr) in print_impossible_return() argument
91 sm_msg("impossible return. return_id = %d return ranges = %s", return_id, return_ranges); in print_impossible_return()
92 sql_insert_return_states(return_id, return_ranges, CULL_PATH, -1, "", ""); in print_impossible_return()
H A Dsmatch_param_filter.c135 static void print_one_mod_param(int return_id, char *return_ranges, in print_one_mod_param() argument
155 sql_insert_return_states(return_id, return_ranges, PARAM_FILTER, param, in print_one_mod_param()
159 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument
180 print_one_mod_param(return_id, return_ranges, param, sm, &totally_filtered); in print_return_value_param()
H A Dcheck_capable.c70 static void save_return_info(int return_id, char *return_ranges, struct expression *expr) in save_return_info() argument
76 sql_insert_return_states(return_id, return_ranges, in save_return_info()
82 sql_insert_return_states(return_id, return_ranges, in save_return_info()
H A Dcheck_nospec.c97 static void returned_struct_members(int return_id, char *return_ranges, struct expression *expr) in returned_struct_members() argument
127 sql_insert_return_states(return_id, return_ranges, NOSPEC, param, param_name, ""); in returned_struct_members()
131 sql_insert_return_states(return_id, return_ranges, NOSPEC, -1, "$", ""); in returned_struct_members()
134 sql_insert_return_states(return_id, return_ranges, NOSPEC_WB, -1, "", ""); in returned_struct_members()
H A Dsmatch_statement_count.c58 static void insert_return_info(int return_id, char *return_ranges, struct expression *expr) in insert_return_info() argument
65 sql_insert_return_states(return_id, return_ranges, STMT_CNT, -1, "", buf); in insert_return_info()
H A Dsmatch_param_cleared.c73 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument
92 sql_insert_return_states(return_id, return_ranges, in print_return_value_param()
97 sql_insert_return_states(return_id, return_ranges, in print_return_value_param()
H A Dsmatch_capped.c249 static void print_return_implies_capped(int return_id, char *return_ranges, struct expression *expr) in print_return_implies_capped() argument
284 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped()
305 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped()
314 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped()
H A Dcheck_frees_param_strict.c117 static void param_freed_info(int return_id, char *return_ranges, struct expression *expr) in param_freed_info() argument
138 sql_insert_return_states(return_id, return_ranges, PARAM_FREED, in param_freed_info()
H A Dsmatch_fresh_alloc.c130 static void record_alloc_func(int return_id, char *return_ranges, struct expression *expr) in record_alloc_func() argument
134 sql_insert_return_states(return_id, return_ranges, FRESH_ALLOC, -1, "$", ""); in record_alloc_func()
H A Dsmatch_nul_terminator.c184 static void split_return_info(int return_id, char *return_ranges, struct expression *expr) in split_return_info() argument
209 sql_insert_return_states(return_id, return_ranges, TERMINATED, in split_return_info()
226 sql_insert_return_states(return_id, return_ranges, TERMINATED, in split_return_info()
H A Dsmatch_param_limit.c133 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param() argument
164 sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT, in print_return_value_param()
H A Dsmatch_function_hooks.c654 int return_id; in db_compare_callback() local
660 return_id = atoi(argv[0]); in db_compare_callback()
678 db_info->prev_return_id = return_id; in db_compare_callback()
915 int return_id; in db_assign_return_states_callback() local
920 return_id = atoi(argv[0]); in db_assign_return_states_callback()
938 db_info->prev_return_id = return_id; in db_assign_return_states_callback()
1104 int return_id; in db_return_states_callback() local
1110 return_id = atoi(argv[0]); in db_return_states_callback()
1128 db_info->prev_return_id = return_id; in db_return_states_callback()
H A Dsmatch_param_to_mtag_data.c186 static void print_stored_to_mtag(int return_id, char *return_ranges, struct expression *expr) in print_stored_to_mtag() argument
207 sql_insert_return_states(return_id, return_ranges, MTAG_ASSIGN, param, param_name, buf); in print_stored_to_mtag()
H A Dsmatch_param_compare_limit.c174 static void print_return_comparison(int return_id, char *return_ranges, struct expression *expr) in print_return_comparison() argument
229 sql_insert_return_states(return_id, return_ranges, in print_return_comparison()
H A Dsmatch_returns.c71 static void match_return(int return_id, char *return_ranges, struct expression *expr) in match_return() argument
H A Dsmatch_constraints.c473 static void print_return_implies_constrained(int return_id, char *return_ranges, struct expression … in print_return_implies_constrained() argument
496 sql_insert_return_states(return_id, return_ranges, CONSTRAINT, in print_return_implies_constrained()
H A Dcheck_atomic_inc_dec.c272 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info() argument
294 sql_insert_return_states(return_id, return_ranges, in match_return_info()
H A Dsmatch_kernel_user_data.c1340 static void param_set_to_user_data(int return_id, char *return_ranges, struct expression *expr) in param_set_to_user_data() argument
1386 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data()
1409 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data()
1420 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data()
1430 sql_insert_return_states(return_id, return_ranges, in param_set_to_user_data()
H A Dsmatch_container_of.c82 static void print_returns_container_of(int return_id, char *return_ranges, struct expression *expr) in print_returns_container_of() argument
100 sql_insert_return_states(return_id, return_ranges, CONTAINER, -1, in print_returns_container_of()
H A Dsmatch.h905 void add_split_return_callback(void (*fn)(int return_id, char *return_ranges, struct expression *re…
906 void add_returned_member_callback(int owner, void (*callback)(int return_id, char *return_ranges, s…
994 void sql_insert_return_states(int return_id, const char *return_ranges,
1224 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr);
1243 void mark_all_params_untracked(int return_id, char *return_ranges, struct expression *expr);
/illumos-gate/usr/src/tools/smatch/src/smatch_data/db/
H A Dinsert_manual_states.pl50 my $return_id = $row[1];
53 $insert->execute($file, $func, 0, $return_id, $ret, $static, $type, $param, $key, $value);
H A Dreturn_states.schema1 CREATE TABLE return_states (file varchar(128), function varchar(64), call_id big int, return_id int…

12