path-notes.c revision cc5dbdae70c6eb2423921f52a35ba4686d2969cf
15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify %s 25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config suppress-null-return-paths=false %s -o %t.plist 35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// RUN: FileCheck --input-file=%t.plist %s 45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void zero(int **p) { 65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *p = 0; 75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Null pointer value stored to 'a'}} 85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 95821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void testZero(int *a) { 11868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles) zero(&a); 12eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch // expected-note@-1 {{Calling 'zero'}} 135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-2 {{Returning from 'zero'}} 145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 17c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles) 181320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tuccivoid testCheck(int *a) { 195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) if (a) { 205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 + {{Assuming 'a' is null}} 21868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles) // expected-note@-2 + {{Taking false branch}} 225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ; 235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 242a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 255d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)int *getPointer(); 305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 31cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)void testInitCheck() { 32cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) int *a = getPointer(); 335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{'a' initialized here}} 345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) if (a) { 355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 + {{Assuming 'a' is null}} 365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-2 + {{Taking false branch}} 375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ; 385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 41cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)} 42cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 43cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)void testStoreCheck(int *a) { 44cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) a = getPointer(); 45cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 {{Value assigned to 'a'}} 46cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) if (a) { 47cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 + {{Assuming 'a' is null}} 48cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-2 + {{Taking false branch}} 49cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) ; 50cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) } 51cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 52cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 53cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)} 54cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 55cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 56cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)int *getZero() { 57cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) int *p = 0; 58cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 + {{'p' initialized to a null pointer value}} 59cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // ^ This note checks that we add a second visitor for the return value. 60cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) return p; 61cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 + {{Returning null pointer (loaded from 'p')}} 62cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)} 63cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 64cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)void testReturnZero() { 65cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) *getZero() = 1; // expected-warning{{Dereference of null pointer}} 66cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 {{Calling 'getZero'}} 67cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-2 {{Returning from 'getZero'}} 68cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-3 {{Dereference of null pointer}} 69cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)} 70cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 71cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)int testReturnZero2() { 72cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) return *getZero(); // expected-warning{{Dereference of null pointer}} 73cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-1 {{Calling 'getZero'}} 74cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-2 {{Returning from 'getZero'}} 75cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) // expected-note@-3 {{Dereference of null pointer}} 76cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)} 77cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) 78cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)void testInitZero() { 79cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles) int *a = getZero(); 805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Calling 'getZero'}} 815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-2 {{Returning from 'getZero'}} 825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-3 {{'a' initialized to a null pointer value}} 835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 872a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)void testStoreZero(int *a) { 885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) a = getZero(); 895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Calling 'getZero'}} 905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-2 {{Returning from 'getZero'}} 915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-3 {{Null pointer value stored to 'a'}} 925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *a = 1; // expected-warning{{Dereference of null pointer}} 935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void usePointer(int *p) { 975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) *p = 1; // expected-warning{{Dereference of null pointer}} 98010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) // expected-note@-1 {{Dereference of null pointer}} 99116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch} 100116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch 101010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)void testUseOfNullPointer() { 102010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) // Test the case where an argument expression is itself a call. 103010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) usePointer(getZero()); 104010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) // expected-note@-1 {{Calling 'getZero'}} 105010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) // expected-note@-2 {{Returning from 'getZero'}} 106010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles) // expected-note@-3 {{Passing null pointer value via 1st parameter 'p'}} 107116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch // expected-note@-4 {{Calling 'usePointer'}} 108116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch} 1095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK: <key>diagnostics</key> 1115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 1125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 1145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 115e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 116e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>kind</key><string>event</string> 117e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>location</key> 118e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 119e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>line</key><integer>11</integer> 120e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 121e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 122e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </dict> 1235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 1245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 1255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 1265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 1285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 1295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 1315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 133e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>col</key><integer>10</integer> 134e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 135e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </dict> 136e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </array> 137e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </array> 138e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>depth</key><integer>0</integer> 139e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>extended_message</key> 140e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <string>Calling 'zero'</string> 141cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 142cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <string>Calling 'zero'</string> 143010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 144e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 145e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>kind</key><string>event</string> 146e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>location</key> 147f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: <dict> 148f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>5</integer> 149f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 150e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 151a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: </dict> 152cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 153cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 1542a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testZero'</string> 1555d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 1565d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testZero'</string> 1575d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 1585d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 1595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 1605d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 161eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch// CHECK-NEXT: <array> 162cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 163cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 164eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch// CHECK-NEXT: <array> 165eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch// CHECK-NEXT: <dict> 166cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>5</integer> 167f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 168f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 169f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)// CHECK-NEXT: </dict> 170e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 171e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>line</key><integer>5</integer> 172e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>col</key><integer>4</integer> 173c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 174e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </dict> 175cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </array> 176cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 1775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 1785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>6</integer> 1805d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 1815d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1825d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 1835d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 1845d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>6</integer> 1855d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 1865d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 187cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 188cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </array> 1895d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 1905d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </array> 1911320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: </dict> 1925d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 193cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 194cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 195cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 196cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>6</integer> 197cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 198cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2002a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 2012a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 2022a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 2032a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <dict> 2041320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>line</key><integer>6</integer> 2051320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>col</key><integer>3</integer> 2061320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>file</key><integer>0</integer> 2071320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: </dict> 2081320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <dict> 2091320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>line</key><integer>6</integer> 2102a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 21158537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2130de6073388f4e2780db8536178b129cd8f6ab386Torne (Richard Coles)// CHECK-NEXT: </array> 214cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </array> 215cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 216cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 2170de6073388f4e2780db8536178b129cd8f6ab386Torne (Richard Coles)// CHECK-NEXT: <string>Null pointer value stored to 'a'</string> 2180de6073388f4e2780db8536178b129cd8f6ab386Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 2190de6073388f4e2780db8536178b129cd8f6ab386Torne (Richard Coles)// CHECK-NEXT: <string>Null pointer value stored to 'a'</string> 220a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: </dict> 221a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <dict> 2225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 2235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 2245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 2255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 2265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 2275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 2305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 2315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 2325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 2335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 2345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 2355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 2385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 2395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 2405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 2435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 2445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 2455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 2465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'zero'</string> 2475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 2485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'zero'</string> 2495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 2515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 2525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 2535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 2545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 2555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 2565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 2575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 258c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>line</key><integer>11</integer> 259c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 260c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 261c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: </dict> 262c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <dict> 2635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>11</integer> 2645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>6</integer> 2655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 267c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: </array> 268c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>end</key> 269c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <array> 270c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <dict> 271c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>line</key><integer>14</integer> 272c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 2735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 276c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>line</key><integer>14</integer> 277c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 278c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 279c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: </dict> 280c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: </array> 2815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 283c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: </dict> 284c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <dict> 285c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>kind</key><string>event</string> 286c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <key>location</key> 287c5cede9ae108bb15f6b7a8aea21c7e1fefa2834cBen Murdoch// CHECK-NEXT: <dict> 2885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>14</integer> 2895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 2905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 2915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 2925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 2935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 2945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 295868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)// CHECK-NEXT: <dict> 296868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>14</integer> 297868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 2985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 299cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 300e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 3015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>14</integer> 302cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 303e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 3045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 305cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </array> 306e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </array> 3075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 3085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 3095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 3105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 3115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 3125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 3135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 3145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 3155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 3165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 3175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 3185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testZero</string> 3195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>4</string> 3205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 3215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>14</integer> 3235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 3245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 3255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 3265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 3275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 3295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 3305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 3325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 3335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 3345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 3365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 3375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 3395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 3405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 3415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 3425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 3445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 3457dbb3d5cf0c15f500944d211057644d6a2f37371Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 3467dbb3d5cf0c15f500944d211057644d6a2f37371Ben Murdoch// CHECK-NEXT: </dict> 3477dbb3d5cf0c15f500944d211057644d6a2f37371Ben Murdoch// CHECK-NEXT: </array> 348b2df76ea8fec9e32f6f3718986dba0d95315b29cTorne (Richard Coles)// CHECK-NEXT: <key>end</key> 349b2df76ea8fec9e32f6f3718986dba0d95315b29cTorne (Richard Coles)// CHECK-NEXT: <array> 350b2df76ea8fec9e32f6f3718986dba0d95315b29cTorne (Richard Coles)// CHECK-NEXT: <dict> 351b2df76ea8fec9e32f6f3718986dba0d95315b29cTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 3527dbb3d5cf0c15f500944d211057644d6a2f37371Ben Murdoch// CHECK-NEXT: <key>col</key><integer>7</integer> 353b2df76ea8fec9e32f6f3718986dba0d95315b29cTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 3545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 355effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <dict> 356effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <key>line</key><integer>19</integer> 3575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 358effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 359effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: </dict> 3605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 361effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: </dict> 3625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 3636e8cce623b6e4fe0c9e4af605d675dd9d0338c38Torne (Richard Coles)// CHECK-NEXT: </dict> 364e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: <dict> 365cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 366cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 367cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 368cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 369cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 370cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 371cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 372cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 373cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <array> 3745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 3755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 377010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 378c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 37958537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: </dict> 38058537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: <dict> 38158537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 38258537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 38358537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 38458537e28ecd584eab876aee8be7156509866d23aTorne (Richard Coles)// CHECK-NEXT: </dict> 3855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 3865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 3875d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 3885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 3895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 3905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 3915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 3922a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 3935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 3955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 3962a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 3975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 3985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 3995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 4002a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <dict> 4015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 4025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 4035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4042a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 4055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>19</integer> 4075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 4082a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 4125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 4135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 416a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 417a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: </dict> 418a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <dict> 4195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 4215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 425cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </array> 426cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 427cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 428cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 429cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 4305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4315d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 4335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4342a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 4355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 4365d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <array> 4375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 438f8ee788a64d60abd8f2d742a5fdedde054ecd910Torne (Richard Coles)// CHECK-NEXT: <dict> 4395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 441a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 442a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: </dict> 443a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <dict> 444a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 4465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 4515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 4525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 4535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 4545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 4555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 4585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 4595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 4605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 4615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testCheck</string> 4622a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>6</string> 4635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 4645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>24</integer> 4665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 4675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 4725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 4735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4742a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 4755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 4765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>32</integer> 4785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 4795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4802a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 4815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 4825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 4835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 4845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>32</integer> 4865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 4875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4882a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 4895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 4905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>32</integer> 4915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 4925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 4935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 4945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 4965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 4975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 4985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>'a' initialized here</string> 4992a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>message</key> 5005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>'a' initialized here</string> 5015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 5045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 5052a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 5065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 5085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5102a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>32</integer> 5115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 5125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>32</integer> 5165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>5</integer> 5175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 5215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 5255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 530a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 536a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <dict> 5375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 5385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 5395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 5425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 545a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 5465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 5515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 5555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 5595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 5645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 5725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 5735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 5765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 5795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 5815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 5845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 5875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 5885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 5895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 5905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 5935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 5945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 5955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 5965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 5975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 5985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 5995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 6015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 6025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 6055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 6085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 6095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>34</integer> 6135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 6145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 6175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 6185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 6215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 6265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 6305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 632010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 6335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 6355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 6365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 6385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 6425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 646010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 6475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 648010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 6495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 6515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 6525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 6555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 6565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 6575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 6585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 6595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 6605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 6615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 6635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 6645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 6655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 6665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 6672a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testInitCheck</string> 6685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>8</string> 6695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 6705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>39</integer> 6722a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6732a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6742a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 6755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 6785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 6815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 6825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>44</integer> 6845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 6882a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 6895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 6905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>44</integer> 6925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 6935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 6955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 6965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>44</integer> 6975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>18</integer> 6982a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 6995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 7005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 7015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 7025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 7035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 7042a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <string>Value assigned to 'a'</string> 7055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 7065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Value assigned to 'a'</string> 7075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 7085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 7095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 7105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 7115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 712cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 7135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 7145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 715010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 716010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>44</integer> 717010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 718010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 719010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 720010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 721010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>44</integer> 722010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 723010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 724010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 725010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 726010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>end</key> 727010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 728010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 729010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 730010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 731010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 732010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 733010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 734010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 735010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 736010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 737010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 738010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 739116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 740116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </array> 74146d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: </dict> 74246d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <dict> 74346d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 74446d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>edges</key> 74546d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <array> 74646d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <dict> 74746d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>start</key> 74846d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <array> 74946d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <dict> 75046d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 75146d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 75246d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 75346d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: </dict> 75446d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <dict> 75546d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 75646d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 75746d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 758010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 759010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 760010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>end</key> 761010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 762010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 763010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 764010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 765010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 766010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 767010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 768010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 769010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 770010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 771010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 772010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 773010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 774010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 775010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 776010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 777010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 778010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>location</key> 779010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 780010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 781010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 782010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 783010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 784010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 785010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 786010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 787010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 788010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 789010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 790010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 791010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 792010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 793010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 794010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 795010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 796010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 797010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 798010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 799010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 800010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 801010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 802010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>message</key> 803010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <string>Assuming 'a' is null</string> 804010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 805010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 806010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 807010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>edges</key> 808010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 809010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 810010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>start</key> 811010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 812010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 813010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 814010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 815010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 816010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 817010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 818010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>46</integer> 819010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>7</integer> 820010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 821010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 822010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 823010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>end</key> 824010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 825010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 8265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 8275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 8285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 8295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 8305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 8325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 8335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 8345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 835010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 836010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 837010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 838010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 839010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 840010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 841010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>location</key> 842010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 843010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 84446d4c2bc3267f3f028f39e7e311b0f89aba2e4fdTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 845010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 846010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 847010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 848010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 8495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 8505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 852010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 853010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 854010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 855010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 856010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 857010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 858010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 859010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 860010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 861010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 862010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 863010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 864010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 865010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>message</key> 866010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 867010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 868010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 869010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 870010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 871010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 872010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 8735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testStoreCheck</string> 8745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>8</string> 8755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 8765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>51</integer> 8785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 8795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 8802a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 8815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 8825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 8845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 8855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8862a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 8872a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>edges</key> 8885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 8895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 8915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 8925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 8945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 8955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 8965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 8975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 8985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 8995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 9005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 9035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 9045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 9055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 907cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 9085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 912116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>col</key><integer>10</integer> 913116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 9145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 9165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9172a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </array> 9185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 9215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 922116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 923116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>line</key><integer>65</integer> 924116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>col</key><integer>4</integer> 925116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 926116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 927116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>ranges</key> 928116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <array> 929116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <array> 930116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 931116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>line</key><integer>65</integer> 932116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>col</key><integer>4</integer> 933116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 934116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 935116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 936116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>line</key><integer>65</integer> 937116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>col</key><integer>12</integer> 938116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 939116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 940116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </array> 941116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </array> 942116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>depth</key><integer>0</integer> 943116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>extended_message</key> 944116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <string>Calling 'getZero'</string> 945116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>message</key> 946116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <string>Calling 'getZero'</string> 947116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 948116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 949116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>kind</key><string>event</string> 950116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>location</key> 951116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 952116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>line</key><integer>56</integer> 953116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>col</key><integer>1</integer> 954116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 955116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 956116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>depth</key><integer>1</integer> 957116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>extended_message</key> 958116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <string>Entered call from 'testReturnZero'</string> 959116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>message</key> 960116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <string>Entered call from 'testReturnZero'</string> 961116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: </dict> 962116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <dict> 963116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>kind</key><string>control</string> 964116680a4aac90f2aa7413d9095a592090648e557Ben Murdoch// CHECK-NEXT: <key>edges</key> 9655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 9662a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <dict> 9672a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>start</key> 9685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 9695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 9715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 9725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 975cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 9765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 9775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 9805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 9815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 9825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9832a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 9845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 9855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 9885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 9892a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>5</integer> 9905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 9915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 9935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 9955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 9965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 997cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 9985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 9995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 10015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 10055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 10095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 10145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 10152a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1016cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 10175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 10205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 10215d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 10225d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 10235d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 10245d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 10255d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 10265d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 10275d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 10285d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <array> 10295d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 10305d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 10315d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <array> 10325d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 10335d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 10345d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10355d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10365d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 10375d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <dict> 1038cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 10395d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>5</integer> 10405d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10415d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </dict> 10425d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)// CHECK-NEXT: </array> 10435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 10445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 10475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 10525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 10535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10592a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <dict> 10605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 1061cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 10625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 10645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 10685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 10725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 10735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 10775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 10785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10792a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 10805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 10825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 10835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 10845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 10855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 10865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 10875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 10905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 10915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 10925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 10935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 10945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 10955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 10965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 10975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 10982a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 1099cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 11005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 11025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>12</integer> 11075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 11125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 11135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'getZero'</string> 11145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 11155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'getZero'</string> 11165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 11195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 11202a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 11215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 11235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11322a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 11365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 11405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11432a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 11455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 11535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 11545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 11575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>4</integer> 11615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11640529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: <key>line</key><integer>65</integer> 11650529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: <key>col</key><integer>10</integer> 11660529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 11670529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: </dict> 11680529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: </array> 11690529e5d033099cbfc42635f6f6183833b09dff6eBen Murdoch// CHECK-NEXT: <key>end</key> 11705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 11845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 11875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 11885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 11925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 11935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 11945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 11965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 11975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 11985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 11995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 12035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>16</integer> 12045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 12095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 12105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer</string> 12115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 12125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer</string> 12135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer</string> 12165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 12175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 12185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 12195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testReturnZero</string> 12205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>1</string> 12215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 12225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>65</integer> 12245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 12255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 12305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 12335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 12345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 12375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 12415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 12465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 12505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 12545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>17</integer> 12595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 12675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 12685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 12715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 12745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 12765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 12795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 12835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>19</integer> 12845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 12855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 12885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 12895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 12905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Calling 'getZero'</string> 12915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 12925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Calling 'getZero'</string> 12935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 12945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 12965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 12975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 12985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 12995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 13005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 13035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 13045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testReturnZero2'</string> 13055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 13065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testReturnZero2'</string> 13075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 13105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 13115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 13145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 13175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 13185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 13225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 13235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 13265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 13275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 13315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>5</integer> 13365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 13395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 13415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 13445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 13455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 13485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 13515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 13565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13582a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <dict> 13595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 13615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 13625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 13645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 13655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 13665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 13675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 13685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 13695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 13705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 13715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 13735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 13745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 13775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 13785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 13795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 13805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 1381558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1382558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1383558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <dict> 1384558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>line</key><integer>57</integer> 1385558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>col</key><integer>5</integer> 1386558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1387558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1388558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </array> 1389558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>end</key> 1390558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <array> 1391558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <dict> 1392558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>line</key><integer>60</integer> 1393558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 1394558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1395558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1396558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <dict> 1397558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>line</key><integer>60</integer> 1398558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>col</key><integer>8</integer> 1399558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1400558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1401558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </array> 1402558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1403558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </array> 1404558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1405558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <dict> 1406558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>kind</key><string>event</string> 1407558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>location</key> 1408558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <dict> 1409558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>line</key><integer>60</integer> 1410558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>col</key><integer>3</integer> 1411558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1412558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: </dict> 1413558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <key>ranges</key> 1414558790d6acca3451cf3a6b497803a5f07d0bec58Ben Murdoch// CHECK-NEXT: <array> 14155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 14165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 14185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 14195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>60</integer> 14235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 14245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14262a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </array> 14275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 14285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 14295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 14305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 14315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 14325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 14335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 14365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 14375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 14395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 14405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 14435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 14445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 14455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 14475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 14485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 14525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>19</integer> 14535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 14565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 14575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 14585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 14595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'getZero'</string> 14605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 14615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Returning from 'getZero'</string> 14625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14641320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>kind</key><string>control</string> 14651320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <key>edges</key> 14661320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <array> 14671320f92c476a1ad9d19dba2a48c72b75566198e9Primiano Tucci// CHECK-NEXT: <dict> 14685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 14692a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <array> 14705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 14725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 14735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14762a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 14775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>8</integer> 14785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 14795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 14815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 1482010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <array> 1483010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 1484010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 1485010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 1486010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1487010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 1488010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <dict> 1489010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 1490010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>17</integer> 1491010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1492010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 1493010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </array> 1494010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)// CHECK-NEXT: </dict> 14955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 14965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 14975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 14985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 14992a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: <key>edges</key> 15005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 15035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>11</integer> 15075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>17</integer> 15125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15142a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </array> 15155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 15165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 15205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 15255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15262a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)// CHECK-NEXT: </dict> 15275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 15335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 15345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 15375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 15405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 15455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>19</integer> 15505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 15555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 15565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer</string> 15575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 15585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Dereference of null pointer</string> 15595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>description</key><string>Dereference of null pointer</string> 15625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>category</key><string>Logic error</string> 15635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 15645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 15655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_context</key><string>testReturnZero2</string> 15665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>issue_hash</key><string>1</string> 15675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 15685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>72</integer> 15705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>10</integer> 15715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>path</key> 15765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 15795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 15805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 15835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 15865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 15875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 15915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>5</integer> 15925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 15935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 15945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 15955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 15965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 15975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 15985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 15995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>12</integer> 16005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 16045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>18</integer> 16055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 16085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 16105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1612cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 1613cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 1614cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 1615cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 1616cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>12</integer> 1617cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1618cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 1619cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>ranges</key> 1620cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <array> 1621cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <array> 1622cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <dict> 1623cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 1624cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>12</integer> 1625cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 1626cedac228d2dd51db4b79ea1e72c7f249408ee061Torne (Richard Coles)// CHECK-NEXT: </dict> 16275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>79</integer> 1629effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <key>col</key><integer>20</integer> 1630effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <key>file</key><integer>0</integer> 1631effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: </dict> 1632e5d81f57cb97b3b6b7fccc9c5610d21eb81db09dBen Murdoch// CHECK-NEXT: </array> 1633effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: </array> 1634a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>0</integer> 16355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 16365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Calling 'getZero'</string> 16375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 16385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Calling 'getZero'</string> 16395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 1640effb81e5f8246d0db0270817048dc992db66e9fbBen Murdoch// CHECK-NEXT: <dict> 16415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>event</string> 16425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>location</key> 16435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 16455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 16465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>depth</key><integer>1</integer> 16495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>extended_message</key> 16505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testInitZero'</string> 16515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>message</key> 16525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <string>Entered call from 'testInitZero'</string> 16535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>kind</key><string>control</string> 16565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>edges</key> 16575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 16585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>start</key> 16605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 16615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 16635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>1</integer> 16645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>56</integer> 16685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 16695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </array> 16725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>end</key> 16735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <array> 16745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 16755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>line</key><integer>57</integer> 16765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>col</key><integer>3</integer> 16775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <key>file</key><integer>0</integer> 16785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: </dict> 16795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// CHECK-NEXT: <dict> 1680// CHECK-NEXT: <key>line</key><integer>57</integer> 1681// CHECK-NEXT: <key>col</key><integer>5</integer> 1682// CHECK-NEXT: <key>file</key><integer>0</integer> 1683// CHECK-NEXT: </dict> 1684// CHECK-NEXT: </array> 1685// CHECK-NEXT: </dict> 1686// CHECK-NEXT: </array> 1687// CHECK-NEXT: </dict> 1688// CHECK-NEXT: <dict> 1689// CHECK-NEXT: <key>kind</key><string>event</string> 1690// CHECK-NEXT: <key>location</key> 1691// CHECK-NEXT: <dict> 1692// CHECK-NEXT: <key>line</key><integer>57</integer> 1693// CHECK-NEXT: <key>col</key><integer>3</integer> 1694// CHECK-NEXT: <key>file</key><integer>0</integer> 1695// CHECK-NEXT: </dict> 1696// CHECK-NEXT: <key>ranges</key> 1697// CHECK-NEXT: <array> 1698// CHECK-NEXT: <array> 1699// CHECK-NEXT: <dict> 1700// CHECK-NEXT: <key>line</key><integer>57</integer> 1701// CHECK-NEXT: <key>col</key><integer>3</integer> 1702// CHECK-NEXT: <key>file</key><integer>0</integer> 1703// CHECK-NEXT: </dict> 1704// CHECK-NEXT: <dict> 1705// CHECK-NEXT: <key>line</key><integer>57</integer> 1706// CHECK-NEXT: <key>col</key><integer>8</integer> 1707// CHECK-NEXT: <key>file</key><integer>0</integer> 1708// CHECK-NEXT: </dict> 1709// CHECK-NEXT: </array> 1710// CHECK-NEXT: </array> 1711// CHECK-NEXT: <key>depth</key><integer>1</integer> 1712// CHECK-NEXT: <key>extended_message</key> 1713// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 1714// CHECK-NEXT: <key>message</key> 1715// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 1716// CHECK-NEXT: </dict> 1717// CHECK-NEXT: <dict> 1718// CHECK-NEXT: <key>kind</key><string>control</string> 1719// CHECK-NEXT: <key>edges</key> 1720// CHECK-NEXT: <array> 1721// CHECK-NEXT: <dict> 1722// CHECK-NEXT: <key>start</key> 1723// CHECK-NEXT: <array> 1724// CHECK-NEXT: <dict> 1725// CHECK-NEXT: <key>line</key><integer>57</integer> 1726// CHECK-NEXT: <key>col</key><integer>3</integer> 1727// CHECK-NEXT: <key>file</key><integer>0</integer> 1728// CHECK-NEXT: </dict> 1729// CHECK-NEXT: <dict> 1730// CHECK-NEXT: <key>line</key><integer>57</integer> 1731// CHECK-NEXT: <key>col</key><integer>5</integer> 1732// CHECK-NEXT: <key>file</key><integer>0</integer> 1733// CHECK-NEXT: </dict> 1734// CHECK-NEXT: </array> 1735// CHECK-NEXT: <key>end</key> 1736// CHECK-NEXT: <array> 1737// CHECK-NEXT: <dict> 1738// CHECK-NEXT: <key>line</key><integer>60</integer> 1739// CHECK-NEXT: <key>col</key><integer>3</integer> 1740// CHECK-NEXT: <key>file</key><integer>0</integer> 1741// CHECK-NEXT: </dict> 1742// CHECK-NEXT: <dict> 1743// CHECK-NEXT: <key>line</key><integer>60</integer> 1744// CHECK-NEXT: <key>col</key><integer>8</integer> 1745// CHECK-NEXT: <key>file</key><integer>0</integer> 1746// CHECK-NEXT: </dict> 1747// CHECK-NEXT: </array> 1748// CHECK-NEXT: </dict> 1749// CHECK-NEXT: </array> 1750// CHECK-NEXT: </dict> 1751// CHECK-NEXT: <dict> 1752// CHECK-NEXT: <key>kind</key><string>event</string> 1753// CHECK-NEXT: <key>location</key> 1754// CHECK-NEXT: <dict> 1755// CHECK-NEXT: <key>line</key><integer>60</integer> 1756// CHECK-NEXT: <key>col</key><integer>3</integer> 1757// CHECK-NEXT: <key>file</key><integer>0</integer> 1758// CHECK-NEXT: </dict> 1759// CHECK-NEXT: <key>ranges</key> 1760// CHECK-NEXT: <array> 1761// CHECK-NEXT: <array> 1762// CHECK-NEXT: <dict> 1763// CHECK-NEXT: <key>line</key><integer>60</integer> 1764// CHECK-NEXT: <key>col</key><integer>3</integer> 1765// CHECK-NEXT: <key>file</key><integer>0</integer> 1766// CHECK-NEXT: </dict> 1767// CHECK-NEXT: <dict> 1768// CHECK-NEXT: <key>line</key><integer>60</integer> 1769// CHECK-NEXT: <key>col</key><integer>10</integer> 1770// CHECK-NEXT: <key>file</key><integer>0</integer> 1771// CHECK-NEXT: </dict> 1772// CHECK-NEXT: </array> 1773// CHECK-NEXT: </array> 1774// CHECK-NEXT: <key>depth</key><integer>1</integer> 1775// CHECK-NEXT: <key>extended_message</key> 1776// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 1777// CHECK-NEXT: <key>message</key> 1778// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 1779// CHECK-NEXT: </dict> 1780// CHECK-NEXT: <dict> 1781// CHECK-NEXT: <key>kind</key><string>event</string> 1782// CHECK-NEXT: <key>location</key> 1783// CHECK-NEXT: <dict> 1784// CHECK-NEXT: <key>line</key><integer>79</integer> 1785// CHECK-NEXT: <key>col</key><integer>12</integer> 1786// CHECK-NEXT: <key>file</key><integer>0</integer> 1787// CHECK-NEXT: </dict> 1788// CHECK-NEXT: <key>ranges</key> 1789// CHECK-NEXT: <array> 1790// CHECK-NEXT: <array> 1791// CHECK-NEXT: <dict> 1792// CHECK-NEXT: <key>line</key><integer>79</integer> 1793// CHECK-NEXT: <key>col</key><integer>12</integer> 1794// CHECK-NEXT: <key>file</key><integer>0</integer> 1795// CHECK-NEXT: </dict> 1796// CHECK-NEXT: <dict> 1797// CHECK-NEXT: <key>line</key><integer>79</integer> 1798// CHECK-NEXT: <key>col</key><integer>20</integer> 1799// CHECK-NEXT: <key>file</key><integer>0</integer> 1800// CHECK-NEXT: </dict> 1801// CHECK-NEXT: </array> 1802// CHECK-NEXT: </array> 1803// CHECK-NEXT: <key>depth</key><integer>1</integer> 1804// CHECK-NEXT: <key>extended_message</key> 1805// CHECK-NEXT: <string>Returning from 'getZero'</string> 1806// CHECK-NEXT: <key>message</key> 1807// CHECK-NEXT: <string>Returning from 'getZero'</string> 1808// CHECK-NEXT: </dict> 1809// CHECK-NEXT: <dict> 1810// CHECK-NEXT: <key>kind</key><string>control</string> 1811// CHECK-NEXT: <key>edges</key> 1812// CHECK-NEXT: <array> 1813// CHECK-NEXT: <dict> 1814// CHECK-NEXT: <key>start</key> 1815// CHECK-NEXT: <array> 1816// CHECK-NEXT: <dict> 1817// CHECK-NEXT: <key>line</key><integer>79</integer> 1818// CHECK-NEXT: <key>col</key><integer>3</integer> 1819// CHECK-NEXT: <key>file</key><integer>0</integer> 1820// CHECK-NEXT: </dict> 1821// CHECK-NEXT: <dict> 1822// CHECK-NEXT: <key>line</key><integer>79</integer> 1823// CHECK-NEXT: <key>col</key><integer>5</integer> 1824// CHECK-NEXT: <key>file</key><integer>0</integer> 1825// CHECK-NEXT: </dict> 1826// CHECK-NEXT: </array> 1827// CHECK-NEXT: <key>end</key> 1828// CHECK-NEXT: <array> 1829// CHECK-NEXT: <dict> 1830// CHECK-NEXT: <key>line</key><integer>79</integer> 1831// CHECK-NEXT: <key>col</key><integer>12</integer> 1832// CHECK-NEXT: <key>file</key><integer>0</integer> 1833// CHECK-NEXT: </dict> 1834// CHECK-NEXT: <dict> 1835// CHECK-NEXT: <key>line</key><integer>79</integer> 1836// CHECK-NEXT: <key>col</key><integer>18</integer> 1837// CHECK-NEXT: <key>file</key><integer>0</integer> 1838// CHECK-NEXT: </dict> 1839// CHECK-NEXT: </array> 1840// CHECK-NEXT: </dict> 1841// CHECK-NEXT: </array> 1842// CHECK-NEXT: </dict> 1843// CHECK-NEXT: <dict> 1844// CHECK-NEXT: <key>kind</key><string>control</string> 1845// CHECK-NEXT: <key>edges</key> 1846// CHECK-NEXT: <array> 1847// CHECK-NEXT: <dict> 1848// CHECK-NEXT: <key>start</key> 1849// CHECK-NEXT: <array> 1850// CHECK-NEXT: <dict> 1851// CHECK-NEXT: <key>line</key><integer>79</integer> 1852// CHECK-NEXT: <key>col</key><integer>12</integer> 1853// CHECK-NEXT: <key>file</key><integer>0</integer> 1854// CHECK-NEXT: </dict> 1855// CHECK-NEXT: <dict> 1856// CHECK-NEXT: <key>line</key><integer>79</integer> 1857// CHECK-NEXT: <key>col</key><integer>18</integer> 1858// CHECK-NEXT: <key>file</key><integer>0</integer> 1859// CHECK-NEXT: </dict> 1860// CHECK-NEXT: </array> 1861// CHECK-NEXT: <key>end</key> 1862// CHECK-NEXT: <array> 1863// CHECK-NEXT: <dict> 1864// CHECK-NEXT: <key>line</key><integer>79</integer> 1865// CHECK-NEXT: <key>col</key><integer>3</integer> 1866// CHECK-NEXT: <key>file</key><integer>0</integer> 1867// CHECK-NEXT: </dict> 1868// CHECK-NEXT: <dict> 1869// CHECK-NEXT: <key>line</key><integer>79</integer> 1870// CHECK-NEXT: <key>col</key><integer>5</integer> 1871// CHECK-NEXT: <key>file</key><integer>0</integer> 1872// CHECK-NEXT: </dict> 1873// CHECK-NEXT: </array> 1874// CHECK-NEXT: </dict> 1875// CHECK-NEXT: </array> 1876// CHECK-NEXT: </dict> 1877// CHECK-NEXT: <dict> 1878// CHECK-NEXT: <key>kind</key><string>event</string> 1879// CHECK-NEXT: <key>location</key> 1880// CHECK-NEXT: <dict> 1881// CHECK-NEXT: <key>line</key><integer>79</integer> 1882// CHECK-NEXT: <key>col</key><integer>3</integer> 1883// CHECK-NEXT: <key>file</key><integer>0</integer> 1884// CHECK-NEXT: </dict> 1885// CHECK-NEXT: <key>ranges</key> 1886// CHECK-NEXT: <array> 1887// CHECK-NEXT: <array> 1888// CHECK-NEXT: <dict> 1889// CHECK-NEXT: <key>line</key><integer>79</integer> 1890// CHECK-NEXT: <key>col</key><integer>3</integer> 1891// CHECK-NEXT: <key>file</key><integer>0</integer> 1892// CHECK-NEXT: </dict> 1893// CHECK-NEXT: <dict> 1894// CHECK-NEXT: <key>line</key><integer>79</integer> 1895// CHECK-NEXT: <key>col</key><integer>8</integer> 1896// CHECK-NEXT: <key>file</key><integer>0</integer> 1897// CHECK-NEXT: </dict> 1898// CHECK-NEXT: </array> 1899// CHECK-NEXT: </array> 1900// CHECK-NEXT: <key>depth</key><integer>0</integer> 1901// CHECK-NEXT: <key>extended_message</key> 1902// CHECK-NEXT: <string>'a' initialized to a null pointer value</string> 1903// CHECK-NEXT: <key>message</key> 1904// CHECK-NEXT: <string>'a' initialized to a null pointer value</string> 1905// CHECK-NEXT: </dict> 1906// CHECK-NEXT: <dict> 1907// CHECK-NEXT: <key>kind</key><string>control</string> 1908// CHECK-NEXT: <key>edges</key> 1909// CHECK-NEXT: <array> 1910// CHECK-NEXT: <dict> 1911// CHECK-NEXT: <key>start</key> 1912// CHECK-NEXT: <array> 1913// CHECK-NEXT: <dict> 1914// CHECK-NEXT: <key>line</key><integer>79</integer> 1915// CHECK-NEXT: <key>col</key><integer>3</integer> 1916// CHECK-NEXT: <key>file</key><integer>0</integer> 1917// CHECK-NEXT: </dict> 1918// CHECK-NEXT: <dict> 1919// CHECK-NEXT: <key>line</key><integer>79</integer> 1920// CHECK-NEXT: <key>col</key><integer>5</integer> 1921// CHECK-NEXT: <key>file</key><integer>0</integer> 1922// CHECK-NEXT: </dict> 1923// CHECK-NEXT: </array> 1924// CHECK-NEXT: <key>end</key> 1925// CHECK-NEXT: <array> 1926// CHECK-NEXT: <dict> 1927// CHECK-NEXT: <key>line</key><integer>83</integer> 1928// CHECK-NEXT: <key>col</key><integer>3</integer> 1929// CHECK-NEXT: <key>file</key><integer>0</integer> 1930// CHECK-NEXT: </dict> 1931// CHECK-NEXT: <dict> 1932// CHECK-NEXT: <key>line</key><integer>83</integer> 1933// CHECK-NEXT: <key>col</key><integer>3</integer> 1934// CHECK-NEXT: <key>file</key><integer>0</integer> 1935// CHECK-NEXT: </dict> 1936// CHECK-NEXT: </array> 1937// CHECK-NEXT: </dict> 1938// CHECK-NEXT: </array> 1939// CHECK-NEXT: </dict> 1940// CHECK-NEXT: <dict> 1941// CHECK-NEXT: <key>kind</key><string>event</string> 1942// CHECK-NEXT: <key>location</key> 1943// CHECK-NEXT: <dict> 1944// CHECK-NEXT: <key>line</key><integer>83</integer> 1945// CHECK-NEXT: <key>col</key><integer>3</integer> 1946// CHECK-NEXT: <key>file</key><integer>0</integer> 1947// CHECK-NEXT: </dict> 1948// CHECK-NEXT: <key>ranges</key> 1949// CHECK-NEXT: <array> 1950// CHECK-NEXT: <array> 1951// CHECK-NEXT: <dict> 1952// CHECK-NEXT: <key>line</key><integer>83</integer> 1953// CHECK-NEXT: <key>col</key><integer>4</integer> 1954// CHECK-NEXT: <key>file</key><integer>0</integer> 1955// CHECK-NEXT: </dict> 1956// CHECK-NEXT: <dict> 1957// CHECK-NEXT: <key>line</key><integer>83</integer> 1958// CHECK-NEXT: <key>col</key><integer>4</integer> 1959// CHECK-NEXT: <key>file</key><integer>0</integer> 1960// CHECK-NEXT: </dict> 1961// CHECK-NEXT: </array> 1962// CHECK-NEXT: </array> 1963// CHECK-NEXT: <key>depth</key><integer>0</integer> 1964// CHECK-NEXT: <key>extended_message</key> 1965// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 1966// CHECK-NEXT: <key>message</key> 1967// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 1968// CHECK-NEXT: </dict> 1969// CHECK-NEXT: </array> 1970// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 1971// CHECK-NEXT: <key>category</key><string>Logic error</string> 1972// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 1973// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1974// CHECK-NEXT: <key>issue_context</key><string>testInitZero</string> 1975// CHECK-NEXT: <key>issue_hash</key><string>5</string> 1976// CHECK-NEXT: <key>location</key> 1977// CHECK-NEXT: <dict> 1978// CHECK-NEXT: <key>line</key><integer>83</integer> 1979// CHECK-NEXT: <key>col</key><integer>3</integer> 1980// CHECK-NEXT: <key>file</key><integer>0</integer> 1981// CHECK-NEXT: </dict> 1982// CHECK-NEXT: </dict> 1983// CHECK-NEXT: <dict> 1984// CHECK-NEXT: <key>path</key> 1985// CHECK-NEXT: <array> 1986// CHECK-NEXT: <dict> 1987// CHECK-NEXT: <key>kind</key><string>control</string> 1988// CHECK-NEXT: <key>edges</key> 1989// CHECK-NEXT: <array> 1990// CHECK-NEXT: <dict> 1991// CHECK-NEXT: <key>start</key> 1992// CHECK-NEXT: <array> 1993// CHECK-NEXT: <dict> 1994// CHECK-NEXT: <key>line</key><integer>88</integer> 1995// CHECK-NEXT: <key>col</key><integer>3</integer> 1996// CHECK-NEXT: <key>file</key><integer>0</integer> 1997// CHECK-NEXT: </dict> 1998// CHECK-NEXT: <dict> 1999// CHECK-NEXT: <key>line</key><integer>88</integer> 2000// CHECK-NEXT: <key>col</key><integer>3</integer> 2001// CHECK-NEXT: <key>file</key><integer>0</integer> 2002// CHECK-NEXT: </dict> 2003// CHECK-NEXT: </array> 2004// CHECK-NEXT: <key>end</key> 2005// CHECK-NEXT: <array> 2006// CHECK-NEXT: <dict> 2007// CHECK-NEXT: <key>line</key><integer>88</integer> 2008// CHECK-NEXT: <key>col</key><integer>7</integer> 2009// CHECK-NEXT: <key>file</key><integer>0</integer> 2010// CHECK-NEXT: </dict> 2011// CHECK-NEXT: <dict> 2012// CHECK-NEXT: <key>line</key><integer>88</integer> 2013// CHECK-NEXT: <key>col</key><integer>13</integer> 2014// CHECK-NEXT: <key>file</key><integer>0</integer> 2015// CHECK-NEXT: </dict> 2016// CHECK-NEXT: </array> 2017// CHECK-NEXT: </dict> 2018// CHECK-NEXT: </array> 2019// CHECK-NEXT: </dict> 2020// CHECK-NEXT: <dict> 2021// CHECK-NEXT: <key>kind</key><string>event</string> 2022// CHECK-NEXT: <key>location</key> 2023// CHECK-NEXT: <dict> 2024// CHECK-NEXT: <key>line</key><integer>88</integer> 2025// CHECK-NEXT: <key>col</key><integer>7</integer> 2026// CHECK-NEXT: <key>file</key><integer>0</integer> 2027// CHECK-NEXT: </dict> 2028// CHECK-NEXT: <key>ranges</key> 2029// CHECK-NEXT: <array> 2030// CHECK-NEXT: <array> 2031// CHECK-NEXT: <dict> 2032// CHECK-NEXT: <key>line</key><integer>88</integer> 2033// CHECK-NEXT: <key>col</key><integer>7</integer> 2034// CHECK-NEXT: <key>file</key><integer>0</integer> 2035// CHECK-NEXT: </dict> 2036// CHECK-NEXT: <dict> 2037// CHECK-NEXT: <key>line</key><integer>88</integer> 2038// CHECK-NEXT: <key>col</key><integer>15</integer> 2039// CHECK-NEXT: <key>file</key><integer>0</integer> 2040// CHECK-NEXT: </dict> 2041// CHECK-NEXT: </array> 2042// CHECK-NEXT: </array> 2043// CHECK-NEXT: <key>depth</key><integer>0</integer> 2044// CHECK-NEXT: <key>extended_message</key> 2045// CHECK-NEXT: <string>Calling 'getZero'</string> 2046// CHECK-NEXT: <key>message</key> 2047// CHECK-NEXT: <string>Calling 'getZero'</string> 2048// CHECK-NEXT: </dict> 2049// CHECK-NEXT: <dict> 2050// CHECK-NEXT: <key>kind</key><string>event</string> 2051// CHECK-NEXT: <key>location</key> 2052// CHECK-NEXT: <dict> 2053// CHECK-NEXT: <key>line</key><integer>56</integer> 2054// CHECK-NEXT: <key>col</key><integer>1</integer> 2055// CHECK-NEXT: <key>file</key><integer>0</integer> 2056// CHECK-NEXT: </dict> 2057// CHECK-NEXT: <key>depth</key><integer>1</integer> 2058// CHECK-NEXT: <key>extended_message</key> 2059// CHECK-NEXT: <string>Entered call from 'testStoreZero'</string> 2060// CHECK-NEXT: <key>message</key> 2061// CHECK-NEXT: <string>Entered call from 'testStoreZero'</string> 2062// CHECK-NEXT: </dict> 2063// CHECK-NEXT: <dict> 2064// CHECK-NEXT: <key>kind</key><string>control</string> 2065// CHECK-NEXT: <key>edges</key> 2066// CHECK-NEXT: <array> 2067// CHECK-NEXT: <dict> 2068// CHECK-NEXT: <key>start</key> 2069// CHECK-NEXT: <array> 2070// CHECK-NEXT: <dict> 2071// CHECK-NEXT: <key>line</key><integer>56</integer> 2072// CHECK-NEXT: <key>col</key><integer>1</integer> 2073// CHECK-NEXT: <key>file</key><integer>0</integer> 2074// CHECK-NEXT: </dict> 2075// CHECK-NEXT: <dict> 2076// CHECK-NEXT: <key>line</key><integer>56</integer> 2077// CHECK-NEXT: <key>col</key><integer>3</integer> 2078// CHECK-NEXT: <key>file</key><integer>0</integer> 2079// CHECK-NEXT: </dict> 2080// CHECK-NEXT: </array> 2081// CHECK-NEXT: <key>end</key> 2082// CHECK-NEXT: <array> 2083// CHECK-NEXT: <dict> 2084// CHECK-NEXT: <key>line</key><integer>57</integer> 2085// CHECK-NEXT: <key>col</key><integer>3</integer> 2086// CHECK-NEXT: <key>file</key><integer>0</integer> 2087// CHECK-NEXT: </dict> 2088// CHECK-NEXT: <dict> 2089// CHECK-NEXT: <key>line</key><integer>57</integer> 2090// CHECK-NEXT: <key>col</key><integer>5</integer> 2091// CHECK-NEXT: <key>file</key><integer>0</integer> 2092// CHECK-NEXT: </dict> 2093// CHECK-NEXT: </array> 2094// CHECK-NEXT: </dict> 2095// CHECK-NEXT: </array> 2096// CHECK-NEXT: </dict> 2097// CHECK-NEXT: <dict> 2098// CHECK-NEXT: <key>kind</key><string>event</string> 2099// CHECK-NEXT: <key>location</key> 2100// CHECK-NEXT: <dict> 2101// CHECK-NEXT: <key>line</key><integer>57</integer> 2102// CHECK-NEXT: <key>col</key><integer>3</integer> 2103// CHECK-NEXT: <key>file</key><integer>0</integer> 2104// CHECK-NEXT: </dict> 2105// CHECK-NEXT: <key>ranges</key> 2106// CHECK-NEXT: <array> 2107// CHECK-NEXT: <array> 2108// CHECK-NEXT: <dict> 2109// CHECK-NEXT: <key>line</key><integer>57</integer> 2110// CHECK-NEXT: <key>col</key><integer>3</integer> 2111// CHECK-NEXT: <key>file</key><integer>0</integer> 2112// CHECK-NEXT: </dict> 2113// CHECK-NEXT: <dict> 2114// CHECK-NEXT: <key>line</key><integer>57</integer> 2115// CHECK-NEXT: <key>col</key><integer>8</integer> 2116// CHECK-NEXT: <key>file</key><integer>0</integer> 2117// CHECK-NEXT: </dict> 2118// CHECK-NEXT: </array> 2119// CHECK-NEXT: </array> 2120// CHECK-NEXT: <key>depth</key><integer>1</integer> 2121// CHECK-NEXT: <key>extended_message</key> 2122// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 2123// CHECK-NEXT: <key>message</key> 2124// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 2125// CHECK-NEXT: </dict> 2126// CHECK-NEXT: <dict> 2127// CHECK-NEXT: <key>kind</key><string>control</string> 2128// CHECK-NEXT: <key>edges</key> 2129// CHECK-NEXT: <array> 2130// CHECK-NEXT: <dict> 2131// CHECK-NEXT: <key>start</key> 2132// CHECK-NEXT: <array> 2133// CHECK-NEXT: <dict> 2134// CHECK-NEXT: <key>line</key><integer>57</integer> 2135// CHECK-NEXT: <key>col</key><integer>3</integer> 2136// CHECK-NEXT: <key>file</key><integer>0</integer> 2137// CHECK-NEXT: </dict> 2138// CHECK-NEXT: <dict> 2139// CHECK-NEXT: <key>line</key><integer>57</integer> 2140// CHECK-NEXT: <key>col</key><integer>5</integer> 2141// CHECK-NEXT: <key>file</key><integer>0</integer> 2142// CHECK-NEXT: </dict> 2143// CHECK-NEXT: </array> 2144// CHECK-NEXT: <key>end</key> 2145// CHECK-NEXT: <array> 2146// CHECK-NEXT: <dict> 2147// CHECK-NEXT: <key>line</key><integer>60</integer> 2148// CHECK-NEXT: <key>col</key><integer>3</integer> 2149// CHECK-NEXT: <key>file</key><integer>0</integer> 2150// CHECK-NEXT: </dict> 2151// CHECK-NEXT: <dict> 2152// CHECK-NEXT: <key>line</key><integer>60</integer> 2153// CHECK-NEXT: <key>col</key><integer>8</integer> 2154// CHECK-NEXT: <key>file</key><integer>0</integer> 2155// CHECK-NEXT: </dict> 2156// CHECK-NEXT: </array> 2157// CHECK-NEXT: </dict> 2158// CHECK-NEXT: </array> 2159// CHECK-NEXT: </dict> 2160// CHECK-NEXT: <dict> 2161// CHECK-NEXT: <key>kind</key><string>event</string> 2162// CHECK-NEXT: <key>location</key> 2163// CHECK-NEXT: <dict> 2164// CHECK-NEXT: <key>line</key><integer>60</integer> 2165// CHECK-NEXT: <key>col</key><integer>3</integer> 2166// CHECK-NEXT: <key>file</key><integer>0</integer> 2167// CHECK-NEXT: </dict> 2168// CHECK-NEXT: <key>ranges</key> 2169// CHECK-NEXT: <array> 2170// CHECK-NEXT: <array> 2171// CHECK-NEXT: <dict> 2172// CHECK-NEXT: <key>line</key><integer>60</integer> 2173// CHECK-NEXT: <key>col</key><integer>3</integer> 2174// CHECK-NEXT: <key>file</key><integer>0</integer> 2175// CHECK-NEXT: </dict> 2176// CHECK-NEXT: <dict> 2177// CHECK-NEXT: <key>line</key><integer>60</integer> 2178// CHECK-NEXT: <key>col</key><integer>10</integer> 2179// CHECK-NEXT: <key>file</key><integer>0</integer> 2180// CHECK-NEXT: </dict> 2181// CHECK-NEXT: </array> 2182// CHECK-NEXT: </array> 2183// CHECK-NEXT: <key>depth</key><integer>1</integer> 2184// CHECK-NEXT: <key>extended_message</key> 2185// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 2186// CHECK-NEXT: <key>message</key> 2187// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 2188// CHECK-NEXT: </dict> 2189// CHECK-NEXT: <dict> 2190// CHECK-NEXT: <key>kind</key><string>event</string> 2191// CHECK-NEXT: <key>location</key> 2192// CHECK-NEXT: <dict> 2193// CHECK-NEXT: <key>line</key><integer>88</integer> 2194// CHECK-NEXT: <key>col</key><integer>7</integer> 2195// CHECK-NEXT: <key>file</key><integer>0</integer> 2196// CHECK-NEXT: </dict> 2197// CHECK-NEXT: <key>ranges</key> 2198// CHECK-NEXT: <array> 2199// CHECK-NEXT: <array> 2200// CHECK-NEXT: <dict> 2201// CHECK-NEXT: <key>line</key><integer>88</integer> 2202// CHECK-NEXT: <key>col</key><integer>7</integer> 2203// CHECK-NEXT: <key>file</key><integer>0</integer> 2204// CHECK-NEXT: </dict> 2205// CHECK-NEXT: <dict> 2206// CHECK-NEXT: <key>line</key><integer>88</integer> 2207// CHECK-NEXT: <key>col</key><integer>15</integer> 2208// CHECK-NEXT: <key>file</key><integer>0</integer> 2209// CHECK-NEXT: </dict> 2210// CHECK-NEXT: </array> 2211// CHECK-NEXT: </array> 2212// CHECK-NEXT: <key>depth</key><integer>1</integer> 2213// CHECK-NEXT: <key>extended_message</key> 2214// CHECK-NEXT: <string>Returning from 'getZero'</string> 2215// CHECK-NEXT: <key>message</key> 2216// CHECK-NEXT: <string>Returning from 'getZero'</string> 2217// CHECK-NEXT: </dict> 2218// CHECK-NEXT: <dict> 2219// CHECK-NEXT: <key>kind</key><string>control</string> 2220// CHECK-NEXT: <key>edges</key> 2221// CHECK-NEXT: <array> 2222// CHECK-NEXT: <dict> 2223// CHECK-NEXT: <key>start</key> 2224// CHECK-NEXT: <array> 2225// CHECK-NEXT: <dict> 2226// CHECK-NEXT: <key>line</key><integer>88</integer> 2227// CHECK-NEXT: <key>col</key><integer>3</integer> 2228// CHECK-NEXT: <key>file</key><integer>0</integer> 2229// CHECK-NEXT: </dict> 2230// CHECK-NEXT: <dict> 2231// CHECK-NEXT: <key>line</key><integer>88</integer> 2232// CHECK-NEXT: <key>col</key><integer>3</integer> 2233// CHECK-NEXT: <key>file</key><integer>0</integer> 2234// CHECK-NEXT: </dict> 2235// CHECK-NEXT: </array> 2236// CHECK-NEXT: <key>end</key> 2237// CHECK-NEXT: <array> 2238// CHECK-NEXT: <dict> 2239// CHECK-NEXT: <key>line</key><integer>88</integer> 2240// CHECK-NEXT: <key>col</key><integer>7</integer> 2241// CHECK-NEXT: <key>file</key><integer>0</integer> 2242// CHECK-NEXT: </dict> 2243// CHECK-NEXT: <dict> 2244// CHECK-NEXT: <key>line</key><integer>88</integer> 2245// CHECK-NEXT: <key>col</key><integer>13</integer> 2246// CHECK-NEXT: <key>file</key><integer>0</integer> 2247// CHECK-NEXT: </dict> 2248// CHECK-NEXT: </array> 2249// CHECK-NEXT: </dict> 2250// CHECK-NEXT: </array> 2251// CHECK-NEXT: </dict> 2252// CHECK-NEXT: <dict> 2253// CHECK-NEXT: <key>kind</key><string>control</string> 2254// CHECK-NEXT: <key>edges</key> 2255// CHECK-NEXT: <array> 2256// CHECK-NEXT: <dict> 2257// CHECK-NEXT: <key>start</key> 2258// CHECK-NEXT: <array> 2259// CHECK-NEXT: <dict> 2260// CHECK-NEXT: <key>line</key><integer>88</integer> 2261// CHECK-NEXT: <key>col</key><integer>7</integer> 2262// CHECK-NEXT: <key>file</key><integer>0</integer> 2263// CHECK-NEXT: </dict> 2264// CHECK-NEXT: <dict> 2265// CHECK-NEXT: <key>line</key><integer>88</integer> 2266// CHECK-NEXT: <key>col</key><integer>13</integer> 2267// CHECK-NEXT: <key>file</key><integer>0</integer> 2268// CHECK-NEXT: </dict> 2269// CHECK-NEXT: </array> 2270// CHECK-NEXT: <key>end</key> 2271// CHECK-NEXT: <array> 2272// CHECK-NEXT: <dict> 2273// CHECK-NEXT: <key>line</key><integer>88</integer> 2274// CHECK-NEXT: <key>col</key><integer>3</integer> 2275// CHECK-NEXT: <key>file</key><integer>0</integer> 2276// CHECK-NEXT: </dict> 2277// CHECK-NEXT: <dict> 2278// CHECK-NEXT: <key>line</key><integer>88</integer> 2279// CHECK-NEXT: <key>col</key><integer>3</integer> 2280// CHECK-NEXT: <key>file</key><integer>0</integer> 2281// CHECK-NEXT: </dict> 2282// CHECK-NEXT: </array> 2283// CHECK-NEXT: </dict> 2284// CHECK-NEXT: </array> 2285// CHECK-NEXT: </dict> 2286// CHECK-NEXT: <dict> 2287// CHECK-NEXT: <key>kind</key><string>event</string> 2288// CHECK-NEXT: <key>location</key> 2289// CHECK-NEXT: <dict> 2290// CHECK-NEXT: <key>line</key><integer>88</integer> 2291// CHECK-NEXT: <key>col</key><integer>3</integer> 2292// CHECK-NEXT: <key>file</key><integer>0</integer> 2293// CHECK-NEXT: </dict> 2294// CHECK-NEXT: <key>ranges</key> 2295// CHECK-NEXT: <array> 2296// CHECK-NEXT: <array> 2297// CHECK-NEXT: <dict> 2298// CHECK-NEXT: <key>line</key><integer>88</integer> 2299// CHECK-NEXT: <key>col</key><integer>3</integer> 2300// CHECK-NEXT: <key>file</key><integer>0</integer> 2301// CHECK-NEXT: </dict> 2302// CHECK-NEXT: <dict> 2303// CHECK-NEXT: <key>line</key><integer>88</integer> 2304// CHECK-NEXT: <key>col</key><integer>15</integer> 2305// CHECK-NEXT: <key>file</key><integer>0</integer> 2306// CHECK-NEXT: </dict> 2307// CHECK-NEXT: </array> 2308// CHECK-NEXT: </array> 2309// CHECK-NEXT: <key>depth</key><integer>0</integer> 2310// CHECK-NEXT: <key>extended_message</key> 2311// CHECK-NEXT: <string>Null pointer value stored to 'a'</string> 2312// CHECK-NEXT: <key>message</key> 2313// CHECK-NEXT: <string>Null pointer value stored to 'a'</string> 2314// CHECK-NEXT: </dict> 2315// CHECK-NEXT: <dict> 2316// CHECK-NEXT: <key>kind</key><string>control</string> 2317// CHECK-NEXT: <key>edges</key> 2318// CHECK-NEXT: <array> 2319// CHECK-NEXT: <dict> 2320// CHECK-NEXT: <key>start</key> 2321// CHECK-NEXT: <array> 2322// CHECK-NEXT: <dict> 2323// CHECK-NEXT: <key>line</key><integer>88</integer> 2324// CHECK-NEXT: <key>col</key><integer>3</integer> 2325// CHECK-NEXT: <key>file</key><integer>0</integer> 2326// CHECK-NEXT: </dict> 2327// CHECK-NEXT: <dict> 2328// CHECK-NEXT: <key>line</key><integer>88</integer> 2329// CHECK-NEXT: <key>col</key><integer>3</integer> 2330// CHECK-NEXT: <key>file</key><integer>0</integer> 2331// CHECK-NEXT: </dict> 2332// CHECK-NEXT: </array> 2333// CHECK-NEXT: <key>end</key> 2334// CHECK-NEXT: <array> 2335// CHECK-NEXT: <dict> 2336// CHECK-NEXT: <key>line</key><integer>92</integer> 2337// CHECK-NEXT: <key>col</key><integer>3</integer> 2338// CHECK-NEXT: <key>file</key><integer>0</integer> 2339// CHECK-NEXT: </dict> 2340// CHECK-NEXT: <dict> 2341// CHECK-NEXT: <key>line</key><integer>92</integer> 2342// CHECK-NEXT: <key>col</key><integer>3</integer> 2343// CHECK-NEXT: <key>file</key><integer>0</integer> 2344// CHECK-NEXT: </dict> 2345// CHECK-NEXT: </array> 2346// CHECK-NEXT: </dict> 2347// CHECK-NEXT: </array> 2348// CHECK-NEXT: </dict> 2349// CHECK-NEXT: <dict> 2350// CHECK-NEXT: <key>kind</key><string>event</string> 2351// CHECK-NEXT: <key>location</key> 2352// CHECK-NEXT: <dict> 2353// CHECK-NEXT: <key>line</key><integer>92</integer> 2354// CHECK-NEXT: <key>col</key><integer>3</integer> 2355// CHECK-NEXT: <key>file</key><integer>0</integer> 2356// CHECK-NEXT: </dict> 2357// CHECK-NEXT: <key>ranges</key> 2358// CHECK-NEXT: <array> 2359// CHECK-NEXT: <array> 2360// CHECK-NEXT: <dict> 2361// CHECK-NEXT: <key>line</key><integer>92</integer> 2362// CHECK-NEXT: <key>col</key><integer>4</integer> 2363// CHECK-NEXT: <key>file</key><integer>0</integer> 2364// CHECK-NEXT: </dict> 2365// CHECK-NEXT: <dict> 2366// CHECK-NEXT: <key>line</key><integer>92</integer> 2367// CHECK-NEXT: <key>col</key><integer>4</integer> 2368// CHECK-NEXT: <key>file</key><integer>0</integer> 2369// CHECK-NEXT: </dict> 2370// CHECK-NEXT: </array> 2371// CHECK-NEXT: </array> 2372// CHECK-NEXT: <key>depth</key><integer>0</integer> 2373// CHECK-NEXT: <key>extended_message</key> 2374// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 2375// CHECK-NEXT: <key>message</key> 2376// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string> 2377// CHECK-NEXT: </dict> 2378// CHECK-NEXT: </array> 2379// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 2380// CHECK-NEXT: <key>category</key><string>Logic error</string> 2381// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 2382// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 2383// CHECK-NEXT: <key>issue_context</key><string>testStoreZero</string> 2384// CHECK-NEXT: <key>issue_hash</key><string>5</string> 2385// CHECK-NEXT: <key>location</key> 2386// CHECK-NEXT: <dict> 2387// CHECK-NEXT: <key>line</key><integer>92</integer> 2388// CHECK-NEXT: <key>col</key><integer>3</integer> 2389// CHECK-NEXT: <key>file</key><integer>0</integer> 2390// CHECK-NEXT: </dict> 2391// CHECK-NEXT: </dict> 2392// CHECK-NEXT: <dict> 2393// CHECK-NEXT: <key>path</key> 2394// CHECK-NEXT: <array> 2395// CHECK-NEXT: <dict> 2396// CHECK-NEXT: <key>kind</key><string>control</string> 2397// CHECK-NEXT: <key>edges</key> 2398// CHECK-NEXT: <array> 2399// CHECK-NEXT: <dict> 2400// CHECK-NEXT: <key>start</key> 2401// CHECK-NEXT: <array> 2402// CHECK-NEXT: <dict> 2403// CHECK-NEXT: <key>line</key><integer>103</integer> 2404// CHECK-NEXT: <key>col</key><integer>3</integer> 2405// CHECK-NEXT: <key>file</key><integer>0</integer> 2406// CHECK-NEXT: </dict> 2407// CHECK-NEXT: <dict> 2408// CHECK-NEXT: <key>line</key><integer>103</integer> 2409// CHECK-NEXT: <key>col</key><integer>12</integer> 2410// CHECK-NEXT: <key>file</key><integer>0</integer> 2411// CHECK-NEXT: </dict> 2412// CHECK-NEXT: </array> 2413// CHECK-NEXT: <key>end</key> 2414// CHECK-NEXT: <array> 2415// CHECK-NEXT: <dict> 2416// CHECK-NEXT: <key>line</key><integer>103</integer> 2417// CHECK-NEXT: <key>col</key><integer>14</integer> 2418// CHECK-NEXT: <key>file</key><integer>0</integer> 2419// CHECK-NEXT: </dict> 2420// CHECK-NEXT: <dict> 2421// CHECK-NEXT: <key>line</key><integer>103</integer> 2422// CHECK-NEXT: <key>col</key><integer>20</integer> 2423// CHECK-NEXT: <key>file</key><integer>0</integer> 2424// CHECK-NEXT: </dict> 2425// CHECK-NEXT: </array> 2426// CHECK-NEXT: </dict> 2427// CHECK-NEXT: </array> 2428// CHECK-NEXT: </dict> 2429// CHECK-NEXT: <dict> 2430// CHECK-NEXT: <key>kind</key><string>event</string> 2431// CHECK-NEXT: <key>location</key> 2432// CHECK-NEXT: <dict> 2433// CHECK-NEXT: <key>line</key><integer>103</integer> 2434// CHECK-NEXT: <key>col</key><integer>14</integer> 2435// CHECK-NEXT: <key>file</key><integer>0</integer> 2436// CHECK-NEXT: </dict> 2437// CHECK-NEXT: <key>ranges</key> 2438// CHECK-NEXT: <array> 2439// CHECK-NEXT: <array> 2440// CHECK-NEXT: <dict> 2441// CHECK-NEXT: <key>line</key><integer>103</integer> 2442// CHECK-NEXT: <key>col</key><integer>14</integer> 2443// CHECK-NEXT: <key>file</key><integer>0</integer> 2444// CHECK-NEXT: </dict> 2445// CHECK-NEXT: <dict> 2446// CHECK-NEXT: <key>line</key><integer>103</integer> 2447// CHECK-NEXT: <key>col</key><integer>22</integer> 2448// CHECK-NEXT: <key>file</key><integer>0</integer> 2449// CHECK-NEXT: </dict> 2450// CHECK-NEXT: </array> 2451// CHECK-NEXT: </array> 2452// CHECK-NEXT: <key>depth</key><integer>0</integer> 2453// CHECK-NEXT: <key>extended_message</key> 2454// CHECK-NEXT: <string>Calling 'getZero'</string> 2455// CHECK-NEXT: <key>message</key> 2456// CHECK-NEXT: <string>Calling 'getZero'</string> 2457// CHECK-NEXT: </dict> 2458// CHECK-NEXT: <dict> 2459// CHECK-NEXT: <key>kind</key><string>event</string> 2460// CHECK-NEXT: <key>location</key> 2461// CHECK-NEXT: <dict> 2462// CHECK-NEXT: <key>line</key><integer>56</integer> 2463// CHECK-NEXT: <key>col</key><integer>1</integer> 2464// CHECK-NEXT: <key>file</key><integer>0</integer> 2465// CHECK-NEXT: </dict> 2466// CHECK-NEXT: <key>depth</key><integer>1</integer> 2467// CHECK-NEXT: <key>extended_message</key> 2468// CHECK-NEXT: <string>Entered call from 'testUseOfNullPointer'</string> 2469// CHECK-NEXT: <key>message</key> 2470// CHECK-NEXT: <string>Entered call from 'testUseOfNullPointer'</string> 2471// CHECK-NEXT: </dict> 2472// CHECK-NEXT: <dict> 2473// CHECK-NEXT: <key>kind</key><string>control</string> 2474// CHECK-NEXT: <key>edges</key> 2475// CHECK-NEXT: <array> 2476// CHECK-NEXT: <dict> 2477// CHECK-NEXT: <key>start</key> 2478// CHECK-NEXT: <array> 2479// CHECK-NEXT: <dict> 2480// CHECK-NEXT: <key>line</key><integer>56</integer> 2481// CHECK-NEXT: <key>col</key><integer>1</integer> 2482// CHECK-NEXT: <key>file</key><integer>0</integer> 2483// CHECK-NEXT: </dict> 2484// CHECK-NEXT: <dict> 2485// CHECK-NEXT: <key>line</key><integer>56</integer> 2486// CHECK-NEXT: <key>col</key><integer>3</integer> 2487// CHECK-NEXT: <key>file</key><integer>0</integer> 2488// CHECK-NEXT: </dict> 2489// CHECK-NEXT: </array> 2490// CHECK-NEXT: <key>end</key> 2491// CHECK-NEXT: <array> 2492// CHECK-NEXT: <dict> 2493// CHECK-NEXT: <key>line</key><integer>57</integer> 2494// CHECK-NEXT: <key>col</key><integer>3</integer> 2495// CHECK-NEXT: <key>file</key><integer>0</integer> 2496// CHECK-NEXT: </dict> 2497// CHECK-NEXT: <dict> 2498// CHECK-NEXT: <key>line</key><integer>57</integer> 2499// CHECK-NEXT: <key>col</key><integer>5</integer> 2500// CHECK-NEXT: <key>file</key><integer>0</integer> 2501// CHECK-NEXT: </dict> 2502// CHECK-NEXT: </array> 2503// CHECK-NEXT: </dict> 2504// CHECK-NEXT: </array> 2505// CHECK-NEXT: </dict> 2506// CHECK-NEXT: <dict> 2507// CHECK-NEXT: <key>kind</key><string>event</string> 2508// CHECK-NEXT: <key>location</key> 2509// CHECK-NEXT: <dict> 2510// CHECK-NEXT: <key>line</key><integer>57</integer> 2511// CHECK-NEXT: <key>col</key><integer>3</integer> 2512// CHECK-NEXT: <key>file</key><integer>0</integer> 2513// CHECK-NEXT: </dict> 2514// CHECK-NEXT: <key>ranges</key> 2515// CHECK-NEXT: <array> 2516// CHECK-NEXT: <array> 2517// CHECK-NEXT: <dict> 2518// CHECK-NEXT: <key>line</key><integer>57</integer> 2519// CHECK-NEXT: <key>col</key><integer>3</integer> 2520// CHECK-NEXT: <key>file</key><integer>0</integer> 2521// CHECK-NEXT: </dict> 2522// CHECK-NEXT: <dict> 2523// CHECK-NEXT: <key>line</key><integer>57</integer> 2524// CHECK-NEXT: <key>col</key><integer>8</integer> 2525// CHECK-NEXT: <key>file</key><integer>0</integer> 2526// CHECK-NEXT: </dict> 2527// CHECK-NEXT: </array> 2528// CHECK-NEXT: </array> 2529// CHECK-NEXT: <key>depth</key><integer>1</integer> 2530// CHECK-NEXT: <key>extended_message</key> 2531// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 2532// CHECK-NEXT: <key>message</key> 2533// CHECK-NEXT: <string>'p' initialized to a null pointer value</string> 2534// CHECK-NEXT: </dict> 2535// CHECK-NEXT: <dict> 2536// CHECK-NEXT: <key>kind</key><string>control</string> 2537// CHECK-NEXT: <key>edges</key> 2538// CHECK-NEXT: <array> 2539// CHECK-NEXT: <dict> 2540// CHECK-NEXT: <key>start</key> 2541// CHECK-NEXT: <array> 2542// CHECK-NEXT: <dict> 2543// CHECK-NEXT: <key>line</key><integer>57</integer> 2544// CHECK-NEXT: <key>col</key><integer>3</integer> 2545// CHECK-NEXT: <key>file</key><integer>0</integer> 2546// CHECK-NEXT: </dict> 2547// CHECK-NEXT: <dict> 2548// CHECK-NEXT: <key>line</key><integer>57</integer> 2549// CHECK-NEXT: <key>col</key><integer>5</integer> 2550// CHECK-NEXT: <key>file</key><integer>0</integer> 2551// CHECK-NEXT: </dict> 2552// CHECK-NEXT: </array> 2553// CHECK-NEXT: <key>end</key> 2554// CHECK-NEXT: <array> 2555// CHECK-NEXT: <dict> 2556// CHECK-NEXT: <key>line</key><integer>60</integer> 2557// CHECK-NEXT: <key>col</key><integer>3</integer> 2558// CHECK-NEXT: <key>file</key><integer>0</integer> 2559// CHECK-NEXT: </dict> 2560// CHECK-NEXT: <dict> 2561// CHECK-NEXT: <key>line</key><integer>60</integer> 2562// CHECK-NEXT: <key>col</key><integer>8</integer> 2563// CHECK-NEXT: <key>file</key><integer>0</integer> 2564// CHECK-NEXT: </dict> 2565// CHECK-NEXT: </array> 2566// CHECK-NEXT: </dict> 2567// CHECK-NEXT: </array> 2568// CHECK-NEXT: </dict> 2569// CHECK-NEXT: <dict> 2570// CHECK-NEXT: <key>kind</key><string>event</string> 2571// CHECK-NEXT: <key>location</key> 2572// CHECK-NEXT: <dict> 2573// CHECK-NEXT: <key>line</key><integer>60</integer> 2574// CHECK-NEXT: <key>col</key><integer>3</integer> 2575// CHECK-NEXT: <key>file</key><integer>0</integer> 2576// CHECK-NEXT: </dict> 2577// CHECK-NEXT: <key>ranges</key> 2578// CHECK-NEXT: <array> 2579// CHECK-NEXT: <array> 2580// CHECK-NEXT: <dict> 2581// CHECK-NEXT: <key>line</key><integer>60</integer> 2582// CHECK-NEXT: <key>col</key><integer>3</integer> 2583// CHECK-NEXT: <key>file</key><integer>0</integer> 2584// CHECK-NEXT: </dict> 2585// CHECK-NEXT: <dict> 2586// CHECK-NEXT: <key>line</key><integer>60</integer> 2587// CHECK-NEXT: <key>col</key><integer>10</integer> 2588// CHECK-NEXT: <key>file</key><integer>0</integer> 2589// CHECK-NEXT: </dict> 2590// CHECK-NEXT: </array> 2591// CHECK-NEXT: </array> 2592// CHECK-NEXT: <key>depth</key><integer>1</integer> 2593// CHECK-NEXT: <key>extended_message</key> 2594// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 2595// CHECK-NEXT: <key>message</key> 2596// CHECK-NEXT: <string>Returning null pointer (loaded from 'p')</string> 2597// CHECK-NEXT: </dict> 2598// CHECK-NEXT: <dict> 2599// CHECK-NEXT: <key>kind</key><string>event</string> 2600// CHECK-NEXT: <key>location</key> 2601// CHECK-NEXT: <dict> 2602// CHECK-NEXT: <key>line</key><integer>103</integer> 2603// CHECK-NEXT: <key>col</key><integer>14</integer> 2604// CHECK-NEXT: <key>file</key><integer>0</integer> 2605// CHECK-NEXT: </dict> 2606// CHECK-NEXT: <key>ranges</key> 2607// CHECK-NEXT: <array> 2608// CHECK-NEXT: <array> 2609// CHECK-NEXT: <dict> 2610// CHECK-NEXT: <key>line</key><integer>103</integer> 2611// CHECK-NEXT: <key>col</key><integer>14</integer> 2612// CHECK-NEXT: <key>file</key><integer>0</integer> 2613// CHECK-NEXT: </dict> 2614// CHECK-NEXT: <dict> 2615// CHECK-NEXT: <key>line</key><integer>103</integer> 2616// CHECK-NEXT: <key>col</key><integer>22</integer> 2617// CHECK-NEXT: <key>file</key><integer>0</integer> 2618// CHECK-NEXT: </dict> 2619// CHECK-NEXT: </array> 2620// CHECK-NEXT: </array> 2621// CHECK-NEXT: <key>depth</key><integer>1</integer> 2622// CHECK-NEXT: <key>extended_message</key> 2623// CHECK-NEXT: <string>Returning from 'getZero'</string> 2624// CHECK-NEXT: <key>message</key> 2625// CHECK-NEXT: <string>Returning from 'getZero'</string> 2626// CHECK-NEXT: </dict> 2627// CHECK-NEXT: <dict> 2628// CHECK-NEXT: <key>kind</key><string>control</string> 2629// CHECK-NEXT: <key>edges</key> 2630// CHECK-NEXT: <array> 2631// CHECK-NEXT: <dict> 2632// CHECK-NEXT: <key>start</key> 2633// CHECK-NEXT: <array> 2634// CHECK-NEXT: <dict> 2635// CHECK-NEXT: <key>line</key><integer>103</integer> 2636// CHECK-NEXT: <key>col</key><integer>3</integer> 2637// CHECK-NEXT: <key>file</key><integer>0</integer> 2638// CHECK-NEXT: </dict> 2639// CHECK-NEXT: <dict> 2640// CHECK-NEXT: <key>line</key><integer>103</integer> 2641// CHECK-NEXT: <key>col</key><integer>12</integer> 2642// CHECK-NEXT: <key>file</key><integer>0</integer> 2643// CHECK-NEXT: </dict> 2644// CHECK-NEXT: </array> 2645// CHECK-NEXT: <key>end</key> 2646// CHECK-NEXT: <array> 2647// CHECK-NEXT: <dict> 2648// CHECK-NEXT: <key>line</key><integer>103</integer> 2649// CHECK-NEXT: <key>col</key><integer>14</integer> 2650// CHECK-NEXT: <key>file</key><integer>0</integer> 2651// CHECK-NEXT: </dict> 2652// CHECK-NEXT: <dict> 2653// CHECK-NEXT: <key>line</key><integer>103</integer> 2654// CHECK-NEXT: <key>col</key><integer>20</integer> 2655// CHECK-NEXT: <key>file</key><integer>0</integer> 2656// CHECK-NEXT: </dict> 2657// CHECK-NEXT: </array> 2658// CHECK-NEXT: </dict> 2659// CHECK-NEXT: </array> 2660// CHECK-NEXT: </dict> 2661// CHECK-NEXT: <dict> 2662// CHECK-NEXT: <key>kind</key><string>event</string> 2663// CHECK-NEXT: <key>location</key> 2664// CHECK-NEXT: <dict> 2665// CHECK-NEXT: <key>line</key><integer>103</integer> 2666// CHECK-NEXT: <key>col</key><integer>14</integer> 2667// CHECK-NEXT: <key>file</key><integer>0</integer> 2668// CHECK-NEXT: </dict> 2669// CHECK-NEXT: <key>ranges</key> 2670// CHECK-NEXT: <array> 2671// CHECK-NEXT: <array> 2672// CHECK-NEXT: <dict> 2673// CHECK-NEXT: <key>line</key><integer>103</integer> 2674// CHECK-NEXT: <key>col</key><integer>14</integer> 2675// CHECK-NEXT: <key>file</key><integer>0</integer> 2676// CHECK-NEXT: </dict> 2677// CHECK-NEXT: <dict> 2678// CHECK-NEXT: <key>line</key><integer>103</integer> 2679// CHECK-NEXT: <key>col</key><integer>22</integer> 2680// CHECK-NEXT: <key>file</key><integer>0</integer> 2681// CHECK-NEXT: </dict> 2682// CHECK-NEXT: </array> 2683// CHECK-NEXT: </array> 2684// CHECK-NEXT: <key>depth</key><integer>0</integer> 2685// CHECK-NEXT: <key>extended_message</key> 2686// CHECK-NEXT: <string>Passing null pointer value via 1st parameter 'p'</string> 2687// CHECK-NEXT: <key>message</key> 2688// CHECK-NEXT: <string>Passing null pointer value via 1st parameter 'p'</string> 2689// CHECK-NEXT: </dict> 2690// CHECK-NEXT: <dict> 2691// CHECK-NEXT: <key>kind</key><string>event</string> 2692// CHECK-NEXT: <key>location</key> 2693// CHECK-NEXT: <dict> 2694// CHECK-NEXT: <key>line</key><integer>103</integer> 2695// CHECK-NEXT: <key>col</key><integer>3</integer> 2696// CHECK-NEXT: <key>file</key><integer>0</integer> 2697// CHECK-NEXT: </dict> 2698// CHECK-NEXT: <key>ranges</key> 2699// CHECK-NEXT: <array> 2700// CHECK-NEXT: <array> 2701// CHECK-NEXT: <dict> 2702// CHECK-NEXT: <key>line</key><integer>103</integer> 2703// CHECK-NEXT: <key>col</key><integer>3</integer> 2704// CHECK-NEXT: <key>file</key><integer>0</integer> 2705// CHECK-NEXT: </dict> 2706// CHECK-NEXT: <dict> 2707// CHECK-NEXT: <key>line</key><integer>103</integer> 2708// CHECK-NEXT: <key>col</key><integer>23</integer> 2709// CHECK-NEXT: <key>file</key><integer>0</integer> 2710// CHECK-NEXT: </dict> 2711// CHECK-NEXT: </array> 2712// CHECK-NEXT: </array> 2713// CHECK-NEXT: <key>depth</key><integer>0</integer> 2714// CHECK-NEXT: <key>extended_message</key> 2715// CHECK-NEXT: <string>Calling 'usePointer'</string> 2716// CHECK-NEXT: <key>message</key> 2717// CHECK-NEXT: <string>Calling 'usePointer'</string> 2718// CHECK-NEXT: </dict> 2719// CHECK-NEXT: <dict> 2720// CHECK-NEXT: <key>kind</key><string>event</string> 2721// CHECK-NEXT: <key>location</key> 2722// CHECK-NEXT: <dict> 2723// CHECK-NEXT: <key>line</key><integer>96</integer> 2724// CHECK-NEXT: <key>col</key><integer>1</integer> 2725// CHECK-NEXT: <key>file</key><integer>0</integer> 2726// CHECK-NEXT: </dict> 2727// CHECK-NEXT: <key>depth</key><integer>1</integer> 2728// CHECK-NEXT: <key>extended_message</key> 2729// CHECK-NEXT: <string>Entered call from 'testUseOfNullPointer'</string> 2730// CHECK-NEXT: <key>message</key> 2731// CHECK-NEXT: <string>Entered call from 'testUseOfNullPointer'</string> 2732// CHECK-NEXT: </dict> 2733// CHECK-NEXT: <dict> 2734// CHECK-NEXT: <key>kind</key><string>control</string> 2735// CHECK-NEXT: <key>edges</key> 2736// CHECK-NEXT: <array> 2737// CHECK-NEXT: <dict> 2738// CHECK-NEXT: <key>start</key> 2739// CHECK-NEXT: <array> 2740// CHECK-NEXT: <dict> 2741// CHECK-NEXT: <key>line</key><integer>96</integer> 2742// CHECK-NEXT: <key>col</key><integer>1</integer> 2743// CHECK-NEXT: <key>file</key><integer>0</integer> 2744// CHECK-NEXT: </dict> 2745// CHECK-NEXT: <dict> 2746// CHECK-NEXT: <key>line</key><integer>96</integer> 2747// CHECK-NEXT: <key>col</key><integer>4</integer> 2748// CHECK-NEXT: <key>file</key><integer>0</integer> 2749// CHECK-NEXT: </dict> 2750// CHECK-NEXT: </array> 2751// CHECK-NEXT: <key>end</key> 2752// CHECK-NEXT: <array> 2753// CHECK-NEXT: <dict> 2754// CHECK-NEXT: <key>line</key><integer>97</integer> 2755// CHECK-NEXT: <key>col</key><integer>3</integer> 2756// CHECK-NEXT: <key>file</key><integer>0</integer> 2757// CHECK-NEXT: </dict> 2758// CHECK-NEXT: <dict> 2759// CHECK-NEXT: <key>line</key><integer>97</integer> 2760// CHECK-NEXT: <key>col</key><integer>3</integer> 2761// CHECK-NEXT: <key>file</key><integer>0</integer> 2762// CHECK-NEXT: </dict> 2763// CHECK-NEXT: </array> 2764// CHECK-NEXT: </dict> 2765// CHECK-NEXT: </array> 2766// CHECK-NEXT: </dict> 2767// CHECK-NEXT: <dict> 2768// CHECK-NEXT: <key>kind</key><string>event</string> 2769// CHECK-NEXT: <key>location</key> 2770// CHECK-NEXT: <dict> 2771// CHECK-NEXT: <key>line</key><integer>97</integer> 2772// CHECK-NEXT: <key>col</key><integer>3</integer> 2773// CHECK-NEXT: <key>file</key><integer>0</integer> 2774// CHECK-NEXT: </dict> 2775// CHECK-NEXT: <key>ranges</key> 2776// CHECK-NEXT: <array> 2777// CHECK-NEXT: <array> 2778// CHECK-NEXT: <dict> 2779// CHECK-NEXT: <key>line</key><integer>97</integer> 2780// CHECK-NEXT: <key>col</key><integer>4</integer> 2781// CHECK-NEXT: <key>file</key><integer>0</integer> 2782// CHECK-NEXT: </dict> 2783// CHECK-NEXT: <dict> 2784// CHECK-NEXT: <key>line</key><integer>97</integer> 2785// CHECK-NEXT: <key>col</key><integer>4</integer> 2786// CHECK-NEXT: <key>file</key><integer>0</integer> 2787// CHECK-NEXT: </dict> 2788// CHECK-NEXT: </array> 2789// CHECK-NEXT: </array> 2790// CHECK-NEXT: <key>depth</key><integer>1</integer> 2791// CHECK-NEXT: <key>extended_message</key> 2792// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 2793// CHECK-NEXT: <key>message</key> 2794// CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 2795// CHECK-NEXT: </dict> 2796// CHECK-NEXT: </array> 2797// CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 2798// CHECK-NEXT: <key>category</key><string>Logic error</string> 2799// CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 2800// CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 2801// CHECK-NEXT: <key>issue_context</key><string>usePointer</string> 2802// CHECK-NEXT: <key>issue_hash</key><string>1</string> 2803// CHECK-NEXT: <key>location</key> 2804// CHECK-NEXT: <dict> 2805// CHECK-NEXT: <key>line</key><integer>97</integer> 2806// CHECK-NEXT: <key>col</key><integer>3</integer> 2807// CHECK-NEXT: <key>file</key><integer>0</integer> 2808// CHECK-NEXT: </dict> 2809// CHECK-NEXT: </dict> 2810// CHECK-NEXT: </array> 2811