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