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 6CF063858D35; Tue, 23 May 2023 16:48:29 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6CF063858D35
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1684860509;
	bh=hu/oxHKroXlSvz/iFc8ERE6QxaFyBzmWuA17m1eXMAw=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=CXz7htcRJLOZsxJyZGzzQt2dCENr39k3cQI9oGodFN/WBiPcm3ahz07Rqbvq1hp8Y
	 qUWTOXKTNVfFsGli1EsFrlSbnaUUyPaLwy4PySTXb2NgrgKtFNRgPoW4l3lECiMspH
	 olXmCBRtKhepG/5ictrMNr4rtHeMmwEZP9xe6VCI=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109945] Escape analysis hates copy elision:
 different result with -O1 vs -O2
Date: Tue, 23 May 2023 16:48:29 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc cf_known_to_fail
Message-ID: <bug-109945-4-sNj4nJ8x8h@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109945-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109945-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
List-Id: <gcc-bugs.sourceware.org>

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org
      Known to fail|4.1.2, 4.5.3, 4.7.4, 4.9.0  |

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
The testcase is very related to the old PR and shows the issue manifests it=
self
also for !TYPE_NEEDS_CONSTRUCTING types.

I wonder whether we need a CTOR at all here to show the issue.

I also wonder how we can query whether the type has a CTOR (as opposed to
"needs" one).  The function type is

 <function_type 0x7ffff6ff3bd0
    type <record_type 0x7ffff6fdef18 Widget sizes-gimplified needs-construc=
ting
cxx-odr-p type_1 type_5 type_6 BLK
        size <integer_cst 0x7ffff6ff6048 constant 160>
        unit-size <integer_cst 0x7ffff6ff6060 constant 20>
        align:32 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff6fdef18
        fields <function_decl 0x7ffff6ffd000 __dt  type <method_type
0x7ffff6ff3f18>
            public abstract external autoinline decl_3 QI t.ii:1:8 align:16
warn_if_not_align:0 context <record_type 0x7ffff6fdef18 Widget>
            full-name "Widget::~Widget() noexcept (<uninstantiated>)"
            not-really-extern chain <function_decl 0x7ffff6ffd200 __dt_base=
 >>
context <translation_unit_decl 0x7ffff6e3f168 t.ii>
        full-name "struct Widget"
        needs-constructor X() X(constX&) this=3D(X&) n_parents=3D0 use_temp=
late=3D0
interface-unknown
        pointer_to_this <pointer_type 0x7ffff6ff30a8> reference_to_this
<reference_type 0x7ffff6ff3930> chain <type_decl 0x7ffff6e64c78 Widget>>

so the type has TYPE_NEEDS_CONSTRUCTING set but it isn't TREE_ADDRESSABLE.=