From bfef399519ca9b8a4b4c6b563253bad7e0eeffe0 Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Sun, 22 Dec 2013 00:07:40 +0000 Subject: Vendor import of clang release_34 branch r197841 (effectively, 3.4 RC3): https://llvm.org/svn/llvm-project/cfe/branches/release_34@197841 --- docs/analyzer/DebugChecks.rst | 17 +++++++++++++++++ docs/analyzer/IPA.txt | 2 +- docs/analyzer/conf.py | 4 ++-- 3 files changed, 20 insertions(+), 3 deletions(-) (limited to 'docs/analyzer') diff --git a/docs/analyzer/DebugChecks.rst b/docs/analyzer/DebugChecks.rst index f8e6f827c1be..14d6ae4c4c91 100644 --- a/docs/analyzer/DebugChecks.rst +++ b/docs/analyzer/DebugChecks.rst @@ -30,6 +30,10 @@ using a 'dot' format viewer (such as Graphviz on OS X) instead. - debug.DumpLiveVars: Show the results of live variable analysis for each top-level function being analyzed. +- debug.ViewExplodedGraph: Show the Exploded Graphs generated for the + analysis of different functions in the input translation unit. When there + are several functions analyzed, display one graph per function. Beware + that these graphs may grow very large, even for small functions. Path Tracking ============= @@ -121,6 +125,19 @@ ExprInspection checks clang_analyzer_eval(value == 42); // expected-warning{{TRUE}} } +- void clang_analyzer_warnIfReached(); + + Generate a warning if this line of code gets reached by the analyzer. + + Example usage:: + + if (true) { + clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} + } + else { + clang_analyzer_warnIfReached(); // no-warning + } + Statistics ========== diff --git a/docs/analyzer/IPA.txt b/docs/analyzer/IPA.txt index 01e73cec7ff0..14da71e09030 100644 --- a/docs/analyzer/IPA.txt +++ b/docs/analyzer/IPA.txt @@ -74,7 +74,7 @@ This option controls whether functions from the C++ standard library, including methods of the container classes in the Standard Template Library, should be considered for inlining. - -analyzer-config c++-template-inlining=[true | false] + -analyzer-config c++-stdlib-inlining=[true | false] Currently, C++ standard library functions are considered for inlining by default. diff --git a/docs/analyzer/conf.py b/docs/analyzer/conf.py index dff9610ac650..3690f936d336 100644 --- a/docs/analyzer/conf.py +++ b/docs/analyzer/conf.py @@ -48,9 +48,9 @@ copyright = u'2013, Analyzer Team' # built documents. # # The short X.Y version. -version = '3.3' +version = '3.4' # The full version, including alpha/beta/rc tags. -release = '3.3' +release = '3.4' # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. -- cgit v1.2.3