Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1581 struct state_list *already_handled = NULL; in split_possible_helper() local
1595 if (ptr_in_list(tmp, already_handled)) in split_possible_helper()
1597 add_ptr_list(&already_handled, tmp); in split_possible_helper()
1600 free_slist(&already_handled); in split_possible_helper()
1608 if (ptr_in_list(tmp, already_handled)) in split_possible_helper()
1610 add_ptr_list(&already_handled, tmp); in split_possible_helper()
1636 free_slist(&already_handled); in split_possible_helper()
1991 struct state_list *already_handled = NULL; in split_on_bool_sm() local
2002 if (ptr_in_list(tmp, already_handled)) in split_on_bool_sm()
2004 add_ptr_list(&already_handled, tmp); in split_on_bool_sm()
[all …]