Home
last modified time | relevance | path

Searched refs:recurse_cnt (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c497 new_recurse = *recurse_cnt; in handle_bitwise_AND()
498 if (*recurse_cnt >= 200) in handle_bitwise_AND()
503 *recurse_cnt = new_recurse; in handle_bitwise_AND()
669 return use_rl_binop(expr, implied, recurse_cnt, res); in handle_binop_rl_helper()
1193 if (get_rl_internal(arg, RL_EXACT, recurse_cnt, &rl)) in handle_builtin_constant_p()
1404 if (++(*recurse_cnt) >= 200) in get_rl_sval()
1411 handle_cast(expr, implied, recurse_cnt, &rl, &sval); in get_rl_sval()
1512 int recurse_cnt = 0; in get_rl_helper() local
1557 int recurse_cnt = 0; in get_value_literal() local
1570 int recurse_cnt = 0; in get_value() local
[all …]
H A Dsmatch_stored_conditions.c258 int *recurse_cnt) in filter_by_sm() argument
263 if ((*recurse_cnt)++ > RECURSE_LIMIT) in filter_by_sm()
273 filter_by_sm(sm->left, true_stack, false_stack, recurse_cnt); in filter_by_sm()
274 filter_by_sm(sm->right, true_stack, false_stack, recurse_cnt); in filter_by_sm()
284 int recurse_cnt = 0; in stored_condition_implication_hook() local
302 filter_by_sm(sm, &tmp_true, &tmp_false, &recurse_cnt); in stored_condition_implication_hook()
305 if (recurse_cnt > RECURSE_LIMIT) { in stored_condition_implication_hook()
H A Dsmatch_implied.c502 int *modified, int *recurse_cnt, in filter_pools() argument
522 if ((*recurse_cnt)++ > RECURSE_LIMIT) { in filter_pools()
543 left = filter_pools(sm->left, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail); in filter_pools()
544 …right = filter_pools(sm->right, remove_stack, keep_stack, &removed, recurse_cnt, start, skip, bail… in filter_pools()
596 int recurse_cnt; in filter_stack() local
609 recurse_cnt = 0; in filter_stack()
611 …filtered_sm = filter_pools(tmp, remove_stack, keep_stack, &modified, &recurse_cnt, &start, &skip, … in filter_stack()