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 C62BC3858D20; Thu, 13 Apr 2023 21:31:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C62BC3858D20
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1681421495;
	bh=L+10p2lYPJE/gs0XIsCUPEWQgxOCdR//kHTwebvuvKo=;
	h=From:To:Subject:Date:From;
	b=KECHfcFXrJgqwdI48ChRZMTFLRDGQaqmT4npz3Jd69qT4cFzTyDTA2w17cSfR8aO6
	 zmGkte6NoXj24HdqFksG7RPSMabMdcK6JtqhmYVyocAkNMeMU+1NATLenLEeCQt4WL
	 B9kpiLvrsEbD4KVhhCAXVZWLUdE3FvfggoDh9X80=
From: "sjames at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: =?UTF-8?B?W0J1ZyBjKysvMTA5NTA2XSBOZXc6IFsxMyByZWdyZXNzaW9uXSAn?=
 =?UTF-8?B?ZXJyb3I6IGlubGluaW5nIGZhaWxlZCBpbiBjYWxsIHRvIOKAmGFsd2F5c19p?=
 =?UTF-8?B?bmxpbmXigJkg4oCYZm9vPFQ+Ojpmb28oKSBbd2l0aCBUID0gdm9pZF3igJk6?=
 =?UTF-8?B?IGZ1bmN0aW9uIGJvZHkgbm90IGF2YWlsYWJsZSc=?=
Date: Thu, 13 Apr 2023 21:31:35 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: sjames 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: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-109506-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=3D109506

            Bug ID: 109506
           Summary: [13 regression] 'error: inlining failed in call to
                    =E2=80=98always_inline=E2=80=99 =E2=80=98foo<T>::foo() =
[with T =3D void]=E2=80=99:
                    function body not available'
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sjames at gcc dot gnu.org
  Target Milestone: ---

```
$ cat /tmp/foo.cxx
template <typename T> struct foo {
  __attribute__((__always_inline__)) foo() {};
};
template <typename T> class bar {
  foo<void> alloc_ {};
};
template <typename... A>
void func1(A &&...) {
  bar<void>();
}
void func2() {
  func1();
}

$ g++ -c -std=3Dc++20 /tmp/foo.cxx
/tmp/foo.cxx: In constructor =E2=80=98constexpr bar<void>::bar()=E2=80=99:
/tmp/foo.cxx:2:38: error: inlining failed in call to =E2=80=98always_inline=
=E2=80=99
=E2=80=98foo<T>::foo() [with T =3D void]=E2=80=99: function body not availa=
ble
    2 |   __attribute__((__always_inline__)) foo() {};
      |                                      ^~~
/tmp/foo.cxx:4:29: note: called from here
    4 | template <typename T> class bar {
      |                             ^~~

$ g++ --version
g++ (Gentoo Hardened 13.0.1_pre20230409-r4 p9) 13.0.1 20230409 (experimenta=
l)
Copyright (C) 2023 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
```

It compiles if the template on func1 is removed.

This works with 12 and Arsen reports that an earlier 13 is ok, but not had a
chance to bisect yet.=