Simplify pointer casts of pointer arithmetic#8836

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:simp-tc-pointer-arithtautschnig/cbmc:simp-tc-pointer-arithCopy head branch name to clipboard