Heapster permIndicesForProvingOffset using llvmPermContainsArray#1536

Merged

eddywestbrook merged 1 commit intomasterfrom heapster/llvm-perm-contains-array

Dec 7, 2021

+14-1

Commits on Dec 6, 2021

changed the permIndicesForProvingOffset case that allows imprecise matches on the left to check not only for a syntactic array permission, but also for a block permission containing an array shape
Eddy Westbrook
committed