Home
last modified time | relevance | path

Searched refs:option_no_db (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_modification_hooks.c207 if (!option_no_db) in match_call()
H A Dsmatch.c38 int option_no_db = 0; variable
H A Dsmatch.h558 extern int option_no_db;
939 if (option_no_db) \
H A Dsmatch_db.c2398 if (option_no_db) in open_smatch_db()
2409 option_no_db = 1; in open_smatch_db()
H A Dsmatch_kernel_user_data.c1223 if (!option_no_db && get_state(my_call_id, "this_function", NULL) != &called) { in match_syscall_definition()
H A Dsmatch_extra.c985 if (!option_no_db) in match_function_call()