Symbol: store_return_state
usr/src/tools/smatch/src/smatch_function_hooks.c
1163
store_return_state(db_info, ret_str, state);
usr/src/tools/smatch/src/smatch_function_hooks.c
725
store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl)));
usr/src/tools/smatch/src/smatch_function_hooks.c
967
store_return_state(db_info, ret_str, alloc_estate_rl(ret_range));