disallow flexible array members in unions#7296

tautschnig merged 1 commit into

developdiffblue/cbmc:developfrom

union-flexiblediffblue/cbmc:union-flexibleCopy head branch name to clipboard