Searched refs:push_state_at_start (Results 1 – 1 of 1) sorted by relevance
109 static void push_state_at_start(struct smatch_state *state) in push_state_at_start() function132 push_state_at_start(state); in before_loop()