Zero-length array warning is C4200 in Visual Studio#2436

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-zerotautschnig/cbmc:vs-zeroCopy head branch name to clipboard