Symbol: is_unknown_ptr
usr/src/tools/smatch/src/smatch_address.c
162
if (is_unknown_ptr(orig))
usr/src/tools/smatch/src/smatch_extra.h
82
int is_unknown_ptr(struct range_list *rl);