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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits