ansi-c: support qualified __auto_type#9053

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:extract/ansi-c-parser-compattautschnig/cbmc:extract/ansi-c-parser-compatCopy head branch name to clipboard