[PATCH] D99714: [clang][Analyzer] Handle flexible arrays better in ArrayBoundV2 checker.

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

The tests are really promising! :)



================
Comment at: clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp:117
+namespace {
+SVal getDynamicSizeWithOffset(ProgramStateRef State, const MemRegion *MRegion) {
+  SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder();
----------------
Do we need an overload perhaps in `DynamicSize.h` of 
```
SVal getDynamicSizeWithOffset(ProgramStateRef State, const SVal &BufV)
``` 
that takes a MemRegion?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D99714/new/

https://reviews.llvm.org/D99714