[PATCH] D52133: [analyzer] A testing facility for testing relationships between symbols.

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov accepted this revision.
george.karpenkov added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp:273
+
+  for (auto I : State->get<DenotedSymbols>()) {
+    SymbolRef Sym = I.first;
----------------
Sidenote: this code fragment is so common I wonder whether we should have a helper/facility for that.


https://reviews.llvm.org/D52133