Symbol: get_terminated_state
usr/src/tools/smatch/src/smatch_nul_terminator.c
118
state = get_terminated_state(expr->right);
usr/src/tools/smatch/src/smatch_nul_terminator.c
162
state = get_terminated_state(arg);
usr/src/tools/smatch/src/smatch_nul_terminator.c
270
if (get_terminated_state(expr) == &terminated)