Searched refs:valid_ptr_rl (Results 1 – 6 of 6) sorted by relevance
139 if (!rl_intersection(estate_rl(state), valid_ptr_rl)) in get_mtag_return()156 rl = rl_filter(estate_rl(state), valid_ptr_rl); in get_mtag_return()
176 rl = rl_intersection(rl, valid_ptr_rl); in set_fresh()
90 struct range_list *valid_ptr_rl; variable97 valid_ptr_rl = alloc_rl(valid_ptr_min_sval, valid_ptr_max_sval); in alloc_valid_ptr_rl()98 valid_ptr_rl = cast_rl(&ptr_ctype, valid_ptr_rl); in alloc_valid_ptr_rl()99 valid_ptr_rl = clone_rl_permanent(valid_ptr_rl); in alloc_valid_ptr_rl()
127 return rl_union(valid_ptr_rl, rl); in generify_mtag_range()
1348 rl = rl_intersection(estate_rl(state), valid_ptr_rl); in check_dereference()1356 rl = rl_intersection(rl, valid_ptr_rl); in check_dereference()1358 rl = clone_rl(valid_ptr_rl); in check_dereference()
627 extern struct range_list *valid_ptr_rl;