mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 12:26:44 +00:00
f5c4f271ab
From investigation of a few slow analysis cases, I discovered that `RegionStoreManager::bind*` and `ExprEngine::removeDead` are often the slowest actions. This change adds explicit scope to the time trace generated by `-ftime-trace` to enable easy diagnostics of the cases when these functions are the slowdown culprits. -- CPP-6109
25 lines
849 B
C++
25 lines
849 B
C++
// RUN: %clang_analyze_cc1 -analyzer-checker=core %s -ftime-trace=%t.raw.json -ftime-trace-granularity=0 -verify
|
|
// RUN: %python -c 'import json, sys; print(json.dumps(json.load(sys.stdin), indent=4))' < %t.raw.json > %t.formatted.json
|
|
// RUN: FileCheck --input-file=%t.formatted.json --check-prefix=CHECK %s
|
|
|
|
// CHECK: "name": "RegionStoreManager::bindArray",
|
|
// CHECK-NEXT: "args": {
|
|
//
|
|
// The below does not necessarily follow immediately,
|
|
// depending on what parts of the array are initialized first.
|
|
//
|
|
// CHECK: "detail": "'arr[0][1]'"
|
|
// CHECK-NEXT: }
|
|
//
|
|
// CHECK: "detail": "'arr[0]'"
|
|
// CHECK-NEXT: }
|
|
//
|
|
// CHECK: "detail": "'arr'"
|
|
// CHECK-NEXT: }
|
|
|
|
int f() {
|
|
int arr[2][2][2] = {{{1, 2}, {3, 4}}, {{5, 6}, {7, 8}}};
|
|
return arr[1][0][1];
|
|
}
|
|
// expected-no-diagnostics
|