public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620
@ 2021-04-01 15:38 hewillk at gmail dot com
2021-04-01 18:31 ` [Bug c++/99869] [11 Regression] " mpolacek at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: hewillk at gmail dot com @ 2021-04-01 15:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
Bug ID: 99869
Summary: ICE: in do_auto_deduction, at cp/pt.c:29620
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: hewillk at gmail dot com
Target Milestone: ---
This is a small variant of fixed PR 99815.
https://godbolt.org/z/jezs4qh3E
template <typename...> concept C = true;
template <typename... Ts>
auto bar(Ts...) { for (C<Ts...> auto c : ""); }
<source>:4:42: internal compiler error: in do_auto_deduction, at cp/pt.c:29620
4 | auto bar(Ts...) { for (C<Ts...> auto c : ""); }
| ^~
0x1cfca39 internal_error(char const*, ...)
???:0
0x6ba92b fancy_abort(char const*, int, char const*)
???:0
0x90a724 do_auto_deduction(tree_node*, tree_node*, tree_node*, int,
auto_deduction_context, tree_node*, int)
???:0
0x8e126d c_parse_file()
???:0
0xa60292 c_common_parse_file()
???:0
Please submit a full bug report,
with preprocessed source if appropriate.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/99869] [11 Regression] ICE: in do_auto_deduction, at cp/pt.c:29620
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
@ 2021-04-01 18:31 ` mpolacek at gcc dot gnu.org
2021-04-01 18:32 ` mpolacek at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2021-04-01 18:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2021-04-01
Ever confirmed|0 |1
Priority|P3 |P1
Target Milestone|--- |11.0
CC| |mpolacek at gcc dot gnu.org
Summary|ICE: in do_auto_deduction, |[11 Regression] ICE: in
|at cp/pt.c:29620 |do_auto_deduction, at
| |cp/pt.c:29620
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed. Also tarted with r11-7540. Patrick, can you please take a look at
this one too?
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/99869] [11 Regression] ICE: in do_auto_deduction, at cp/pt.c:29620
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
2021-04-01 18:31 ` [Bug c++/99869] [11 Regression] " mpolacek at gcc dot gnu.org
@ 2021-04-01 18:32 ` mpolacek at gcc dot gnu.org
2021-04-01 18:35 ` ppalka at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2021-04-01 18:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #1)
> Confirmed. Also tarted with r11-7540. Patrick, can you please take a look
> at this one too?
*started
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/99869] [11 Regression] ICE: in do_auto_deduction, at cp/pt.c:29620
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
2021-04-01 18:31 ` [Bug c++/99869] [11 Regression] " mpolacek at gcc dot gnu.org
2021-04-01 18:32 ` mpolacek at gcc dot gnu.org
@ 2021-04-01 18:35 ` ppalka at gcc dot gnu.org
2021-04-02 23:57 ` cvs-commit at gcc dot gnu.org
2021-04-05 13:42 ` ppalka at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-04-01 18:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org
CC| |ppalka at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
I'm on it.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/99869] [11 Regression] ICE: in do_auto_deduction, at cp/pt.c:29620
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
` (2 preceding siblings ...)
2021-04-01 18:35 ` ppalka at gcc dot gnu.org
@ 2021-04-02 23:57 ` cvs-commit at gcc dot gnu.org
2021-04-05 13:42 ` ppalka at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-04-02 23:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
--- Comment #4 from CVS 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:260caabe10cde0158b87968a3bac85575301dafa
commit r11-7963-g260caabe10cde0158b87968a3bac85575301dafa
Author: Patrick Palka <ppalka@redhat.com>
Date: Fri Apr 2 19:46:24 2021 -0400
c++: placeholder type constraint inside range-for [PR99869]
In the testcase below, during ahead-of-time deduction of a constrained
auto inside a range-based for loop, we trip over an assert within
do_auto_deduction which expects the deduction context to be
adc_return_type or adc_variable_type, but do_range_for_auto_deduction
calls do_auto_deduction with the context defaulted to adc_unspecified.
We could safely relax the assert to also accept adc_unspecified, but it
seems the deduction context should really be adc_variable_type here.
gcc/cp/ChangeLog:
PR c++/99869
* parser.c (do_range_for_auto_deduction): Pass adc_variable_type
to do_auto_deduction.
gcc/testsuite/ChangeLog:
PR c++/99869
* g++.dg/cpp2a/concepts-placeholder6.C: New test.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug c++/99869] [11 Regression] ICE: in do_auto_deduction, at cp/pt.c:29620
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
` (3 preceding siblings ...)
2021-04-02 23:57 ` cvs-commit at gcc dot gnu.org
@ 2021-04-05 13:42 ` ppalka at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-04-05 13:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99869
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-04-05 13:42 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-01 15:38 [Bug c++/99869] New: ICE: in do_auto_deduction, at cp/pt.c:29620 hewillk at gmail dot com
2021-04-01 18:31 ` [Bug c++/99869] [11 Regression] " mpolacek at gcc dot gnu.org
2021-04-01 18:32 ` mpolacek at gcc dot gnu.org
2021-04-01 18:35 ` ppalka at gcc dot gnu.org
2021-04-02 23:57 ` cvs-commit at gcc dot gnu.org
2021-04-05 13:42 ` 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).