Symbol: TAG_DIRTY
usr/src/tools/smatch/src/example.c
394
if (!(CURRENT_TAG(pseudo) & TAG_DIRTY))
usr/src/tools/smatch/src/example.c
458
add_ptr_list_tag(&reg->contains, pseudo, TAG_DIRTY);