On Wed, 23 May 2018, Eric Botcazou wrote: > > I'm not quite sure that ao_ref with offset % 8 == 0 but size != maxsize > > has any guarantee that all accesses that this covers are aligned to 8 > > bits but I failed to create a testcase with a variable bit-alignment. > > But I'm quite sure Ada can do that, right? There may be existing code > > that assumes that if offset is byte-aligned all covered accesses are. > > The middle-end assumes that variable offsets are always byte-aligned, see > DECL_FIELD_OFFSET and DECL_FIELD_BIT_OFFSET. Does that answer the above?
Ah, yes. Thanks, Richard.
