Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c163 static int get_db_state_count(void) in get_db_state_count() function
1601 nr_states = get_db_state_count(); in split_possible_helper()
1696 if (get_db_state_count() > 10000 / 3) in split_positive_from_negative()
1788 nr_states = get_db_state_count(); in call_return_state_hooks_split_null_non_null_zero()
1873 nr_states = get_db_state_count(); in call_return_state_hooks_split_success_fail()
2038 if (get_db_state_count() * 2 >= 2000) in split_by_bool_param()
2069 if (get_db_state_count() * nr_possible >= 2000) in split_by_null_nonnull_param()
2162 nr_states = get_db_state_count(); in call_return_state_hooks()