usr/src/tools/smatch/src/smatch_extra.c

2609

if (op != PARAM_LIMIT && !sym)

usr/src/tools/smatch/src/smatch_extra.c

2618

if (op == PARAM_LIMIT && !rl_fits_in_type(rl, compare_type))

usr/src/tools/smatch/src/smatch_extra.c

2631

if (op == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_extra.c

2637

if (op == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_extra.c

2643

if (op == PARAM_LIMIT && arg->type == EXPR_BINOP)

usr/src/tools/smatch/src/smatch_extra.c

2651

db_param_limit_filter(expr, param, key, value, PARAM_LIMIT);

usr/src/tools/smatch/src/smatch_extra.c

2902

select_return_states_hook(PARAM_LIMIT, &db_param_limit);

usr/src/tools/smatch/src/smatch_function_hooks.c

1143

if (type == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_function_hooks.c

604

if (type == PARAM_LIMIT && impossible_limit(expr, param, key, value))

usr/src/tools/smatch/src/smatch_function_hooks.c

706

if (type == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_function_hooks.c

713

if (type == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_function_hooks.c

953

if (type == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_implied.c

1060

separate_and_filter(sm, PARAM_LIMIT, limit, __get_cur_stree(), &implied_true, &implied_false, &mixed);

usr/src/tools/smatch/src/smatch_implied.c

130

if (op == PARAM_LIMIT) {

usr/src/tools/smatch/src/smatch_implied.c

259

if (comparison == PARAM_LIMIT) {

usr/src/tools/smatch/src/smatch_implied.c

272

if (comparison == PARAM_LIMIT) {

usr/src/tools/smatch/src/smatch_implied.c

98

if (op == PARAM_LIMIT)

usr/src/tools/smatch/src/smatch_param_limit.c

164

sql_insert_return_states(return_id, return_ranges, PARAM_LIMIT,