Make points-to analysis handle all intrinsics explicitly#3452

artemagvanian merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

artemagvanian:points-to-handle-all-intrinsicsartemagvanian/kani:points-to-handle-all-intrinsicsCopy head branch name to clipboard