Searched defs:_New_ptr (Results 1 – 1 of 1) sorted by relevance
789 pointer _New_ptr = _Al.allocate(_New_capacity + 1); // throws in version() local808 pointer _New_ptr = _Al.allocate(_New_capacity + 1); // throws in version() local