Searched refs:global_states (Results 1 – 2 of 2) sorted by relevance
78 struct stree *global_states; variable1852 global_states = clone_estates_perm(get_all_states_stree(SMATCH_EXTRA)); in split_c_file_functions()
226 extern struct stree *global_states;