Symbol: pseudo_user_list_size
usr/src/tools/smatch/src/flow.c
504
switch (pseudo_user_list_size(addr->users)) {
usr/src/tools/smatch/src/linearize.h
269
return pseudo_user_list_size(p->users);
usr/src/tools/smatch/src/ssa.c
157
if (pseudo_user_list_size(addr->users) > 1)