[Bug c++/125537] [contracts] g++-16 crashes on contracts pre and post with placeholder return type
"waffl3x at gcc dot gnu.org via Gcc-bugs" <[email protected]>
| Newsgroups | gmane.comp.gcc.bugs |
|---|---|
| Message-ID | <[email protected]/bugzilla/> |
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125537
Waffl3x <waffl3x at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |waffl3x at gcc dot gnu.org
Last reconfirmed| |2026-08-15
CC| |waffl3x at gcc dot gnu.org
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Summary|[contracts] g++-16 crashes |[contracts] g++-16 crashes
|on contracts pre and post |on contracts pre and post
|with auto parameters |with placeholder return
| |type
--- Comment #3 from Waffl3x <waffl3x at gcc dot gnu.org> ---
```
struct S
{
bool c() const
{ return true; }
template<typename = void>
auto f()
pre(c()) {}
};
template auto S::f();
```
Confirmed.