https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69293
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |accepts-invalid
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
Target Milestone|--- |6.0
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I've added a static assertion on trunk so the example now fails with:
/home/jwakely/gcc/6/include/c++/6.0.0/bits/uses_allocator.h:89:7: error: static
assertion failed: construction with an allocator must be possible if
uses_allocator is true
I'm not going to add it to the branches, because this is a real corner case
that is only likely to affect invalid programs, not cause problems for any
correct code.
I've reported a defect against the standard which should fix the definition of
scoped_allocator_adaptor::construct() and when that is resolved I'll fix our
implementation.
