Treat all anonymous locals as void*#387

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:anonymous_locals_always_void_mastersmowton/cbmc:anonymous_locals_always_void_masterCopy head branch name to clipboard