> 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? -- Eric Botcazou