Symbol: set_extra_array_mod
usr/src/tools/smatch/src/smatch_extra.c
1066
set_extra_array_mod(left, alloc_estate_rl(rl));
usr/src/tools/smatch/src/smatch_extra.c
422
set_extra_array_mod(expr, state);