ansi-c: support -fms-extensions anonymous tagged struct/union members#9050

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:extract/ansi-c-fms-anon-memberstautschnig/cbmc:extract/ansi-c-fms-anon-membersCopy head branch name to clipboard