procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

c++: decltype of capture proxy of ref [PR115504]

Browse source 
The finish_decltype_type capture proxy handling added in r14-5330 was
incorrectly stripping references in the type of the captured variable.

	PR c++/115504

gcc/cp/ChangeLog:

	* semantics.cc (finish_decltype_type): Don't strip the reference
	type (if any) of a capture proxy's captured variable.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp1y/decltype-auto8.C: New test.

Reviewed-by: Jason Merrill <jason@redhat.com>
This commit is contained in:
Patrick Palka 2024-06-25 20:07:15 -04:00
parent 3e64a687a3
commit 737449e5f2
2 changed files with 22 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gcc/cp/semantics.cc
View file

@ -12071,7 +12071,6 @@ finish_decltype_type (tree expr, bool id_expression_or_member_access_p,
{
expr = DECL_CAPTURED_VARIABLE (expr);
type = TREE_TYPE (expr);
type = non_reference (type);
}
else
{

22
gcc/testsuite/g++.dg/cpp1y/decltype-auto8.C Normal file
View file

@ -0,0 +1,22 @@
// PR c++/115504
// { dg-do compile { target c++14 } }
void f(int& x, const int& y) {
[&x]() {
decltype(auto) a = x;
using type = decltype(x);
using type = decltype(a);
using type = int&; // not 'int'
};
[x]() {
decltype(auto) a = x; // { dg-error "discards qualifiers" }
};
[x]() mutable {
decltype(auto) a = x;
using type = decltype(x);
using type = decltype(a);
using type = int&;
};
}