Home
last modified time | relevance | path

Searched refs:call_results_to_rl (Results 1 – 11 of 11) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c592 call_results_to_rl(expr, compare_type, value, &limit); in impossible_limit()
694 call_results_to_rl(db_info->expr, get_type(strip_expr(db_info->expr)), ret_str, &ret_range); in db_compare_callback()
957 …call_results_to_rl(db_info->expr->right, get_type(strip_expr(db_info->expr->right)), ret_str, &ret… in db_assign_return_states_callback()
1146 call_results_to_rl(db_info->expr, get_type(strip_expr(db_info->expr)), ret_str, &ret_range); in db_return_states_callback()
H A Dsmatch_extra.h47 void call_results_to_rl(struct expression *call, struct symbol *type, const char *value, struct ran…
H A Dcheck_kernel.c117 call_results_to_rl(call_expr, &ptr_ctype, "0,(-4095)-(-1)", &rl); in match_param_err_or_null()
H A Dsmatch_type_val.c631 call_results_to_rl(expr, type, value, &rl); in db_param_add()
H A Dsmatch_kernel_user_data.c1250 call_results_to_rl(expr, type, value, &rl); in store_user_data_return()
1268 call_results_to_rl(expr, type, value, &rl); in set_to_user_data()
H A Dsmatch_buf_size.c278 call_results_to_rl(call, &int_ctype, math, &rl); in db_returns_buf_size()
H A Dcheck_debug.c603 call_results_to_rl(call, type, two->string->data, rl); in match_type_rl_return()
H A Dsmatch_extra.c2603 call_results_to_rl(expr, compare_type, value, &limit); in db_param_limit_filter()
2692 call_results_to_rl(expr, arg_type, value, &added); in db_param_add_set()
2762 call_results_to_rl(call, type, value, &rl); in db_param_value()
H A Dsmatch_implied.c1058 call_results_to_rl(expr, compare_type, value, &limit); in param_limit_implications()
H A Dsmatch_ranges.c687 void call_results_to_rl(struct expression *expr, struct symbol *type, const char *value, struct ran… in call_results_to_rl() function
H A Dsmatch_db.c711 call_results_to_rl(call_expr, ret_info->return_type, argv[0], &rl); in db_return_callback()