Zero-length C string operations should not yield pointer checks#2276

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

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