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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 165810.
NoQ added a comment.

Address comments. Add more sanity checks and test them.


https://reviews.llvm.org/D52133

Files:
  docs/analyzer/DebugChecks.rst
  lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  test/Analysis/expr-inspection.cpp
  test/Analysis/svalbuilder-rearrange-comparisons.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D52133.165810.patch
Type: text/x-patch
Size: 68805 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180917/63de22d9/attachment-0001.bin>