Home
last modified time | relevance | path

Searched refs:valid_ptr_min_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.c46 if (sval_cmp(sval, valid_ptr_min_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.c104 if (sval_cmp(valid_ptr_min_sval, sval) <= 0 && in is_valid_ptr()
H A Dsmatch_ranges.c718 if (sval_cmp(drange->min, valid_ptr_min_sval) == 0 && in is_unknown_ptr()
870 if (sval_cmp(tmp->min, valid_ptr_min_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_parse_call_math.c351 if (sval_cmp(sval, valid_ptr_min_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 Dsmatch_flow.c82 const sval_t valid_ptr_min_sval = { variable
97 valid_ptr_rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in alloc_valid_ptr_rl()
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.c1405 alloc_rl(valid_ptr_min_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.h625 extern const sval_t valid_ptr_min_sval;
H A Dsmatch_math.c1457 rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in get_rl_sval()