Searched refs:constraint_pool (Results 1 – 2 of 2) sorted by relevance
540 static object_allocator<constraint> constraint_pool ("Constraint pool");662 constraint_t ret = constraint_pool.allocate (); in new_constraint()7572 constraint_pool.release (); in delete_points_to_sets()
548 static object_allocator<constraint> constraint_pool ("Constraint pool"); variable670 constraint_t ret = constraint_pool.allocate (); in new_constraint()7730 constraint_pool.release (); in delete_points_to_sets()