https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78839
Pierre-Marie de Rodat <derodat at adacore dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |derodat at adacore dot com
--- Comment #9 from Pierre-Marie de Rodat <derodat at adacore dot com> ---
(In reply to Jakub Jelinek from comment #7)
> The behavior changed with r231762, I haven't looked (yet) into details if it
> is valid or not and why that changed.
I haven’t had a look yet neither… bit addressing is hard. ;-) All I can do for
now is to give some context for r231762: this commit tried to handle fields
with dynamic sizes/positions but only with a focus on the ones at least
byte-aligned.
My playground for this was discriminated types in Ada, and I’m not sure these
can be bit-packed (i.e. using sub-byte addressing). So if anything changed for
bitfields, that was not intentional and can likely be fixed as long as it does
not break things for the Ada types I tested. By the way, if one wants to see
what I used for testing, here it is:
https://github.com/pmderodat/dwarf-ada-testsuite/.
