Support C17, C23 standards with goto-cc#8673

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/8617-attributes-c23tautschnig/cbmc:bugfixes/8617-attributes-c23Copy head branch name to clipboard