Home
last modified time | relevance | path

Searched refs:nr_possible (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
1591 nr_possible = 0; in split_possible_helper()
1598 nr_possible++; in split_possible_helper()
1602 if (nr_states * nr_possible >= 2000) in split_possible_helper()
2048 int nr_possible; in split_by_null_nonnull_param() local
2068 nr_possible = ptr_list_size((struct ptr_list *)sm->possible); in split_by_null_nonnull_param()
2069 if (get_db_state_count() * nr_possible >= 2000) in split_by_null_nonnull_param()