Searched refs:err_ptr_max (Results 1 – 2 of 2) sorted by relevance
27 static sval_t err_ptr_max; variable36 *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()
32 static sval_t err_ptr_max = { variable237 err_ptr_rl = clone_rl_permanent(alloc_rl(err_ptr_min, err_ptr_max)); in check_err_ptr_deref()