public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda
@ 2024-06-15 12:55 fchelnokov at gmail dot com
2024-06-15 19:00 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda pinskia at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: fchelnokov at gmail dot com @ 2024-06-15 12:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
Bug ID: 115504
Summary: Wrong decltype result for a captured reference inside
limbda
Product: gcc
Version: 14.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: fchelnokov at gmail dot com
Target Milestone: ---
This program
```
template<class T> int foo() = delete;
template<> int foo<int&>() { return 0; }
int main() {
int y = 0;
int &i = y;
return [&i]() {
decltype(auto) x = i;
return foo<decltype(x)>();
}();
}
```
is accepted in Clang, MSVC and GCC 13.3, but not in GCC 14, which thinks that
`decltype(x)=int`. Online demo: https://gcc.godbolt.org/z/fc1nrP4P9
Related discussion: https://stackoverflow.com/a/78626163/7325599
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
@ 2024-06-15 19:00 ` pinskia at gcc dot gnu.org
2024-06-17 5:52 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-06-15 19:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I suspect the fix for PR 96917 broke references (or rather changed all to be
non references).
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
2024-06-15 19:00 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda pinskia at gcc dot gnu.org
@ 2024-06-17 5:52 ` rguenth at gcc dot gnu.org
2024-06-17 11:15 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-06-17 5:52 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.2
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
2024-06-15 19:00 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda pinskia at gcc dot gnu.org
2024-06-17 5:52 ` rguenth at gcc dot gnu.org
@ 2024-06-17 11:15 ` jakub at gcc dot gnu.org
2024-06-18 17:23 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330 ppalka at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-06-17 11:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Keywords|needs-bisection |
Priority|P3 |P2
Ever confirmed|0 |1
Last reconfirmed| |2024-06-17
CC| |jakub at gcc dot gnu.org,
| |ppalka at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r14-5330-g705ab7927c81b77503d229513fac991106617766
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
` (2 preceding siblings ...)
2024-06-17 11:15 ` jakub at gcc dot gnu.org
@ 2024-06-18 17:23 ` ppalka at gcc dot gnu.org
2024-06-26 0:07 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-06-18 17:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
` (3 preceding siblings ...)
2024-06-18 17:23 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330 ppalka at gcc dot gnu.org
@ 2024-06-26 0:07 ` cvs-commit at gcc dot gnu.org
2024-06-28 21:14 ` cvs-commit at gcc dot gnu.org
2024-06-28 21:17 ` ppalka at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2024-06-26 0:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:
https://gcc.gnu.org/g:737449e5f233feb682b5dd2cc153892ad90a79bd
commit r15-1631-g737449e5f233feb682b5dd2cc153892ad90a79bd
Author: Patrick Palka <ppalka@redhat.com>
Date: Tue Jun 25 20:07:15 2024 -0400
c++: decltype of capture proxy of ref [PR115504]
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>
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
` (4 preceding siblings ...)
2024-06-26 0:07 ` cvs-commit at gcc dot gnu.org
@ 2024-06-28 21:14 ` cvs-commit at gcc dot gnu.org
2024-06-28 21:17 ` ppalka at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2024-06-28 21:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:
https://gcc.gnu.org/g:e6b115be1c392de415925282a38f28cd78cb6c35
commit r14-10359-ge6b115be1c392de415925282a38f28cd78cb6c35
Author: Patrick Palka <ppalka@redhat.com>
Date: Tue Jun 25 20:07:15 2024 -0400
c++: decltype of capture proxy of ref [PR115504]
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>
(cherry picked from commit 737449e5f233feb682b5dd2cc153892ad90a79bd)
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
` (5 preceding siblings ...)
2024-06-28 21:14 ` cvs-commit at gcc dot gnu.org
@ 2024-06-28 21:17 ` ppalka at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-06-28 21:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115504
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 14.2, thanks for the bug report.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2024-06-28 21:17 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-15 12:55 [Bug c++/115504] New: Wrong decltype result for a captured reference inside limbda fchelnokov at gmail dot com
2024-06-15 19:00 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda pinskia at gcc dot gnu.org
2024-06-17 5:52 ` rguenth at gcc dot gnu.org
2024-06-17 11:15 ` jakub at gcc dot gnu.org
2024-06-18 17:23 ` [Bug c++/115504] [14/15 Regression] Wrong decltype result for a captured reference inside lambda since r14-5330 ppalka at gcc dot gnu.org
2024-06-26 0:07 ` cvs-commit at gcc dot gnu.org
2024-06-28 21:14 ` cvs-commit at gcc dot gnu.org
2024-06-28 21:17 ` ppalka at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).