https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122008
--- Comment #3 from Denis Valois <dvalois01 at gmail dot com> --- Hello, Thanks Eric for explaination. As a matter of fact, this behavior is documented in https://gcc.gnu.org/onlinedocs/gcc-15.2.0/gnat_rm/The-Size-of-Discriminated-Records-with-Default-Discriminants.html Best regards, DV/
