Change same_allocation to accept wide pointers#3684

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

celinval:issue-3665-same-alloccelinval/kani-dev:issue-3665-same-allocCopy head branch name to clipboard