180de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -verify %s 2048eeea6852043990c87e52938b53b5337bd098eJordan Rose// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config path-diagnostics-alternate=false %s -o %t.plist 343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// RUN: FileCheck --input-file=%t.plist %s 480de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks 580de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaksvoid foo_irrelevant(int c) { 680de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks if (c) 780de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks return; 880de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks c++; 980de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks return; 1080de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks} 1128694c1fe44082970cd53ca7ffef25f668e4c545Anna Zaksvoid foo(int c, int *x) { 1280de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks if (c) 1380de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks //expected-note@-1{{Assuming 'c' is not equal to 0}} 1480de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks //expected-note@-2{{Taking true branch}} 1580de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks return; 1680de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks *x = 5; 1780de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks} 1880de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks 1980de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaksint use(int c) { 204238f41d484729aca260140fbbc53a68769bf60aTed Kremenek int xx; //expected-note {{'xx' declared without an initial value}} 2180de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks int *y = &xx; 2228694c1fe44082970cd53ca7ffef25f668e4c545Anna Zaks foo (c, y); 2380de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks //expected-note@-1{{Calling 'foo'}} 2480de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks //expected-note@-2{{Returning from 'foo'}} 2580de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks foo_irrelevant(c); 2680de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks return xx+3; //expected-warning{{The left operand of '+' is a garbage value}} 2780de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks //expected-note@-1{{The left operand of '+' is a garbage value}} 2880de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks} 2980de487e03dd0f44e4572e2122ebc1aa6a3961f5Anna Zaks 30522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksvoid initArray(int x, double XYZ[3]) { 31522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks if (x <= 0) //expected-note {{Taking true branch}} 32522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1 {{Assuming 'x' is <= 0}} 33522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks return; 34522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks XYZ[0] = 1; 35522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks XYZ[1] = 1; 36522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks XYZ[2] = 1; 37522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks} 38522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksint testPassingParentRegionArray(int x) { 39522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks double XYZ[3]; 40522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks initArray(x, XYZ); //expected-note {{Calling 'initArray'}} 41522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1 {{Returning from 'initArray'}} 42522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks return 1 * XYZ[1]; //expected-warning {{The right operand of '*' is a garbage value}} 43522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1 {{The right operand of '*' is a garbage value}} 44522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks} 45522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks 46522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksdouble *getValidPtr(); 47522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksstruct WithFields { 48522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks double *f1; 49522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks}; 50522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksvoid initStruct(int x, struct WithFields *X) { 51522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks if (x <= 0) //expected-note {{Taking true branch}} 52522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1 {{Assuming 'x' is <= 0}} 53522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks 54522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks return; 55522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks X->f1 = getValidPtr(); 56522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks} 57522fc21f3adc647817edc8017e6928a64c96899bAnna Zaksdouble testPassingParentRegionStruct(int x) { 58522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks struct WithFields st; 5943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek st.f1 = 0; // expected-note {{Null pointer value stored to 'st.f1'}} 60522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks initStruct(x, &st); //expected-note {{Calling 'initStruct'}} 61522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1 {{Returning from 'initStruct'}} 62522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks return (*st.f1); //expected-warning {{Dereference of null pointer}} 63522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks //expected-note@-1{{Dereference of null pointer (loaded from field 'f1')}} 64522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks} 65522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks 66522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK: <key>diagnostics</key> 67522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 68522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 69522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>path</key> 70522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 71522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 72522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 73522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 74522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 7543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>20</integer> 76522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 77522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 78522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 79522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 80522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 81522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 82522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 8343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>20</integer> 84522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 85522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 86522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 87522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 8843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>20</integer> 89522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 90522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 91522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 92522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 93522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 94522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 95522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 964238f41d484729aca260140fbbc53a68769bf60aTed Kremenek// CHECK-NEXT: <string>'xx' declared without an initial value</string> 97522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 984238f41d484729aca260140fbbc53a68769bf60aTed Kremenek// CHECK-NEXT: <string>'xx' declared without an initial value</string> 99522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 100522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 101522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 102522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 103522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 104522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 105522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 106522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 107522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 10843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>20</integer> 109522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 110522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 111522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 112522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 11343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>20</integer> 114522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 115522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 116522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 117522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 118522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 119522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 120522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 12143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 122522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 123522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 124522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 125522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 12643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 127522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 128522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 129522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 130522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 131522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 132522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 133522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 134522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 135522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 136522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 137522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 13843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 139522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 140522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 141522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 142522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 143522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 144522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 145522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 14643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 147522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 148522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 149522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 150522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 15143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 152522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 153522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 154522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 155522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 156522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 157522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 158522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 159522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'foo'</string> 160522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 161522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'foo'</string> 162522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 163522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 164522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 165522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 166522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 16743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>11</integer> 168522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 169522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 170522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 171522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 172522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 173522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'use'</string> 174522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 175522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'use'</string> 176522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 177522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 178522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 179522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 180522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 181522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 182522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 183522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 184522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 18543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>11</integer> 186522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 187522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 188522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 189522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 19043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>11</integer> 191522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>4</integer> 192522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 193522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 194522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 195522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 196522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 197522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 19843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 199522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 200522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 201522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 202522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 20343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 204522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>6</integer> 205522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 206522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 207522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 208522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 209522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 210522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 211522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 212522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 213522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 214522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 215522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 216522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 217522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 218522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 21943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 220522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 221522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 222522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 223522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 22443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 225522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>6</integer> 226522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 227522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 228522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 229522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 230522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 231522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 23243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 233522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 234522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 235522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 236522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 23743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 238522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 239522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 240522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 241522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 242522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 243522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 244522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 245522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 246522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 247522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 248522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 24943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 250522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 251522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 252522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 253522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 254522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 255522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 256522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 25743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 258522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 259522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 260522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 261522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 26243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 263522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 264522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 265522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 266522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 267522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 268522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 269522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 270522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'c' is not equal to 0</string> 271522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 272522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'c' is not equal to 0</string> 273522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 274522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 275522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 276522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 277522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 278522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 279522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 280522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 281522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 28243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 283522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 284522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 285522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 286522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 28743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>12</integer> 288522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 289522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 290522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 291522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 292522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 293522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 294522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 29543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>15</integer> 296522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 297522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 298522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 299522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 30043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>15</integer> 301522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 302522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 303522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 304522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 305522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 306522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 307522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 308522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 309522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 310522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 311522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 31243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 313522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 314522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 315522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 316522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 317522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 318522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 319522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 32043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 321522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 322522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 323522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 324522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 32543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 326522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 327522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 328522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 329522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 330522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 3317be2245487f9cd7d04f013db92280d9ccd323586Jordan Rose// CHECK-NEXT: <key>depth</key><integer>0</integer> 332522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 333522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'foo'</string> 334522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 335522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'foo'</string> 336522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 337522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 338522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 339522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 340522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 341522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 342522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 343522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 344522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 34543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 346522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 347522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 348522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 349522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 35043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>22</integer> 351522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 352522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 353522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 354522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 355522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 356522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 357522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 35843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>25</integer> 359522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 360522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 361522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 362522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 36343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>25</integer> 364522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>18</integer> 365522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 366522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 367522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 368522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 369522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 370522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 371522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 372522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 373522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 374522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 375522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 376522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 377522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 378522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 37943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>25</integer> 380522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 381522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 382522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 383522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 38443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>25</integer> 385522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>18</integer> 386522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 387522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 388522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 389522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 390522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 391522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 39243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 3930f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 394522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 395522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 396522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 39743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 3980f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 399522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 400522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 401522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 402522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 403522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 404522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 405522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 406522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 407522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 408522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 40943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 4100f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 411522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 412522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 413522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 414522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 415522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 416522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 41743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 418522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>12</integer> 419522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 420522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 421522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 42243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 423522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>13</integer> 424522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 425522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 426522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 427522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 428522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 429522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 430522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>The left operand of '+' is a garbage value</string> 431522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 432522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>The left operand of '+' is a garbage value</string> 433522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 434522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 435522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>description</key><string>The left operand of '+' is a garbage value</string> 436522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>category</key><string>Logic error</string> 437522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>type</key><string>Result of operation is garbage or undefined</string> 438522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 439522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context</key><string>use</string> 440c1c6a4981a4b50476d71c88f8dac81a1430885edAnna Zaks// CHECK-NEXT: <key>issue_hash</key><string>7</string> 441522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 442522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 44343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>26</integer> 4440f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 445522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 446522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 447522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 448522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 449522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>path</key> 450522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 451522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 452522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 453522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 454522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 455522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 456522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 457522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 458522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 45943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>39</integer> 460522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 461522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 462522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 463522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 46443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>39</integer> 465522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 466522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 467522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 468522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 469522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 470522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 471522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 47243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 473522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 474522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 475522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 476522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 47743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 478522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>13</integer> 479522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 480522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 481522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 482522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 483522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 484522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 485522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 486522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 487522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 488522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 48943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 490522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 491522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 492522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 493522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 494522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 495522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 496522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 49743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 498522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 499522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 500522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 501522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 50243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 503522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>21</integer> 504522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 505522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 506522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 507522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 508522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 509522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 510522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'initArray'</string> 511522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 512522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'initArray'</string> 513522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 514522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 515522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 516522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 517522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 51843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>30</integer> 519522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 520522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 521522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 522522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 523522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 524522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'testPassingParentRegionArray'</string> 525522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 526522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'testPassingParentRegionArray'</string> 527522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 528522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 529522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 530522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 531522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 532522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 533522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 534522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 535522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 53643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>30</integer> 537522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 538522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 539522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 540522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 54143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>30</integer> 542522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>4</integer> 543522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 544522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 545522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 546522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 547522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 548522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 54943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 550522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 551522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 552522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 553522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 55443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 555522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>6</integer> 556522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 557522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 558522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 559522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 560522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 561522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 562522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 563522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 564522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 565522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 566522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 567522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 568522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 569522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 57043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 571522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 572522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 573522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 574522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 57543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 576522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>6</integer> 577522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 578522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 579522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 580522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 581522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 582522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 58343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 584522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 585522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 586522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 587522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 58843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 589522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 590522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 591522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 592522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 593522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 594522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 595522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 596522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 597522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 598522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 599522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 60043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 601522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 602522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 603522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 604522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 605522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 606522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 607522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 60843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 609522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 610522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 611522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 612522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 61343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 614522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 615522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 616522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 617522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 618522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 619522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 620522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 621522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'x' is <= 0</string> 622522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 623522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'x' is <= 0</string> 624522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 625522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 626522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 627522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 628522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 629522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 630522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 631522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 632522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 63343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 634522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 635522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 636522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 637522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 63843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>31</integer> 639522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 640522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 641522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 642522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 643522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 644522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 645522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 64643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>33</integer> 647522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>9</integer> 648522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 649522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 650522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 65143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>33</integer> 652522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 653522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 654522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 655522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 656522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 657522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 658522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 659522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 660522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 661522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 662522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 66343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 664522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 665522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 666522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 667522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 668522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 669522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 670522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 67143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 672522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 673522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 674522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 675522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 67643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 677522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>21</integer> 678522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 679522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 680522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 681522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 6827be2245487f9cd7d04f013db92280d9ccd323586Jordan Rose// CHECK-NEXT: <key>depth</key><integer>0</integer> 683522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 684522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'initArray'</string> 685522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 686522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'initArray'</string> 687522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 688522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 689522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 690522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 691522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 692522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 693522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 694522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 695522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 69643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 697522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 698522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 699522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 700522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 70143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>40</integer> 702522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>13</integer> 703522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 704522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 705522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 706522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 707522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 708522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 70943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 7100f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 711522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 712522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 713522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 71443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 7150f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 716522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 717522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 718522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 719522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 720522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 721522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 722522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 723522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 724522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 725522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 72643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 7270f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 728522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 729522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 730522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 731522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 732522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 733522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 73443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 735522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>16</integer> 736522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 737522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 738522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 73943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 740522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>21</integer> 741522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 742522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 743522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 744522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 745522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 746522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 747522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>The right operand of '*' is a garbage value</string> 748522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 749522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>The right operand of '*' is a garbage value</string> 750522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 751522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 752522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>description</key><string>The right operand of '*' is a garbage value</string> 753522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>category</key><string>Logic error</string> 754522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>type</key><string>Result of operation is garbage or undefined</string> 755522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 756522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context</key><string>testPassingParentRegionArray</string> 757c1c6a4981a4b50476d71c88f8dac81a1430885edAnna Zaks// CHECK-NEXT: <key>issue_hash</key><string>4</string> 758522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 759522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 76043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>42</integer> 7610f8579274a010f360a371b53101859d9d6052314Anna Zaks// CHECK-NEXT: <key>col</key><integer>14</integer> 762522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 763522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 764522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 765522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 766522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>path</key> 767522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 768522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 769522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 770522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 771522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 772522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 773522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 774522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 775522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 77643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>58</integer> 777522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 778522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 779522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 780522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 78143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>58</integer> 782522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>8</integer> 783522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 784522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 785522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 786522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 787522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 788522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 789522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>line</key><integer>59</integer> 790522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 791522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 792522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 793522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 794522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>line</key><integer>59</integer> 79543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>4</integer> 796522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 797522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 798522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 799522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 800522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 801522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 802522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 803522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 804522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 805522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 806522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>line</key><integer>59</integer> 807522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 808522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 809522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 810522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 811522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 812522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 813522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 814522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>line</key><integer>59</integer> 815522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 816522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 817522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 818522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 819522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>line</key><integer>59</integer> 82043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>11</integer> 82143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 82243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 82343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </array> 82443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </array> 82543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>depth</key><integer>0</integer> 82643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>extended_message</key> 82743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <string>Null pointer value stored to 'st.f1'</string> 82843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>message</key> 82943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <string>Null pointer value stored to 'st.f1'</string> 83043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 83143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 83243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>kind</key><string>control</string> 83343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>edges</key> 83443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <array> 83543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 83643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>start</key> 83743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <array> 83843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 83943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>59</integer> 84043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>3</integer> 84143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 84243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 84343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 84443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>59</integer> 84543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>4</integer> 84643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 84743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 84843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </array> 84943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>end</key> 85043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <array> 85143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 85243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 85343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>3</integer> 85443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 85543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 85643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 85743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 85843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>12</integer> 85943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 86043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 86143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </array> 86243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 86343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </array> 86443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 86543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 86643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>kind</key><string>event</string> 86743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>location</key> 86843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 86943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 87043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>3</integer> 87143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 87243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 87343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>ranges</key> 87443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <array> 87543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <array> 87643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 87743b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 87843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>col</key><integer>3</integer> 87943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>file</key><integer>0</integer> 88043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: </dict> 88143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <dict> 88243b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 883522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>20</integer> 884522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 885522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 886522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 887522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 888522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 889522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 890522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'initStruct'</string> 891522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 892522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Calling 'initStruct'</string> 893522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 894522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 895522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 896522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 897522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 89843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>50</integer> 899522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 900522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 901522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 902522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 903522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 904522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'testPassingParentRegionStruct'</string> 905522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 906522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Entered call from 'testPassingParentRegionStruct'</string> 907522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 908522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 909522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 910522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 911522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 912522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 913522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 914522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 915522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 91643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>50</integer> 917522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>1</integer> 918522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 919522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 920522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 92143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>50</integer> 922522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>4</integer> 923522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 924522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 925522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 926522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 927522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 928522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 92943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 930522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 931522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 932522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 933522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 93443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 935522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>4</integer> 936522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 937522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 938522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 939522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 940522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 941522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 942522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 943522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 944522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 945522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 946522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 947522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 948522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 949522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 95043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 951522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 952522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 953522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 954522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 95543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 956522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>4</integer> 957522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 958522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 959522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 960522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 961522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 962522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 96343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 964522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 965522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 966522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 967522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 96843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 969522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 970522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 971522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 972522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 973522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 974522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 975522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 976522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 977522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 978522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 979522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 98043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 981522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 982522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 983522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 984522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 985522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 986522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 987522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 98843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 989522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 990522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 991522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 992522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 99343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 994522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>12</integer> 995522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 996522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 997522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 998522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 999522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>1</integer> 1000522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 1001522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'x' is <= 0</string> 1002522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 1003522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Assuming 'x' is <= 0</string> 1004522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1005522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1006522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 1007522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 1008522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1009522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1010522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 1011522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1012522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 101343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 1014522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 1015522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1016522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1017522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 101843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>51</integer> 1019522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>7</integer> 1020522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1021522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1022522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1023522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 1024522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1025522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 102643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>54</integer> 1027522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>5</integer> 1028522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1029522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1030522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 103143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>54</integer> 1032522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 1033522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1034522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1035522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1036522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1037522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1038522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1039522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1040522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 1041522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 1042522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 104343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 1044522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 1045522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1046522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1047522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 1048522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1049522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1050522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 105143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 1052522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 1053522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1054522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1055522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 105643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 1057522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>20</integer> 1058522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1059522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1060522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1061522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 10627be2245487f9cd7d04f013db92280d9ccd323586Jordan Rose// CHECK-NEXT: <key>depth</key><integer>0</integer> 1063522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 1064522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'initStruct'</string> 1065522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 1066522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Returning from 'initStruct'</string> 1067522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1068522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1069522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 1070522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 1071522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1072522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1073522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 1074522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1075522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 107643b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 1077522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 1078522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1079522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1080522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 108143b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>60</integer> 1082522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>12</integer> 1083522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1084522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1085522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1086522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 1087522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1088522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 108943b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1090522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 1091522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1092522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1093522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 109443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1095522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>8</integer> 1096522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1097522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1098522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1099522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1100522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1101522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1102522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1103522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>control</string> 1104522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>edges</key> 1105522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1106522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1107522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>start</key> 1108522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1109522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 111043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1111522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>3</integer> 1112522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1113522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1114522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 111543b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1116522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>8</integer> 1117522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1118522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1119522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1120522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>end</key> 1121522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1122522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 112343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1124522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 1125522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1126522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1127522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 112843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1129522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 1130522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1131522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1132522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1133522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1134522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1135522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1136522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 1137522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>kind</key><string>event</string> 1138522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 1139522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 114043b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1141522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 1142522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1143522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1144522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>ranges</key> 1145522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1146522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <array> 1147522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 114843b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1149522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>15</integer> 1150522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1151522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1152522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 115343b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1154522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>16</integer> 1155522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1156522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1157522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1158522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1159522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>depth</key><integer>0</integer> 1160522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>extended_message</key> 1161522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Dereference of null pointer (loaded from field 'f1')</string> 1162522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>message</key> 1163522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <string>Dereference of null pointer (loaded from field 'f1')</string> 1164522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1165522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1166522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from field 'f1')</string> 1167522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>category</key><string>Logic error</string> 1168522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 1169522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1170522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>issue_context</key><string>testPassingParentRegionStruct</string> 1171c1c6a4981a4b50476d71c88f8dac81a1430885edAnna Zaks// CHECK-NEXT: <key>issue_hash</key><string>5</string> 1172522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>location</key> 1173522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <dict> 117443b82b823a6113fdbee54243b280db9c55ef72cbTed Kremenek// CHECK-NEXT: <key>line</key><integer>62</integer> 1175522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>col</key><integer>10</integer> 1176522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: <key>file</key><integer>0</integer> 1177522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1178522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </dict> 1179522fc21f3adc647817edc8017e6928a64c96899bAnna Zaks// CHECK-NEXT: </array> 1180