goto_rw: left shift may be larger than object size#6723

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/goto_rw-left-shifttautschnig/cbmc:bugfixes/goto_rw-left-shiftCopy head branch name to clipboard