Searched refs:extra_empty (Results 1 – 1 of 1) sorted by relevance
379 struct smatch_state *extra_empty(void) in extra_empty() function416 return extra_empty(); in alloc_estate_rl()