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 737243858025; Tue, 14 Mar 2023 18:46:33 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 737243858025
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1678819593;
	bh=9TtPROrMaRnU4b+i+lKuxUD+ZBQo5BuA8+EimhASuPk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Wt2ET7v4ziPpDlYpOdRm076vm/LWBxmbs/O+szVh/e+ehHy1XKTwSHtMcQbCIfeBm
	 CcS01KXyR9vQ2WO+abRZw5b1c+wrFx5LIeNWKhGe4LLXamMotd+90XijiMDs+I+WqT
	 29yxWnWR739tlKhulxhEnCMzQIpTEmpWIXW5M9RI=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107310] [12/13 Regression] "warning: control reaches end of
 non-void function" with a throw under a trivially-true conditional since
 r12-5638-ga3e75c1491cd2d50
Date: Tue, 14 Mar 2023 18:46:33 +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: 12.1.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: jason at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 12.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107310-4-V43W9uiLRK@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107310-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107310-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=3D107310

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:71b33f8fb8daa6a7a359f322b24365d9016438fc

commit r13-6670-g71b33f8fb8daa6a7a359f322b24365d9016438fc
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Mar 14 12:20:51 2023 -0400

    c++: -Wreturn-type with if (true) throw [PR107310]

    I removed this folding in GCC 12 because it was interfering with an
    experiment of richi's, but that never went in and the change causes
    regressions, so let's put it back.

    This reverts commit r12-5638-ga3e75c1491cd2d.

            PR c++/107310

    gcc/cp/ChangeLog:

            * cp-gimplify.cc (genericize_if_stmt): Restore folding
            of constant conditions.

    gcc/testsuite/ChangeLog:

            * c-c++-common/Wimplicit-fallthrough-39.c: Adjust warning.
            * g++.dg/warn/Wreturn-6.C: New test.=