Simplify member access into a compound literal#9060

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:extract/simplify-member-compound-literaltautschnig/cbmc:extract/simplify-member-compound-literalCopy head branch name to clipboard