Searched refs:PARAM_LIMIT (Results 1 – 5 of 5) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_function_hooks.c | 604 if (type == PARAM_LIMIT && impossible_limit(expr, param, key, value)) in is_impossible_data()
706 if (type == PARAM_LIMIT) in db_compare_callback()
713 if (type == PARAM_LIMIT) in db_compare_callback()
953 if (type == PARAM_LIMIT) in db_assign_return_states_callback()
1143 if (type == PARAM_LIMIT) in db_return_states_callback()
|
| H A D | smatch_implied.c | 98 if (op == PARAM_LIMIT) in show_comparison()
130 if (op == PARAM_LIMIT) { in split_comparison_helper()
259 if (comparison == PARAM_LIMIT) { in possibly_true_helper()
272 if (comparison == PARAM_LIMIT) { in possibly_false_helper()
1060 …separate_and_filter(sm, PARAM_LIMIT, limit, __get_cur_stree(), &implied_true, &implied_false, &mix… in param_limit_implications()
|
| H A D | smatch_param_limit.c | 164 sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT, in print_return_value_param()
|
| H A D | smatch_extra.c | 2609 if (op != PARAM_LIMIT && !sym) in db_param_limit_filter()
2618 if (op == PARAM_LIMIT && !rl_fits_in_type(rl, compare_type)) in db_param_limit_filter()
2631 if (op == PARAM_LIMIT) in db_param_limit_filter()
2637 if (op == PARAM_LIMIT) in db_param_limit_filter()
2643 if (op == PARAM_LIMIT && arg->type == EXPR_BINOP) in db_param_limit_filter()
2651 db_param_limit_filter(expr, param, key, value, PARAM_LIMIT); in db_param_limit()
2902 select_return_states_hook(PARAM_LIMIT, &db_param_limit); in register_smatch_extra()
|
| H A D | smatch.h | 825 PARAM_LIMIT = 103, enumerator
|