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 60F2F385DC13; Tue, 31 Oct 2023 17:36:03 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 60F2F385DC13
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1698773763;
	bh=i0An2Doq0ADJvJa06mRFxmAppL4f5vNbjSXhJeCagms=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Jpdvf4ZvN1LnMutax1CM2C+5AaV87YC09uuQAWLGOay6vSeZbDOvP2CQuAm+3+Axd
	 WmYuFMpQ60RlPteHl2sA/02t2VCH8/38+YZcZSL2PXfdkEZS5Yl9F0pULsyEMQOUwJ
	 rLi1JC30jH/1uJ/vLZB577SxaCSOwOXJmaduaxsE=
From: "ppalka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/111703] [11/12/13/14 Regression] [C++20]Compiler fails when
 using generic lambda in specific situation since r11-550-gf65a3299a521a4
Date: Tue, 31 Oct 2023 17:36:02 +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: 13.2.0
X-Bugzilla-Keywords: c++-lambda, rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ppalka at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ppalka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cf_known_to_work assigned_to keywords
 cf_known_to_fail target_milestone bug_status short_desc
Message-ID: <bug-111703-4-gDoXY5oWUx@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111703-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111703-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=3D111703

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|11.4.0                      |10.5.0
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot g=
nu.org
           Keywords|needs-bisection,            |
                   |needs-reduction             |
      Known to fail|                            |11.4.0
   Target Milestone|12.4                        |11.5
             Status|NEW                         |ASSIGNED
            Summary|[12/13/14 Regression]       |[11/12/13/14 Regression]
                   |[C++20]Compiler fails when  |[C++20]Compiler fails when
                   |using generic lambda in     |using generic lambda in
                   |specific situation          |specific situation since
                   |                            |r11-550-gf65a3299a521a4

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reduced testcase exhibitng an 11 regression:

template<class T>
constexpr bool always_true() { return true; }

struct P {
  P() =3D default;

  template<class T>
    requires (always_true<T>())
  constexpr P(const T&) { }

  int n, m;
};

void (*f)(P);

template<class T>
constexpr bool h() {
  P x;
  f(x);
  return true;
}=