[PATCH] D26773: [analyzer] Refactor recursive symbol reachability check to use symbol_iterator

[Artem Dergachev via cfe-commits]

NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/ProgramState.cpp:542
+    if (!visitor.VisitSymbol(*SI))
+      Result = false;
   }
----------------
I guess we should break the loop here.


https://reviews.llvm.org/D26773