make_binary must not mess up types when dealing with pointers#31

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:make_binary-vs-pointerstautschnig/cbmc:make_binary-vs-pointersCopy head branch name to clipboard