Itanium ABI indica che la memoria per un'eccezione si ottiene chiamando __cxa_allocate_exception(size). Qual è la garanzia di allineamento della memoria restituita?Esistono garanzie di allineamento per la memoria delle eccezioni allocata tramite l'ABI Itanium?
Section 1.2 in chapter 4 dice:
L'interfaccia svolgimento utilizza un puntatore a un oggetto intestazione eccezione come sua rappresentazione di un'eccezione essere gettato. In generale, la rappresentazione completa di un oggetto eccezione è lingua e l'attuazione specifiche, ma sarà preceduto da un'intestazione compreso dall'interfaccia svolgimento, definita come segue:
seguito da una definizione di struct _Unwind_Exception, seguita da:
Un oggetto
_Unwind_Exceptiondeve essere allineato a due parole.
Poiché questo è un prefisso all'oggetto eccezione in generale, l'intero blocco di memoria deve essere doppia parola allineato.
Probabilmente questo testo non vieta imbottitura arbitrario pensa prima il _Unwind_Exception, ma se questo è considerato il caso, allora la risposta è che non c'è alcuna garanzia allineamento qualunque; Scelgo di interpretare questo come un minor difetto di formulazione.