Searched refs:recurse_cnt (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_math.c | 497 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 D | smatch_stored_conditions.c | 258 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 D | smatch_implied.c | 502 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()
|