[PATCH] D106681: [analyzer][NFCI] Move a block from `getBindingForElement` to separate functions
Denys Petrov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Oct 20 05:18:06 PDT 2021
ASDenysPetrov added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1666
+ if (!OffsetVal.hasValue())
+ return UnknownVal();
+
----------------
Item 2 from the Summary. This was borrowed from `RegionStoreManager::getBindingForFieldOrElementCommon` :
```
if (hasSymbolicIndex)
return UnknownVal();
```
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D106681/new/
https://reviews.llvm.org/D106681
More information about the cfe-commits
mailing list