Home
last modified time | relevance | path

Searched defs:start_states (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_start_states.c29 static struct stree *start_states; variable
H A Dsmatch_param_limit.c52 static struct stree *start_states; variable
H A Dsmatch_param_filter.c38 static struct stree *start_states; variable
H A Dcheck_nospec.c99 struct stree *start_states = get_start_states(); in returned_struct_members() local
H A Dcheck_atomic_inc_dec.c45 static struct stree *start_states; variable
H A Dcheck_locking.c431 static struct stree *start_states; variable
H A Dsmatch_kernel_user_data.c57 static struct stree *start_states; variable
H A Dsmatch_db.c1948 struct stree *start_states; in find_bool_param() local