Correctly cast offsets to Cilfacade.ptrdiff_ikind () in memOutOfBounds#1685

michael-schwarz merged 1 commit intomastergoblint/analyzer:masterfrom

issue_1683goblint/analyzer:issue_1683Copy head branch name to clipboard