[PATCH] D77066: [analyzer] ApiModeling: Add buffer size arg constraint

[Csaba Dabis via Phabricator via cfe-commits]

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