Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_readl_infinite_loops.c28 struct state_stack *state_at_start; variable
103 FOR_EACH_PTR(state_at_start, tmp) { in match_return()
111 add_ptr_list(&state_at_start, state); in push_state_at_start()
118 state = last_ptr_list((struct ptr_list *)state_at_start); in pop_state_at_start()
119 delete_ptr_list_last((struct ptr_list **)&state_at_start); in pop_state_at_start()
129 if (ptr_list_empty((struct ptr_list *)state_at_start)) in before_loop()