Fix C frontend array type sync in goto program#8799
Draft
tautschnig wants to merge 1 commit intodiffblue:developfrom
Draft
Fix C frontend array type sync in goto program#8799tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig wants to merge 1 commit intodiffblue:developfrom
