Searched refs:unknown_ptr (Results 1 – 1 of 1) sorted by relevance
1407 const svalue *unknown_ptr = get_or_create_unknown_svalue (ptr_type); in get_unknown_symbolic_region() local1408 return get_symbolic_region (unknown_ptr); in get_unknown_symbolic_region()