|
150
|
1 // RUN: %clang_cc1 -analyzer-checker-option-help \
|
|
|
2 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE
|
|
|
3
|
|
|
4 // RUN: %clang_cc1 -analyzer-checker-option-help-alpha \
|
|
|
5 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-ALPHA
|
|
|
6
|
|
|
7 // RUN: %clang_cc1 -analyzer-checker-option-help-developer \
|
|
|
8 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER
|
|
|
9
|
|
|
10 // RUN: %clang_cc1 -analyzer-checker-option-help-developer \
|
|
|
11 // RUN: -analyzer-checker-option-help-alpha \
|
|
|
12 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-DEVELOPER-ALPHA
|
|
|
13
|
|
|
14 // RUN: %clang_cc1 -analyzer-checker-option-help \
|
|
|
15 // RUN: -analyzer-checker-option-help-alpha \
|
|
|
16 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA
|
|
|
17
|
|
|
18 // RUN: %clang_cc1 -analyzer-checker-option-help \
|
|
|
19 // RUN: -analyzer-checker-option-help-developer \
|
|
|
20 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-DEVELOPER
|
|
|
21
|
|
|
22 // RUN: %clang_cc1 -analyzer-checker-option-help \
|
|
|
23 // RUN: -analyzer-checker-option-help-alpha \
|
|
|
24 // RUN: -analyzer-checker-option-help-developer \
|
|
|
25 // RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-STABLE-ALPHA-DEVELOPER
|
|
|
26
|
|
|
27 // CHECK-STABLE: OVERVIEW: Clang Static Analyzer Checker and Package Option List
|
|
|
28 //
|
|
|
29 // CHECK-STABLE: USAGE: -analyzer-config <OPTION1=VALUE,OPTION2=VALUE,...>
|
|
|
30 //
|
|
|
31 // CHECK-STABLE: -analyzer-config OPTION1=VALUE, -analyzer-config
|
|
|
32 // CHECK-STABLE-SAME: OPTION2=VALUE, ...
|
|
|
33 //
|
|
|
34 // CHECK-STABLE: OPTIONS:
|
|
|
35 //
|
|
|
36 // CHECK-STABLE: cplusplus.Move:WarnOn
|
|
|
37 // CHECK-STABLE-SAME: (string) In non-aggressive mode, only warn
|
|
|
38 // CHECK-STABLLE: on use-after-move of local variables (or
|
|
|
39 // CHECK-STABLLE: local rvalue references) and of STL objects.
|
|
|
40 // CHECK-STABLLE: The former is possible because local variables
|
|
|
41 // CHECK-STABLLE: (or local rvalue references) are not tempting
|
|
|
42 // CHECK-STABLLE: their user to re-use the storage. The latter
|
|
|
43 // CHECK-STABLLE: is possible because STL objects are known
|
|
|
44 // CHECK-STABLLE: to end up in a valid but unspecified state
|
|
|
45 // CHECK-STABLLE: after the move and their state-reset methods
|
|
|
46 // CHECK-STABLLE: are also known, which allows us to predict
|
|
|
47 // CHECK-STABLLE: precisely when use-after-move is invalid.
|
|
|
48 // CHECK-STABLLE: Some STL objects are known to conform to
|
|
|
49 // CHECK-STABLLE: additional contracts after move, so they
|
|
|
50 // CHECK-STABLLE: are not tracked. However, smart pointers
|
|
|
51 // CHECK-STABLLE: specifically are tracked because we can
|
|
|
52 // CHECK-STABLLE: perform extra checking over them. In aggressive
|
|
|
53 // CHECK-STABLLE: mode, warn on any use-after-move because
|
|
|
54 // CHECK-STABLLE: the user has intentionally asked us to completely
|
|
|
55 // CHECK-STABLLE: eliminate use-after-move in his code. Values:
|
|
|
56 // CHECK-STABLLE: "KnownsOnly", "KnownsAndLocals", "All".
|
|
|
57 // CHECK-STABLLE: (default: KnownsAndLocals)
|
|
|
58
|
|
|
59 // CHECK-STABLE-NOT: debug.AnalysisOrder:*
|
|
|
60 // CHECK-DEVELOPER: debug.AnalysisOrder:*
|
|
|
61 // CHECK-ALPHA-NOT: debug.AnalysisOrder:*
|
|
|
62
|
|
|
63 // CHECK-STABLE-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
64 // CHECK-DEVELOPER-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
65 // CHECK-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
66
|
|
|
67 // CHECK-STABLE: optin.performance.Padding:AllowedPad
|
|
|
68 // CHECK-DEVELOPER-NOT: optin.performance.Padding:AllowedPad
|
|
|
69 // CHECK-ALPHA-NOT: optin.performance.Padding:AllowedPad
|
|
|
70
|
|
|
71
|
|
|
72 // CHECK-STABLE-ALPHA-NOT: debug.AnalysisOrder:*
|
|
|
73 // CHECK-DEVELOPER-ALPHA: debug.AnalysisOrder:*
|
|
|
74 // CHECK-STABLE-DEVELOPER: debug.AnalysisOrder:*
|
|
|
75
|
|
|
76 // CHECK-STABLE-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
77 // CHECK-DEVELOPER-ALPHA: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
78 // CHECK-STABLE-DEVELOPER-NOT: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
79
|
|
|
80 // CHECK-STABLE-ALPHA: optin.performance.Padding:AllowedPad
|
|
|
81 // CHECK-DEVELOPER-ALPHA-NOT: optin.performance.Padding:AllowedPad
|
|
|
82 // CHECK-STABLE-DEVELOPER: optin.performance.Padding:AllowedPad
|
|
|
83
|
|
|
84
|
|
|
85 // CHECK-STABLE-ALPHA-DEVELOPER: debug.AnalysisOrder:*
|
|
|
86 // CHECK-STABLE-ALPHA-DEVELOPER: optin.cplusplus.UninitializedObject:IgnoreGuardedFields
|
|
|
87 // CHECK-STABLE-ALPHA-DEVELOPER: optin.performance.Padding:AllowedPad
|
