Searched refs:variable_info_pool (Results 1 – 1 of 1) sorted by relevance
273 static alloc_pool variable_info_pool; variable370 varinfo_t ret = pool_alloc (variable_info_pool); in new_var_info()4687 variable_info_pool = create_alloc_pool ("Variable info pool", in init_alias_vars()4944 free_alloc_pool (variable_info_pool); in delete_points_to_sets()