Searched refs:variable_info_pool (Results 1 – 2 of 2) sorted by relevance
309 static alloc_pool variable_info_pool; variable340 varinfo_t ret = (varinfo_t) pool_alloc (variable_info_pool); in new_var_info()6463 variable_info_pool = create_alloc_pool ("Variable info pool", in init_alias_vars()6747 free_alloc_pool (variable_info_pool); in delete_points_to_sets()
323 static object_allocator<variable_info> variable_info_pool365 varinfo_t ret = variable_info_pool.allocate (); in new_var_info()7361 variable_info_pool.release (); in delete_points_to_sets()