Symbol: db_return_states_assign
usr/src/tools/smatch/src/smatch_function_hooks.c
1051
handled |= db_return_states_assign(expr);
usr/src/tools/smatch/src/smatch_function_hooks.c
1078
if (db_return_states_assign(expr) == 1)