Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_slist.h37 int too_many_possible(struct sm_state *sm);
H A Dsmatch_slist.c220 int too_many_possible(struct sm_state *sm) in too_many_possible() function
233 if (too_many_possible(to)) in add_possible_sm()
H A Dsmatch_db.c1587 if (too_many_possible(sm)) in split_possible_helper()
1996 if (too_many_possible(sm)) in split_on_bool_sm()