https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
--- Comment #9 from Andrew Giese ---
(In reply to Jonathan Wakely from comment #8)
> The OP's example is supposed to be ill-formed though, it shouldn't compile
> successfully. So I don't think it's fixed.
That's my mistake, sorry. Yes the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Jonathan Wakely changed:
What|Removed |Added
Last reconfirmed|2022-09-20 00:00:00 |2024-2-15
--- Comment #8 from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Andrew Giese changed:
What|Removed |Added
CC||gieseanw+gcc at gmail dot com
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Jonathan Wakely changed:
What|Removed |Added
Last reconfirmed|2021-08-16 00:00:00 |2022-9-20
--- Comment #6 from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
--- Comment #5 from Jonathan Wakely ---
(In reply to 康桓瑋 from comment #4)
> same form, but this will trigger ICE:
That's a completely different bug. I've opened PR 106976
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
--- Comment #4 from 康桓瑋 ---
same form, but this will trigger ICE:
struct S{
constexpr static auto s = requires { []; };
};
:1:8: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Jonathan Wakely changed:
What|Removed |Added
Keywords|accepts-invalid |wrong-code
--- Comment #3 from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
Jonathan Wakely changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Keywords|wrong-code
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
--- Comment #1 from 康桓瑋 ---
You can see more weird cases in this:
https://stackoverflow.com/questions/66578966/weird-return-value-of-c20-requires-expression.