Symbol: has_possible_negative
usr/src/tools/smatch/src/smatch_db.c
1710
if (!has_possible_negative(sm))
usr/src/tools/smatch/src/smatch_db.c
1783
if (has_possible_negative(sm))