byte_update against a pointer shouldn't be fatal#4185

smowton wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/allow-pointer-byte-updatesmowton/cbmc:smowton/fix/allow-pointer-byte-updateCopy head branch name to clipboard