[PATCH] D32747: [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

Thanks you for your comments! I have one question:



================
Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:1256
+    if (Cond(Reg.second)) {
+      State = setIteratorPosition(State, Reg.first, Proc(Reg.second));
+    }
----------------
a.sidorin wrote:
> Updating ProgramState is usually considered as an expensive operation. Instead, we can update maps (RegionMap and SymbolMap) and then, if they have any updates, create a state containing these maps. What do you think?
How to update ImmutableMap?


https://reviews.llvm.org/D32747