llvm-project/clang/docs/analyzer
Jordan Rose 9db2d9adef [analyzer] Add new debug helper clang_analyzer_warnIfReached.
This will emit a warning if a call to clang_analyzer_warnIfReached is
executed, printing REACHABLE. This is a more explicit way to declare
expected reachability than using clang_analyzer_eval or triggering
a bug (divide-by-zero or null dereference), and unlike the former will
work the same in inlined functions and top-level functions. Like the
other debug helpers, it is part of the debug.ExprInspection checker.

Patch by Jared Grubb!

llvm-svn: 191909
2013-10-03 16:57:03 +00:00
..
DebugChecks.rst [analyzer] Add new debug helper clang_analyzer_warnIfReached. 2013-10-03 16:57:03 +00:00
IPA.txt [analyzer] Fix copy-paste error in internal docs. 2013-09-13 00:44:57 +00:00
Makefile analyzer: add initial Sphinx configuration 2013-01-02 23:07:22 +00:00
RegionStore.txt [analyzer] Add a doc describing the internals of RegionStore. 2013-02-05 17:31:34 +00:00
conf.py We're in 3.4 land now. 2013-05-07 20:31:37 +00:00
index.rst [docs/analyzer] Convert existing debug-checks document to Sphinx and link into doctree. 2013-01-07 20:38:55 +00:00
make.bat analyzer: add initial Sphinx configuration 2013-01-02 23:07:22 +00:00