Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1578 int nr_possible, nr_states; in split_possible_helper() local
1601 nr_states = get_db_state_count(); in split_possible_helper()
1602 if (nr_states * nr_possible >= 2000) in split_possible_helper()
1765 int nr_states; in call_return_state_hooks_split_null_non_null_zero() local
1788 nr_states = get_db_state_count(); in call_return_state_hooks_split_null_non_null_zero()
1789 if (option_info && nr_states >= 1500) in call_return_state_hooks_split_null_non_null_zero()
1865 int nr_states; in call_return_state_hooks_split_success_fail() local
1873 nr_states = get_db_state_count(); in call_return_state_hooks_split_success_fail()
1874 if (nr_states > 2000) in call_return_state_hooks_split_success_fail()
2121 int nr_states; in call_return_state_hooks() local
[all …]