llvm-project/clang/docs/analyzer
Artem Dergachev e527df03c4 [analyzer] Add a testing facility for testing relationships between symbols.
Tests introduced in r329780 was disabled in r342317 because these tests
were accidentally testing dump infrastructure, when all they cared about was
how symbols relate to each other. So when dump infrastructure changed,
tests became annoying to maintain.

Add a new feature to ExprInspection: clang_analyzer_denote() and
clang_analyzer_explain(). The former adds a notation to a symbol, the latter
expresses another symbol in terms of previously denoted symbols.

It's currently a bit wonky - doesn't print parentheses and only supports
denoting atomic symbols. But it's even more readable that way.

Differential Revision: https://reviews.llvm.org/D52133

llvm-svn: 343048
2018-09-25 23:50:53 +00:00
..
DesignDiscussions Fix typos in clang 2018-04-06 15:14:32 +00:00
DebugChecks.rst [analyzer] Add a testing facility for testing relationships between symbols. 2018-09-25 23:50:53 +00:00
IPA.txt
RegionStore.txt [analyzer] Fix a typo in `RegionStore.txt`. 2018-08-08 13:37:28 +00:00
conf.py Bump docs version to 6.0 2017-07-19 13:50:27 +00:00
index.rst
make.bat
nullability.rst