SMATCH_EXTRA
FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {
FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {
stree = get_all_states_stree(SMATCH_EXTRA);
FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {
sm = get_sm_state_expr(SMATCH_EXTRA, arg);
state = get_state_expr(SMATCH_EXTRA, ret_value);
sm = get_sm_state_expr(SMATCH_EXTRA, arg);
estate = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, sm->name, sm->sym);
pre_state = get_state_expr(SMATCH_EXTRA, arg);
pre_state = get_state_expr(SMATCH_EXTRA, arg);
pre_state = get_state_expr(SMATCH_EXTRA, arg);
estate = get_state(SMATCH_EXTRA, arg->ident->name, arg);
set_state(SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_rl(after));
pre_state = get_state_expr(SMATCH_EXTRA, arg);
state = get_state_expr(SMATCH_EXTRA, ret_value);
FOR_EACH_MY_SM(SMATCH_EXTRA, stree, sm) {
sm = get_sm_state_expr(SMATCH_EXTRA, arg_expr);
estate = get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl));
set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval));
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
sm = get_sm_state(SMATCH_EXTRA, buf, NULL);
sm = get_sm_state_stree(start_states, SMATCH_EXTRA, arg->ident->name, arg);
sm = get_sm_state(SMATCH_EXTRA, start_sm->name, start_sm->sym);
sm = get_sm_state(SMATCH_EXTRA, arg->ident->name, arg);
sm = get_sm_state(SMATCH_EXTRA, buf, NULL);
orig_sm = get_sm_state(SMATCH_EXTRA, name, sym);
old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym);
right_sm = get_sm_state_expr(SMATCH_EXTRA, right);
right_sm = set_state_expr(SMATCH_EXTRA, right, alloc_estate_rl(rl));
old_sm = get_sm_state(SMATCH_EXTRA, rel->name, rel->sym);
estate = get_state_expr(SMATCH_EXTRA, expr);
state = get_state_expr(SMATCH_EXTRA, expr);
set_state(SMATCH_EXTRA, name, sym, alloc_estate_sval(sval_cast(type, sval)));
right_state = get_state(SMATCH_EXTRA, right_name, right_sym);
state = get_state_expr(SMATCH_EXTRA, expr->unop);
state = get_state_expr(SMATCH_EXTRA, expr->unop);
orig = get_state(SMATCH_EXTRA, name, sym);
estate_is_unknown(state) && !get_state(SMATCH_EXTRA, name, sym))
set_state(SMATCH_EXTRA, name, sym, state);
set_state(SMATCH_EXTRA, name, sym, state);
estate = get_state(SMATCH_EXTRA, name, sym);
state = __get_state(SMATCH_EXTRA, start, sym);
state = __get_state(SMATCH_EXTRA, start, sym);
sm = get_sm_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
state = get_state_expr(SMATCH_EXTRA, arg);
set_state(SMATCH_EXTRA, fullname, sym, state);
state = get_state(SMATCH_EXTRA, fullname, sym);
state = get_state(SMATCH_EXTRA, fullname, sym);
ret = get_sm_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, tmp->var, tmp->sym);
set_state(SMATCH_EXTRA, tmp->var, tmp->sym, alloc_estate_whole(estate_type(state)));
set_state(SMATCH_EXTRA, name, sym, state);
orig_state = get_state(SMATCH_EXTRA, name, sym);
estate = get_state(SMATCH_EXTRA, rel->name, rel->sym);
set_true_false_states(SMATCH_EXTRA, new_name, new_sym, true_state, false_state);
orig_state = get_state(SMATCH_EXTRA, name, sym);
set_true_false_states(SMATCH_EXTRA, name, sym, true_state, false_state);
set_true_false_states(SMATCH_EXTRA, rel->name, rel->sym,
set_true_false_states(SMATCH_EXTRA, name, sym,
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm)
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
sm = get_sm_state_expr(SMATCH_EXTRA, iter_var);
if (get_sm_state_expr(SMATCH_EXTRA, condition->left) != sm)
return get_sm_state_expr(SMATCH_EXTRA, iter_var);
state = get_state_stree(unmatched_stree, SMATCH_EXTRA, sm->name, sm->sym);
FOR_EACH_MY_SM(SMATCH_EXTRA, stree, tmp) {
global_states = clone_estates_perm(get_all_states_stree(SMATCH_EXTRA));
state = get_state(SMATCH_EXTRA, cur->name, cur->sym);
set_state(SMATCH_EXTRA, buf, NULL, state);
state = get_state(SMATCH_EXTRA, name, sym);
sm = get_sm_state(SMATCH_EXTRA, name, sym);
sm = get_sm_state_stree(*raw_stree, SMATCH_EXTRA, name, sym);
sm = get_sm_state_expr(SMATCH_EXTRA, expr);
state = get_state(SMATCH_EXTRA, name, sym);
delete_state_stree(stree, SMATCH_EXTRA, rel->name, rel->sym);
delete_state_stree(stree, SMATCH_EXTRA, name, sym);
sm = get_sm_state_expr(SMATCH_EXTRA, left);
sm = get_sm_state_expr(SMATCH_EXTRA, right);
sm = get_sm_state(SMATCH_EXTRA, name, sym);
separate_implication_states(implied_true, implied_false, SMATCH_EXTRA);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
extra = __get_state(SMATCH_EXTRA, cur->name, cur->sym);
state = get_state(SMATCH_EXTRA, var, sym);
FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) {
start_states = get_all_states_stree(SMATCH_EXTRA);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
extra = get_state(SMATCH_EXTRA, cur->name, cur->sym);
FOR_EACH_MY_SM(SMATCH_EXTRA, __get_cur_stree(), tmp) {
old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym);
start_states = get_all_states_stree(SMATCH_EXTRA);
state = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = get_state(SMATCH_EXTRA, name, sym);
state = get_state(SMATCH_EXTRA, name, sym);
extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym);
state = get_state(SMATCH_EXTRA, buf, sym);
extra = get_state(SMATCH_EXTRA, cur->name, cur->sym);
if (a->owner == SMATCH_EXTRA) {