checker-plugins.c
5.08 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
// REQUIRES: plugins
// FIXME: This test fails on clang-stage2-cmake-RgSan,
// see also https://reviews.llvm.org/D62445#1613268
// UNSUPPORTED: darwin
// RUN: %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/SampleAnalyzerPlugin%pluginext \
// RUN: -analyzer-checker='example.MainCallChecker'
// Test that the MainCallChecker example analyzer plugin loads and runs.
int main();
void caller() {
main(); // expected-warning {{call to main}}
}
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.DependendentChecker \
// RUN: -analyzer-list-enabled-checkers \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-ENABLED
// CHECK-IMPLICITLY-ENABLED: example.Dependency
// CHECK-IMPLICITLY-ENABLED: example.DependendentChecker
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerDependencyHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.DependendentChecker \
// RUN: -analyzer-disable-checker=example.Dependency \
// RUN: -analyzer-list-enabled-checkers \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-IMPLICITLY-DISABLED
// CHECK-IMPLICITLY-DISABLED-NOT: example.Dependency
// CHECK-IMPLICITLY-DISABLED-NOT: example.DependendentChecker
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-OUTPUT
// CHECK-CHECKER-OPTION-OUTPUT: Example option is set to false
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-config example.MyChecker:ExampleOption=true \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-OUTPUT-TRUE
// CHECK-CHECKER-OPTION-OUTPUT-TRUE: Example option is set to true
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-checker=debug.ConfigDumper \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION
// CHECK-CHECKER-OPTION: example.MyChecker:ExampleOption = false
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-checker=debug.ConfigDumper \
// RUN: -analyzer-config example.MyChecker:ExampleOption=true \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-TRUE
// CHECK-CHECKER-OPTION-TRUE: example.MyChecker:ExampleOption = true
// RUN: not %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-config example.MyChecker:Example=true \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-NON-EXISTENT-CHECKER-OPTION
// CHECK-NON-EXISTENT-CHECKER-OPTION: (frontend): checker 'example.MyChecker'
// CHECK-NON-EXISTENT-CHECKER-OPTION-SAME: has no option called 'Example'
// RUN: not %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-config-compatibility-mode=true \
// RUN: -analyzer-config example.MyChecker:Example=true
// RUN: not %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-config example.MyChecker:ExampleOption=example \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-INVALID-BOOL-VALUE
// CHECK-INVALID-BOOL-VALUE: (frontend): invalid input for checker option
// CHECK-INVALID-BOOL-VALUE-SAME: 'example.MyChecker:ExampleOption', that
// CHECK-INVALID-BOOL-VALUE-SAME: expects a boolean value
// RUN: not %clang_analyze_cc1 -verify %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-config-compatibility-mode=true \
// RUN: -analyzer-config example.MyChecker:ExampleOption=example
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-checker=debug.ConfigDumper \
// RUN: -analyzer-config-compatibility-mode=true \
// RUN: -analyzer-config example.MyChecker:ExampleOption=example \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CORRECTED-BOOL-VALUE
// CHECK-CORRECTED-BOOL-VALUE: example.MyChecker:ExampleOption = false
// RUN: %clang_analyze_cc1 %s \
// RUN: -load %llvmshlibdir/CheckerOptionHandlingAnalyzerPlugin%pluginext\
// RUN: -analyzer-checker=example.MyChecker \
// RUN: -analyzer-checker-option-help \
// RUN: 2>&1 | FileCheck %s -check-prefix=CHECK-CHECKER-OPTION-HELP
// CHECK-CHECKER-OPTION-HELP: example.MyChecker:ExampleOption (bool) This is an
// CHECK-CHECKER-OPTION-HELP-SAME: example checker opt. (default:
// CHECK-CHECKER-OPTION-HELP-NEXT: false)