[PATCH] D49057: [analyzer] Track multiple raw pointer symbols in DanglingInternalBufferChecker

Reka Kovacs via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sun Jul 8 11:13:24 PDT 2018

rnkovacs added inline comments.

Comment at: lib/StaticAnalyzer/Checkers/DanglingInternalBufferChecker.cpp:121
+      if (State->contains<RawPtrMap>(ObjRegion)) {
+        NewSet = *State->get<RawPtrMap>(ObjRegion);
+        if (NewSet.contains(RawPtr.getAsSymbol()))
xazax.hun wrote:
> Oh, there is also a double lookup here, sorry I did not spot it in the initial review.
Thanks for noticing. I should have seen it in the first place :)


More information about the cfe-commits mailing list