Add fn that checks pointers point to same allocation#3583

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3578-valid-offsetcelinval/kani-dev:issue-3578-valid-offsetCopy head branch name to clipboard