Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_kernel.c27 static sval_t err_ptr_max; 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()
450 err_ptr_max.type = &ptr_ctype; in check_kernel()
451 err_ptr_max.value = -1l; in check_kernel()
456 err_ptr_max = sval_cast(&ptr_ctype, err_ptr_max); in check_kernel()
H A Dcheck_err_ptr_deref.c32 static sval_t err_ptr_max = { variable
237 err_ptr_rl = clone_rl_permanent(alloc_rl(err_ptr_min, err_ptr_max)); in check_err_ptr_deref()