Home
last modified time | relevance | path

Searched refs:sql_insert_return_implies (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_fn_arg_link.c95 sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf); in print_calls_parameter()
181 sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf); in check_passes_fn_and_data()
H A Dcheck_frees_param.c85 sql_insert_return_implies(PARAM_FREED, param, param_name, "1"); in process_states()
H A Dsmatch_param_used.c88 sql_insert_return_implies(PARAM_USED, arg, name, ""); in process_states()
H A Dcheck_dereferences_param.c107 sql_insert_return_implies(DEREFERENCE, arg, name, "1"); in process_states()
H A Dsmatch_about_fn_ptr_arg.c47 sql_insert_return_implies(FN_ARG_LINK, fn_param, "$", buf); in assigns_parameters()
H A Dsmatch.h1000 void sql_insert_return_implies(int type, int param, const char *key, const char *value);
H A Dsmatch_db.c285 void sql_insert_return_implies(int type, int param, const char *key, const char *value) in sql_insert_return_implies() function