| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_capable.c | 59 FOR_EACH_MY_SM(capable_id, __get_cur_stree(), sm) { in save_call_info()
64 FOR_EACH_MY_SM(ns_capable_id, __get_cur_stree(), sm) { in save_call_info()
74 FOR_EACH_MY_SM(capable_id, __get_cur_stree(), sm) { in save_return_info()
80 FOR_EACH_MY_SM(ns_capable_id, __get_cur_stree(), sm) { in save_return_info()
|
| H A D | smatch_returns.c | 75 stree = clone_stree(__get_cur_stree()); in match_return()
86 merge_stree(&all_return_states, __get_cur_stree()); in match_end_func()
|
| H A D | check_debug.c | 65 FOR_EACH_SM(__get_cur_stree(), sm) { in match_state()
109 stree = __get_cur_stree(); in match_print_value()
364 stree = __get_cur_stree(); in match_possible()
450 stree = __get_cur_stree(); in match_dump_related()
554 FOR_EACH_SM(__get_cur_stree(), sm) { in match_about()
774 FOR_EACH_SM(__get_cur_stree(), sm) { in trace_var()
788 old_stree = clone_stree(__get_cur_stree()); in trace_var()
|
| H A D | smatch_start_states.c | 33 start_states = clone_stree(__get_cur_stree()); in save_start_states()
|
| H A D | check_return_enomem.c | 46 stree = __get_cur_stree(); in match_return()
|
| H A D | check_atomic_inc_dec.c | 80 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in get_best_match()
281 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in match_return_info()
398 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in on_atomic_dec_path()
|
| H A D | smatch_implied.c | 766 separate_and_filter(sm, comparison, rl, __get_cur_stree(), implied_true, implied_false, &mixed); in handle_comparison()
805 …ter(sm, SPECIAL_NOTEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_tr… in handle_zero_comparison()
832 pre_stree = clone_stree(__get_cur_stree()); in handled_by_comparison_hook()
880 pre_stree = clone_stree(__get_cur_stree()); in handled_by_parsed_conditions()
905 pre_stree = clone_stree(__get_cur_stree()); in handled_by_stored_conditions()
1060 …separate_and_filter(sm, PARAM_LIMIT, limit, __get_cur_stree(), &implied_true, &implied_false, &mix… in param_limit_implications()
1189 pre_stree = clone_stree(__get_cur_stree()); in overwrite_states_using_pool()
|
| H A D | check_template.c | 94 stree = __get_cur_stree(); in match_return()
|
| H A D | check_frees_param.c | 76 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in process_states()
|
| H A D | smatch_nul_terminator.c | 192 FOR_EACH_MY_SM(param_set_id, __get_cur_stree(), tmp) { in split_return_info()
217 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in split_return_info()
|
| H A D | smatch_capped.c | 264 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_return_implies_capped()
288 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_return_implies_capped()
|
| H A D | check_uninitialized.c | 125 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in match_negative_comparison()
258 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in match_call_struct_members()
|
| H A D | check_spectre_second_half.c | 47 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in clear_spectre_second_halfs()
|
| H A D | check_dereferences_param.c | 98 FOR_EACH_MY_SM(my_id, __get_cur_stree(), tmp) { in process_states()
|
| H A D | check_held_dev.c | 71 stree = __get_cur_stree(); in check_for_held()
|
| H A D | check_puts_argument.c | 74 stree = __get_cur_stree(); in match_return()
|
| H A D | check_frees_argument.c | 77 stree = __get_cur_stree(); in match_return()
|
| H A D | check_missing_break.c | 150 FOR_EACH_MY_SM(owner, __get_cur_stree(), sm) { in delete_my_states()
|
| H A D | check_frees_param_strict.c | 126 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in param_freed_info()
|
| H A D | smatch_param_limit.c | 141 FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) { in print_return_value_param()
|
| H A D | smatch_param_to_mtag_data.c | 194 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) { in print_stored_to_mtag()
|
| H A D | smatch_param_cleared.c | 80 stree = __get_cur_stree(); in print_return_value_param()
|
| H A D | smatch_param_filter.c | 166 FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) { in print_return_value_param()
|
| H A D | check_leaks.c | 231 stree = __get_cur_stree(); in check_for_allocated()
|
| H A D | check_unwind.c | 149 stree = __get_cur_stree(); in match_return()
|