This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: C++17 std::launder and aliasing
On 24 October 2016 at 12:22, Jonathan Wakely <jwakely@redhat.com> wrote:
> The difference is 3.8 [basic.life] paragraph 9, which says that if the
> program ends the lifetime of the automatic object 'a' then it must
> ensure that another object of the same type occupies the same storage
> when the implicit destructor runs. So the original example is OK
Ah, thanks, that fills the gap I had with paragraph 5.