C front-end: support GCC attributes before contract clauses#8746

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-8685-gcc-attr-contractstautschnig/cbmc:fix-8685-gcc-attr-contractsCopy head branch name to clipboard