Home
last modified time | relevance | path

Searched refs:err_ptr_min (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_kernel.c26 static sval_t err_ptr_min; variable
36 *rl = alloc_rl(err_ptr_min, err_ptr_max); in implied_err_cast_return()
94 rl = remove_range(rl, err_ptr_min, err_ptr_max); in match_param_valid_ptr()
151 rl = alloc_rl(err_ptr_min, err_ptr_max); in match_err()
152 rl = rl_intersection(rl, alloc_rl(err_ptr_min, err_ptr_max)); in match_err()
448 err_ptr_min.type = &ptr_ctype; in check_kernel()
449 err_ptr_min.value = -4095; in check_kernel()
455 err_ptr_min = sval_cast(&ptr_ctype, err_ptr_min); in check_kernel()
H A Dcheck_err_ptr_deref.c27 static sval_t err_ptr_min = { variable
237 err_ptr_rl = clone_rl_permanent(alloc_rl(err_ptr_min, err_ptr_max)); in check_err_ptr_deref()