From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id AECEE396DC03; Wed, 27 May 2020 15:07:51 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AECEE396DC03
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1590592071;
 bh=umpWE5A8v8mDMH3kAEBcvWCE+Uh52eUOzJbYiQn6Zi8=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=CbMco7qrnAQtacs+wsizKTtStjmoTeMW85efSUsNO1eSxAorNrUOm74eUQVhsA/iT
 fzLqJdc532JmXsPfdBfZVyoviLxjM+S7u7MALUNEAvG5/sRpetdKFq8LFJHaZRUtNx
 1RtvmNqM39/XPWBU2EmtnO3Wts/ZL4sYxd9sTOiI=
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/95349] Using std::launder(p) produces unexpected behavior
 where (p) produces expected behavior
Date: Wed, 27 May 2020 15:07:51 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 10.1.0
X-Bugzilla-Keywords: alias, wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-95349-4-p7qlXSmCUy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-95349-4@http.gcc.gnu.org/bugzilla/>
References: <bug-95349-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 27 May 2020 15:07:51 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D95349

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Andrew Downing from comment #5)
> Also, I'm not sure if operations that implicitly create
> objects in storage are allowed to do so if an object has already explicit=
ly
> created in that storage (from new).

The lifetime of the object created with new ends as soon as the storage is
reused for another object. But I'm not sure if copying new bytes to it does
reuse the storage or not.=