Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str#3448

adpaco merged 4 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3312-crashcelinval/kani-dev:issue-3312-crashCopy head branch name to clipboard