Lines Matching refs:analyzer

4 There are several options that control which calls the analyzer will consider for
5 inlining. The major one is -analyzer-config ipa:
7   -analyzer-config ipa=none - All inlining is disabled. This is the only mode 
10   -analyzer-config ipa=basic-inlining - Turns on inlining for C functions, C++ 
15   -analyzer-config ipa=inlining - Turns on inlining when we can confidently find
21   -analyzer-config ipa=dynamic - Inline instance methods for which the type is
25   -analyzer-config ipa=dynamic-bifurcate - Same as -analyzer-config ipa=dynamic,
30 Currently, -analyzer-config ipa=dynamic-bifurcate is the default mode.
32 While -analyzer-config ipa determines in general how aggressively the analyzer 
35 analyzer's configuration table, so they are all specified as follows:
37     -analyzer-config OPTION=VALUE
43     -analyzer-config c++-inlining=[none | methods | constructors | destructors]
51 cases the analyzer may still choose not to inline the function.
55 inlined under -analyzer-config ipa=none or -analyzer-config ipa=basic-inlining,
62     -analyzer-config c++-template-inlining=[true | false]
77     -analyzer-config c++-stdlib-inlining=[true | false]
86 to silence analyzer warnings.
93     -analyzer-config c++-container-inlining=[true | false]
100 with the latter specified in the C++11 standard. The analyzer currently does a
164 In general, the analyzer attempts to inline as much as possible, since it
166 some cases, however, where the analyzer chooses not to inline:
209 the analysis, the analyzer may be able to reason about the dynamic type of the
212 This path-sensitive devirtualization occurs when the analyzer can determine what
215 the analyzer can make such a decision.
219 As the analyzer analyzes a path, it may accrue information to refine the
238   WARNING: Not all of the existing analyzer code has been retrofitted to use
263 The -analyzer-config ipa option has five different modes: none, basic-inlining,
264 inlining, dynamic, and dynamic-bifurcate. Under -analyzer-config ipa=dynamic,
266 actually be the definition used at runtime. Under -analyzer-config ipa=inlining,
271   -analyzer-config ipa=inlining, even if we are reasonably confident of the type
275 The last option, -analyzer-config ipa=dynamic-bifurcate, behaves similarly to
279 As stated above, -analyzer-config ipa=basic-inlining does not inline any C++ 
287 ExprEngine::BifurcateCall implements the -analyzer-config ipa=dynamic-bifurcate