| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_parsed_conditions.c | 77 add_ptr_list(true_stack, sm); in filter_by_sm()
79 add_ptr_list(false_stack, sm); in filter_by_sm()
109 add_ptr_list(true_stack, tmp); in parsed_condition_implication_hook()
113 add_ptr_list(false_stack, tmp); in parsed_condition_implication_hook()
|
| H A D | smatch_stored_conditions.c | 78 add_ptr_list(&ret, expr); in clone_expression_list()
93 add_ptr_list(list, expr); in insert_expression()
267 add_ptr_list(true_stack, sm); in filter_by_sm()
269 add_ptr_list(false_stack, sm); in filter_by_sm()
311 add_ptr_list(true_stack, tmp); in stored_condition_implication_hook()
315 add_ptr_list(false_stack, tmp); in stored_condition_implication_hook()
|
| H A D | smatch_hooks.c | 102 add_ptr_list(&hook_array[type], container); in add_hook()
110 add_ptr_list(&merge_funcs, container); in add_merge_hook()
118 add_ptr_list(&unmatched_state_funcs, container); in add_unmatched_state_hook()
243 add_ptr_list(stack, l); in push_scope_hook_list()
257 add_ptr_list(&hook_list, new); in add_scope_hook()
|
| H A D | linearize.h | 188 add_ptr_list(list, bb); in add_bb()
193 add_ptr_list(list, insn); in add_instruction()
198 add_ptr_list(list, multijmp); in add_multijmp()
203 return add_ptr_list(list, pseudo); in add_pseudo()
239 add_ptr_list(list, user); in add_pseudo_user_ptr()
|
| H A D | lib.h | 312 add_ptr_list(list, sym); in add_symbol()
317 add_ptr_list(list, stmt); in add_statement()
322 add_ptr_list(list, expr); in add_expression()
327 add_ptr_list(list, ident); in add_ident()
|
| H A D | smatch_string_list.c | 57 add_ptr_list(str_list, new); in insert_string()
67 add_ptr_list(&ret, tmp); in clone_str_list()
|
| H A D | smatch_equiv.c | 52 add_ptr_list(&to_list, rel); in clone_related_list()
92 add_ptr_list(&ret, one_rel); in get_shared_relations()
124 add_ptr_list(rlist, new); in add_related()
138 add_ptr_list(&ret, tmp); in del_related()
|
| H A D | smatch_returns.c | 34 add_ptr_list(stack_stack, stack); in push_stree_stack()
56 add_ptr_list(&callback_list, rs_cb); in all_return_states_hook()
|
| H A D | smatch_function_hashtable.h | 50 add_ptr_list(&list, value); \
53 add_ptr_list(&list, value); \
|
| H A D | smatch_slist.c | 205 add_ptr_list(&sm_state->possible, sm_state); in alloc_sm_state()
247 add_ptr_list(&to->possible, new); in add_possible_sm()
426 add_ptr_list(&to_slist, sm); in clone_slist()
613 add_ptr_list(stack, stree); in push_stree()
716 add_ptr_list(&add_to_two, sm); in match_states_stree()
729 add_ptr_list(&add_to_one, sm); in match_states_stree()
792 add_ptr_list(&slist, tmp); in clone_pool_havers_stree()
935 add_ptr_list(&add_to_two, sm); in merge_fake_stree()
944 add_ptr_list(&add_to_one, sm); in merge_fake_stree()
|
| H A D | storage.c | 55 add_ptr_list(&list, hash); in gather_storage()
109 add_ptr_list(listp, hash); in add_storage()
206 add_ptr_list(&dst->users, usep); in combine_storage()
|
| H A D | check_unreachable.c | 250 add_ptr_list(&turn_off_names, macro); in register_turn_off_macros()
277 add_ptr_list(&ignore_names, macro); in register_ignored_macros()
|
| H A D | smatch_expression_stacks.c | 23 add_ptr_list(estack, expr); in push_expression()
|
| H A D | smatch_var_sym.c | 124 add_ptr_list(list, new); in add_var_sym()
177 add_ptr_list(&to_vsl, clone_vs); in clone_var_sym_list()
|
| H A D | test-sort.c | 30 add_ptr_list (&l, e); in main()
|
| H A D | storage.h | 75 add_ptr_list(&s->users, usep); in alloc_storage_hash()
|
| H A D | smatch_untracked_param.c | 55 add_ptr_list(&untracked_hooks, p); in add_untracked_param_hook()
71 add_ptr_list(&lost_hooks, p); in add_lost_param_hook()
|
| H A D | smatch_scope.c | 88 add_ptr_list(&stmt_list, stmt); in match_stmt()
|
| H A D | macro_table.c | 55 add_ptr_list(str_list, new); in insert_macro_string()
|
| H A D | check_continue_vs_break.c | 46 add_ptr_list(stack, stmt); in push_statement()
|
| H A D | smatch_states.c | 128 add_ptr_list(&tracker_hooks[owner], p); in add_check_tracker()
346 add_ptr_list(&get_state_hooks, p); in add_get_state_hook()
482 add_ptr_list(&slist, sm); in delete_all_states_stree_sym()
991 add_ptr_list(&slist, new); in update_stree_with_merged()
1227 add_ptr_list(&goto_stack, named_stree); in __save_gotos()
|
| H A D | smatch_db.c | 636 add_ptr_list(&select_caller_info_callbacks, def_callback); in select_caller_info_hook()
650 add_ptr_list(&member_callbacks, member_callback); in add_member_info_callback()
659 add_ptr_list(&member_callbacks_new, member_callback); in add_caller_info_callback()
667 add_ptr_list(&returned_state_callbacks, callback); in add_split_return_callback()
676 add_ptr_list(&returned_member_callbacks, member_callback); in add_returned_member_callback()
685 add_ptr_list(&call_implies_cb_list, cb); in select_call_implies_hook()
694 add_ptr_list(&return_implies_cb_list, cb); in select_return_implies_hook()
1597 add_ptr_list(&already_handled, tmp); in split_possible_helper()
1610 add_ptr_list(&already_handled, tmp); in split_possible_helper()
2004 add_ptr_list(&already_handled, tmp); in split_on_bool_sm()
[all …]
|
| H A D | smatch_tracker.c | 41 add_ptr_list(list, tmp); in add_tracker()
|
| H A D | check_readl_infinite_loops.c | 111 add_ptr_list(&state_at_start, state); in push_state_at_start()
|
| H A D | check_macro_side_effects.c | 153 add_ptr_list(&ignored_macros, macro); in register_ignored_macros()
|