c++: double non-dep folding from finish_compound_literal [PR104565]
authorPatrick Palka <ppalka@redhat.com>
Thu, 17 Feb 2022 13:35:23 +0000 (08:35 -0500)
committerPatrick Palka <ppalka@redhat.com>
Thu, 17 Feb 2022 13:35:23 +0000 (08:35 -0500)
commit6bbd8afee0036c274f5ebb5b48d6fdc2091bd046
treeec10d9a576e6719c40aa4b5c45f82351fa14a60e
parent754dce903ca28c4c2f2bc8614a8de5e631655f2e
c++: double non-dep folding from finish_compound_literal [PR104565]

In finish_compound_literal, we perform non-dependent expr folding before
the call to check_narrowing ever since r9-5973.  But ever since r10-7096,
check_narrowing also performs non-dependent expr folding of its own.
This double folding means tsubst will see non-templated trees during the
second folding, which causes a spurious error in the below testcase.

This patch removes the former folding operation; it seems obviated by
the latter one.

PR c++/104565

gcc/cp/ChangeLog:

* semantics.cc (finish_compound_literal): Don't perform
non-dependent expr folding before calling check_narrowing.

gcc/testsuite/ChangeLog:

* g++.dg/template/non-dependent22.C: New test.
gcc/cp/semantics.cc
gcc/testsuite/g++.dg/template/non-dependent22.C [new file with mode: 0644]