| // 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 |