Symbol: set_extra_nomod_helper
usr/src/tools/smatch/src/smatch_extra.c
450
set_extra_nomod_helper(new_name, new_sym, expr, state);
usr/src/tools/smatch/src/smatch_extra.c
454
set_extra_nomod_helper(name, sym, expr, state);
usr/src/tools/smatch/src/smatch_extra.c
465
set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state));