Symbol: set_extra_chunk_true_false
usr/src/tools/smatch/src/smatch_extra.c
1935
set_extra_chunk_true_false(left, NULL, alloc_estate_range(min, max));
usr/src/tools/smatch/src/smatch_extra.c
589
set_extra_chunk_true_false(expr, true_state, false_state);