Paolo Carlini <[EMAIL PROTECTED]> writes: [...]
| In summary, for v3, one possibility could be combining the two | quantities, consistently for all the containers, thus, essentially, | compute container::max_size as min(allocator::max_size, | numeric_limits<difference_type>::max) (all the computations modulo | sizeof(T)). In this way, we could be sure that, in vector for example, | substracting the _M_start and _M_finish pointers doesn't overflow a | ptrdiff_t (the latter finally is casted to a size_t in order to call | allocator::deallocate). Do you agree with opening a separare v3 PR and | tackling it along this route? Yes; and we should have a LWG issue for clarification. Howard? -- Gaby
