C front-end: maintain alignment attribute for struct members#5310

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:fix-alignment

Apr 20, 2020

Commits on Apr 20, 2020

C front-end: maintain alignment attribute for struct members
tautschnig
committed