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