Home
last modified time | relevance | path

Searched refs:valid_ptr_max_sval (Results 1 – 14 of 14) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_unwind.c197 …return_implies_state_sval("__request_region", valid_ptr_min_sval, valid_ptr_max_sval, &request_gra… in check_unwind()
202 …return_implies_state_sval("ioremap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT… in check_unwind()
206 …return_implies_state_sval("pci_iomap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, I… in check_unwind()
211 …return_implies_state_sval("__create_workqueue_key", valid_ptr_min_sval, valid_ptr_max_sval, &reque… in check_unwind()
H A Dsmatch_address.c211 return alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in where_allocated_rl()
228 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in handle_fn_address()
310 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_address_rl()
335 *rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_address_rl()
H A Dcheck_kernel.c96 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_param_valid_ptr()
135 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in match_not_err()
167 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of_macro()
202 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of()
H A Dsmatch_mtag_map.c47 sval_cmp(sval, valid_ptr_max_sval) > 0) in match_assign()
H A Dcheck_held_dev.c116 return_implies_state_sval(func, valid_ptr_min_sval, valid_ptr_max_sval, in register_returns_held_funcs()
H A Dcheck_zero_to_err_ptr.c105 sval_cmp(valid_ptr_max_sval, sval) >= 0) { in is_valid_ptr()
H A Dsmatch_ranges.c719 sval_cmp(drange->max, valid_ptr_max_sval) == 0) in is_unknown_ptr()
871 sval_cmp(tmp->max, valid_ptr_max_sval) <= 0) in collapse_pointer_rl()
872 add_range(&new_rl, valid_ptr_min_sval, valid_ptr_max_sval); in collapse_pointer_rl()
1748 ret = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in ptr_add_mult()
H A Dsmatch_flow.c86 sval_t valid_ptr_max_sval = { variable
95 valid_ptr_max_sval.value = valid_ptr_max; in alloc_valid_ptr_rl()
97 valid_ptr_rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in alloc_valid_ptr_rl()
H A Dsmatch_parse_call_math.c352 sval_cmp(sval, valid_ptr_max_sval) <= 0) in is_mtag_sval()
H A Dsmatch_struct_assignment.c575 return_implies_state_sval("kmemdup", valid_ptr_min_sval, valid_ptr_max_sval, &match_memdup, NULL); in register_struct_assignment()
H A Dcheck_locking.c1094 …return_implies_state_sval(lock->function, valid_ptr_min_sval, valid_ptr_max_sval, &match_lock_held… in register_lock()
H A Dsmatch_extra.c1406 valid_ptr_max_sval)); in set_param_dereferenced()
1409 new = alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval); in set_param_dereferenced()
H A Dsmatch.h626 extern sval_t valid_ptr_max_sval;
H A Dsmatch_math.c1457 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_rl_sval()