Charusso added a comment.
In D77066#1953280 <https://reviews.llvm.org/D77066#1953280>, @Charusso wrote:
> getDynamicSizeWithOffset(State, MR, SVB) {
> Offset = State->getStoreManager().getStaticOffset(MR, SVB);
> ...
> }
>
Hm, the MemRegion's offset should be great. I was thinking about if we would
store SVal offsets in the Store.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77066/new/
https://reviews.llvm.org/D77066
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
