[Bug ada/124016] Bounded_Indefinite_Holders cause integer overflow error with class-wide types or large array types

liam at liampwll dot com gcc-bugzilla@gcc.gnu.org
Tue Feb 10 08:39:28 GMT 2026


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124016

--- Comment #4 from Liam Powell <liam at liampwll dot com> ---
> using Bounded_Indefinite_Holders of Bounded_Indefinite_Holders

Do you mean "using Bounded_Indefinite_Holders instead of Bounded_Holders"? If
so then there's nothing that we need it for in particular right now, but I tend
to avoid Bounded_Holders as it silently breaks with controlled types.
Specifically it doesn't call Adjust or Finalize, which I can see causing a big
headache when someone inadvertently uses a controlled type without realising
it's going to end up in a Bounded_Holder.


More information about the Gcc-bugs mailing list