[Bug c++/124395] [contracts] ICE in check_postconditions_in_redecl when instantiating function template with pre()/post() and empty parameter pack
"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=124395
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
Keywords| |c++26, ice-on-valid-code
Ever confirmed|0 |1
CC| |waffl3x at gcc dot gnu.org
Status|UNCONFIRMED |NEW
--- Comment #3 from Waffl3x <waffl3x at gcc dot gnu.org> ---
```
template <typename... Ts>
void f(Ts...) pre(true) {}
template void f<>();
```
Confirmed.