32b828306e
When debugging CSA issues, sometimes it would be useful to have a dedicated note for the analysis entry point, aka. the function name you would need to pass as "-analyze-function=XYZ" to reproduce a specific issue. One way we use (or will use) this downstream is to provide tooling on top of creduce to enhance to supercharge productivity by automatically reduce cases on crashes for example. This will be added only if the "-analyzer-note-analysis-entry-points" is set or the "analyzer-display-progress" is on. This additional entry point marker will be the first "note" if enabled, with the following message: "[debug] analyzing from XYZ". They are prefixed by "[debug]" to remind the CSA developer that this is only meant to be visible for them, for debugging purposes. CPP-5012
75 lines
2.7 KiB
C++
75 lines
2.7 KiB
C++
// RUN: %clang_analyze_cc1 -verify=common %s \
|
|
// RUN: -analyzer-checker=deadcode.DeadStores,debug.ExprInspection \
|
|
// RUN: -analyzer-note-analysis-entry-points
|
|
|
|
// RUN: %clang_analyze_cc1 -verify=common,textout %s \
|
|
// RUN: -analyzer-checker=deadcode.DeadStores,debug.ExprInspection \
|
|
// RUN: -analyzer-note-analysis-entry-points \
|
|
// RUN: -analyzer-output=text
|
|
|
|
// Test the actual source locations/ranges of entry point notes.
|
|
// RUN: %clang_analyze_cc1 %s \
|
|
// RUN: -analyzer-checker=deadcode.DeadStores,debug.ExprInspection \
|
|
// RUN: -analyzer-note-analysis-entry-points \
|
|
// RUN: -analyzer-output=text 2>&1 \
|
|
// RUN: | FileCheck --strict-whitespace %s
|
|
|
|
|
|
void clang_analyzer_warnIfReached();
|
|
|
|
void other() {
|
|
// common-warning@+1 {{REACHABLE}} textout-note@+1 {{REACHABLE}}
|
|
clang_analyzer_warnIfReached();
|
|
}
|
|
|
|
struct SomeOtherStruct {
|
|
// CHECK: note: [debug] analyzing from SomeOtherStruct::f()
|
|
// CHECK-NEXT: | void f() {
|
|
// CHECK-NEXT: | ^
|
|
// textout-note@+1 {{[debug] analyzing from SomeOtherStruct::f()}}
|
|
void f() {
|
|
other(); // textout-note {{Calling 'other'}}
|
|
}
|
|
};
|
|
|
|
// CHECK: note: [debug] analyzing from operator""_w(const char *)
|
|
// CHECK-NEXT: | unsigned operator ""_w(const char*) {
|
|
// CHECK-NEXT: | ^
|
|
// textout-note@+1 {{[debug] analyzing from operator""_w(const char *)}}
|
|
unsigned operator ""_w(const char*) {
|
|
// common-warning@+1 {{REACHABLE}} textout-note@+1 {{REACHABLE}}
|
|
clang_analyzer_warnIfReached();
|
|
return 404;
|
|
}
|
|
|
|
// textout-note@+1 {{[debug] analyzing from checkASTCodeBodyHasAnalysisEntryPoints()}}
|
|
void checkASTCodeBodyHasAnalysisEntryPoints() {
|
|
int z = 1;
|
|
z = 2;
|
|
// common-warning@-1 {{Value stored to 'z' is never read}}
|
|
// textout-note@-2 {{Value stored to 'z' is never read}}
|
|
}
|
|
|
|
void notInvokedLambdaScope() {
|
|
// CHECK: note: [debug] analyzing from notInvokedLambdaScope()::(anonymous class)::operator()()
|
|
// CHECK-NEXT: | auto notInvokedLambda = []() {
|
|
// CHECK-NEXT: | ^
|
|
// textout-note@+1 {{[debug] analyzing from notInvokedLambdaScope()::(anonymous class)::operator()()}}
|
|
auto notInvokedLambda = []() {
|
|
// common-warning@+1 {{REACHABLE}} textout-note@+1 {{REACHABLE}}
|
|
clang_analyzer_warnIfReached();
|
|
};
|
|
(void)notInvokedLambda; // Not invoking the lambda.
|
|
}
|
|
|
|
// CHECK: note: [debug] analyzing from invokedLambdaScope()
|
|
// CHECK-NEXT: | void invokedLambdaScope() {
|
|
// CHECK-NEXT: | ^
|
|
// textout-note@+1 {{[debug] analyzing from invokedLambdaScope()}}
|
|
void invokedLambdaScope() {
|
|
auto invokedLambda = []() {
|
|
// common-warning@+1 {{REACHABLE}} textout-note@+1 {{REACHABLE}}
|
|
clang_analyzer_warnIfReached();
|
|
};
|
|
invokedLambda(); // textout-note {{Calling 'operator()'}}
|
|
} |