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 EC0523858034; Thu,  2 Dec 2021 13:26:40 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EC0523858034
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: =?UTF-8?B?W0J1ZyBjKysvOTQ0OTBdIFRlcm5hcnkgZXhwcmVzc2lvbiB3aXRo?=
 =?UTF-8?B?IDMgY29uc3RzIGlzIOKAnG5vdOKAnSBhIGNvbnN0YW50IGV4cHJlc3Npb24=?=
Date: Thu, 02 Dec 2021 13:26:40 +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.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-94490-4-PZsJkG2ZgQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-94490-4@http.gcc.gnu.org/bugzilla/>
References: <bug-94490-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: <https://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: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 02 Dec 2021 13:26:41 -0000

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Marek Polacek
<mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:5746f9199c2b8f0d679f13e3a48d6f8546a974f6

commit r11-9350-g5746f9199c2b8f0d679f13e3a48d6f8546a974f6
Author: Marek Polacek <polacek@redhat.com>
Date:   Sat Nov 6 18:10:39 2021 -0400

    c++: Fix bogus error with __integer_pack [PR94490]

    Here we issue a bogus:

    error: '(0 ? fake_tuple_size_v<int> : fake_tuple_size_v<int>)' is not a
constant expression

    because cxx_constant_value in expand_integer_pack gets

    *(0 ? VIEW_CONVERT_EXPR<const int>(fake_tuple_size_v) :
VIEW_CONVERT_EXPR<const int>(fake_tuple_size_v))

    which is a REFERENCE_REF_P and we evaluate its operand to 3, so we end
    up with *3 and that fails.  Sounds like we need to get rid of the
    REFERENCE_REF_P then.  That is what tsubst_copy_and_build/INDIRECT_REF
    will do:

            if (REFERENCE_REF_P (t))
              {
                /* A type conversion to reference type will be enclosed in
                   such an indirect ref, but the substitution of the cast
                   will have also added such an indirect ref.  */
                r =3D convert_from_reference (r);
              }

    so I think it's reasonable to call instantiate_non_dependent_expr_sfina=
e.

            PR c++/94490

    gcc/cp/ChangeLog:

            * pt.c (expand_integer_pack): Call
            instantiate_non_dependent_expr_sfinae.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/integer-pack5.C: New test.

    (cherry picked from commit 9af081003f9c19f33457e0ed1aa14a764f462c3c)=