> Why isn't this bug an incorrect use of BIGGEST_ALIGNMENT somewhere > in the compiler?
Because you must have BIGGEST_ALIGNMENT <= STACK_BOUNDARY (or PREFERRED_STACK_BOUNDARY) in order to be able to allocate objects with BIGGEST_ALIGNMENT on the stack. Otherwise the offsets are not sufficiently rounded, even if the stack register is aligned on BIGGEST_ALIGNMENT on function entry. -- Eric Botcazou