[Bug libstdc++/69293] scoped_allocator_adaptor::construct calls wrong function

[redi at gcc dot gnu.org]

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.