Lines Matching refs:sym
308 if (sm->sym != gate_sm->sym || in do_compare()
436 old = get_sm_state_stree(tmp->pool, sm->owner, sm->name, sm->sym); in sm_in_keep_leafs()
568 if (left->sym != sm->sym || strcmp(left->name, sm->name) != 0) { in filter_pools()
570 left->sym = sm->sym; in filter_pools()
573 if (right->sym != sm->sym || strcmp(right->name, sm->name) != 0) { in filter_pools()
575 right->sym = sm->sym; in filter_pools()
622 filtered_sm->sym = tmp->sym; in filter_stack()
712 static void delete_gate_sm_equiv(struct stree **stree, const char *name, struct symbol *sym) in delete_gate_sm_equiv() argument
717 state = get_state(SMATCH_EXTRA, name, sym); in delete_gate_sm_equiv()
721 delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym); in delete_gate_sm_equiv()
725 static void delete_gate_sm(struct stree **stree, const char *name, struct symbol *sym) in delete_gate_sm() argument
727 delete_state_stree(stree, SMATCH_EXTRA, name, sym); in delete_gate_sm()
768 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_comparison()
769 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_comparison()
771 delete_gate_sm(implied_true, sm->name, sm->sym); in handle_comparison()
772 delete_gate_sm(implied_false, sm->name, sm->sym); in handle_comparison()
782 struct symbol *sym; in handle_zero_comparison() local
798 name = expr_to_var_sym(expr, &sym); in handle_zero_comparison()
799 if (!name || !sym) in handle_zero_comparison()
801 sm = get_sm_state(SMATCH_EXTRA, name, sym); in handle_zero_comparison()
806 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_zero_comparison()
807 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_zero_comparison()
809 delete_gate_sm(implied_true, sm->name, sm->sym); in handle_zero_comparison()
810 delete_gate_sm(implied_false, sm->name, sm->sym); in handle_zero_comparison()
837 true_sm = get_sm_state_stree(*implied_true, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
838 false_sm = get_sm_state_stree(*implied_false, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
840 delete_state_stree(implied_true, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
842 delete_state_stree(implied_false, sm->owner, sm->name, sm->sym); in handled_by_comparison_hook()
934 delete_state_stree(implied_true, sm->owner, sm->name, sm->sym); in separate_implication_states()
942 delete_state_stree(implied_false, sm->owner, sm->name, sm->sym); in separate_implication_states()
1015 struct symbol *sym; in param_limit_implications() local
1042 name = get_variable_from_key(arg, key, &sym); in param_limit_implications()
1043 if (!name || !sym) in param_limit_implications()
1046 sm = get_sm_state(SMATCH_EXTRA, name, sym); in param_limit_implications()
1071 if (!mixed && tmp->sym == sym && in param_limit_implications()
1094 struct symbol *sym; in __implied_case_stree() local
1102 name = expr_to_chunk_sym_vsl(switch_expr, &sym, &vsl); in __implied_case_stree()
1110 sm = get_sm_state_stree(*raw_stree, SMATCH_EXTRA, name, sym); in __implied_case_stree()
1118 set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(rl)); in __implied_case_stree()
1131 static void match_end_func(struct symbol *sym) in match_end_func() argument
1198 set_state(tmp->owner, tmp->name, tmp->sym, tmp->state); in overwrite_states_using_pool()