NoQ added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1709 if (!O.getRegion()) - return UnknownVal(); + return svalBuilder.getRegionValueSymbolVal(R); ---------------- As soon as contents of the array change during analysis, this becomes incorrect: we cannot keep denoting a new value with the same old symbol. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D81254/new/ https://reviews.llvm.org/D81254 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
