1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// 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
|
