https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128226
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
Last reconfirmed| |2026-10-29
--- Comment #4 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Yes it does look like it is related to assume.
Code in my semi-reduced testcase:
```
constexpr qsizetype size() const noexcept {
constexpr size_t MaxSize = maxSize();
[&] { static_cast<void>(false && (size_t(d.size) <= MaxSize));
[[assume(size_t(d.size) <= MaxSize)]];
}();
return d.size;
}
```
if I comment out the assume line, I no longer get an ICE.
