[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:535
+    if (!isa<SymbolData>(*SI))
+      continue;
 
----------------
Hmm, the original code does actually visit non-SymbolData.


https://reviews.llvm.org/D26773