Symbol: sql_insert_return_implies
usr/src/tools/smatch/src/check_dereferences_param.c
107
sql_insert_return_implies(DEREFERENCE, arg, name, "1");
usr/src/tools/smatch/src/check_frees_param.c
85
sql_insert_return_implies(PARAM_FREED, param, param_name, "1");
usr/src/tools/smatch/src/smatch.h
1000
void sql_insert_return_implies(int type, int param, const char *key, const char *value);
usr/src/tools/smatch/src/smatch_about_fn_ptr_arg.c
47
sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf);
usr/src/tools/smatch/src/smatch_fn_arg_link.c
181
sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf);
usr/src/tools/smatch/src/smatch_fn_arg_link.c
95
sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf);
usr/src/tools/smatch/src/smatch_param_used.c
88
sql_insert_return_implies(PARAM_USED, arg, name, "");