[ 2018-06 Rapperswil Thursday issues processing ]

Consensus was that the overflow should be detected and an exception thrown rather than leaving that to the underlying memory resource. Billy to reword, and then get feedback on the reflector. Status to Open.

Previous resolution [SUPERSEDED]:

Wording relative to N4700.

1. Edit [mem.poly.allocator.mem] as indicated:

   Tp* allocate(size_t n);
   

   -1- ReturnsEffects: Equivalent to

   return static_cast<Tp*>(memory_rsrc->allocate(SIZE_MAX / sizeof(Tp) < n ? SIZE_MAX : n * sizeof(Tp), alignof(Tp)));