| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_untracked_param.c | 188 static void mark_all_params(int return_id, char *return_ranges, int type) in mark_all_params()
205 void mark_all_params_untracked(int return_id, char *return_ranges, struct expression *expr) 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()
215 static void print_untracked_params(int return_id, char *return_ranges, struct expression *expr) in print_untracked_params()
|
| H A D | smatch_param_set.c | 175 static void print_return_value_param_helper(int return_id, char *return_ranges, struct expression *… 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()
263 void print_limited_param_set(int return_id, char *return_ranges, struct expression *expr) in print_limited_param_set()
|
| H A D | smatch_param_filter.c | 135 static void print_one_mod_param(int return_id, char *return_ranges, 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()
|
| H A D | smatch_db.c | 144 static const char *replace_return_ranges(const char *return_ranges) in replace_return_ranges()
195 void sql_insert_return_states(int return_id, const char *return_ranges, in sql_insert_return_states()
1419 char *return_ranges; in get_return_ranges_str() local
1475 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info()
1516 char *return_ranges; in call_return_state_hooks_compare() local
1575 char *return_ranges; in split_possible_helper() local
1690 const char *return_ranges; in split_positive_from_negative() local
1762 char *return_ranges; in call_return_state_hooks_split_null_non_null_zero() local
1867 char *return_ranges; in call_return_state_hooks_split_success_fail() local
1988 const char *return_ranges; in split_on_bool_sm() local
[all …]
|
| H A D | smatch_impossible.c | 87 static void print_impossible_return(int return_id, char *return_ranges, struct expression *expr) in print_impossible_return()
|
| H A D | smatch_statement_count.c | 58 static void insert_return_info(int return_id, char *return_ranges, struct expression *expr) in insert_return_info()
|
| H A D | check_frees_param_strict.c | 117 static void param_freed_info(int return_id, char *return_ranges, struct expression *expr) in param_freed_info()
|
| H A D | check_capable.c | 70 static void save_return_info(int return_id, char *return_ranges, struct expression *expr) in save_return_info()
|
| H A D | smatch_returns.c | 71 static void match_return(int return_id, char *return_ranges, struct expression *expr) in match_return()
|
| H A D | smatch_param_limit.c | 133 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param()
|
| H A D | smatch_param_cleared.c | 73 static void print_return_value_param(int return_id, char *return_ranges, struct expression *expr) in print_return_value_param()
|
| H A D | smatch_fresh_alloc.c | 130 static void record_alloc_func(int return_id, char *return_ranges, struct expression *expr) in record_alloc_func()
|
| H A D | smatch_param_to_mtag_data.c | 186 static void print_stored_to_mtag(int return_id, char *return_ranges, struct expression *expr) in print_stored_to_mtag()
|
| H A D | smatch_capped.c | 249 static void print_return_implies_capped(int return_id, char *return_ranges, struct expression *expr) in print_return_implies_capped()
|
| H A D | check_nospec.c | 97 static void returned_struct_members(int return_id, char *return_ranges, struct expression *expr) in returned_struct_members()
|
| H A D | smatch_nul_terminator.c | 184 static void split_return_info(int return_id, char *return_ranges, struct expression *expr) in split_return_info()
|
| H A D | smatch_param_compare_limit.c | 174 static void print_return_comparison(int return_id, char *return_ranges, struct expression *expr) in print_return_comparison()
|
| H A D | check_atomic_inc_dec.c | 272 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info()
|
| H A D | smatch_constraints.c | 473 static void print_return_implies_constrained(int return_id, char *return_ranges, struct expression … in print_return_implies_constrained()
|
| H A D | smatch_container_of.c | 82 static void print_returns_container_of(int return_id, char *return_ranges, struct expression *expr) in print_returns_container_of()
|
| H A D | smatch_buf_size.c | 866 static void print_returned_allocations(int return_id, char *return_ranges, struct expression *expr) in print_returned_allocations()
|
| H A D | check_locking.c | 909 static void match_return_info(int return_id, char *return_ranges, struct expression *expr) in match_return_info()
|
| H A D | smatch_comparison.c | 2265 static void print_return_value_comparison(int return_id, char *return_ranges, struct expression *ex… in print_return_value_comparison()
2306 static void print_return_comparison(int return_id, char *return_ranges, struct expression *expr) in print_return_comparison()
|
| H A D | smatch_kernel_user_data.c | 1340 static void param_set_to_user_data(int return_id, char *return_ranges, struct expression *expr) in param_set_to_user_data()
|
| H A D | smatch_extra.c | 2482 static void returned_struct_members(int return_id, char *return_ranges, struct expression *expr) in returned_struct_members()
|