Reject aligned attribute on bit fields in struct types#585

xavierleroy merged 2 commits into

masterAbsInt/CompCert:masterfrom

no-bitfield-alignAbsInt/CompCert:no-bitfield-alignCopy head branch name to clipboard