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

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

baloghadamsoftware added a comment.

This looks better than using the "raw" dumps.

Should not it we have its own test in `expr-inspection.c`?



================
Comment at: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp:65
 REGISTER_SET_WITH_PROGRAMSTATE(MarkedSymbols, SymbolRef)
+REGISTER_MAP_WITH_PROGRAMSTATE(DenotedSymbols, SymbolRef, const void *)
 
----------------
Why const `void *`?


Repository:
  rC Clang

https://reviews.llvm.org/D52133