Symbol: __iterator_unchanged
usr/src/tools/smatch/src/smatch_extra.h
191
int __iterator_unchanged(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_flow.c
666
unchanged = __iterator_unchanged(extra_sm);