Home
last modified time | relevance | path

Searched refs:option_debug_check (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c161 if (option_debug || strcmp(check_name(owner), option_debug_check) == 0) { in set_state()
271 strcmp(check_name(sm->owner), option_debug_check) == 0) { in __set_sm()
297 strcmp(check_name(sm->owner), option_debug_check) == 0) { in __set_sm_cur_stree()
320 strcmp(check_name(sm->owner), option_debug_check) == 0) { in __set_sm_fake_stree()
563 if (option_debug || strcmp(check_name(owner), option_debug_check) == 0) { in set_true_false_states()
617 if (option_debug || strcmp(check_name(owner), option_debug_check) == 0) { in __set_true_false_sm()
H A Dsmatch.c27 char *option_debug_check = (char *)""; variable
206 option_debug_check = (*argvp)[i] + 8; in parse_args()
H A Dcheck_debug.c493 option_debug_check = arg->string->data; in match_debug_check()
494 sm_msg("arg = '%s'", option_debug_check); in match_debug_check()
499 option_debug_check = (char *)""; in match_debug_off()
H A Dsmatch_slist.c498 strcmp(check_name(one->owner), option_debug_check) == 0) { in merge_sm_states()
H A Dsmatch.h1037 extern char *option_debug_check;