[Bug c++/94038] [8/9/10 Regression] Compiling with -Wall causes function template body to get needlessly instantiated

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>:

https://gcc.gnu.org/g:6d1556ecfae3eff010ef7dc15f3da998403fa196

commit r11-590-g6d1556ecfae3eff010ef7dc15f3da998403fa196
Author: Patrick Palka <ppa...@redhat.com>
Date:   Sat May 23 14:39:28 2020 -0400

    c++: Avoid concept evaluation when uid-sensitive [PR94038]

    Concept evaluation may entail DECL_UID generation and/or template
    instantiation, so in general we can't perform it during uid-sensitive
    constexpr evaluation.

    gcc/cp/ChangeLog:

            PR c++/94038
            * constexpr.c (cxx_eval_constant_expression)
            <case TEMPLATE_ID_EXPR>: Don't evaluate the concept when
            constexpr evaluation is uid-sensitive.

    gcc/testsuite/ChangeLog:

            PR c++/94038
            * g++.dg/warn/pr94038-3.C: New test.