From: Jordan Rose Date: Mon, 6 Aug 2012 21:28:14 +0000 (+0000) Subject: [analyzer] Add plist output checks for all four "path notes" tests. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a801acd9773cacdbe16690269ecb47bd127440c5;p=clang [analyzer] Add plist output checks for all four "path notes" tests. No functionality change, but from now on, any new path notes should be tested both with plain-text output (for ease of human auditing) and with plist output (to ensure control flow and events are being correctly represented in Xcode). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161351 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/inlining/path-notes.c b/test/Analysis/inlining/path-notes.c index 53bc4249b7..0885eafa5b 100644 --- a/test/Analysis/inlining/path-notes.c +++ b/test/Analysis/inlining/path-notes.c @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=text -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=plist-multi-file %s -o - | FileCheck %s void zero(int **p) { *p = 0; @@ -54,3 +55,1237 @@ void testStoreCheck(int *a) { *a = 1; // expected-warning{{Dereference of null pointer}} // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} } + + +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: files +// CHECK: +// CHECK: {{.*}}path-notes.c +// CHECK: +// CHECK: diagnostics +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line10 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Calling 'zero' +// CHECK: message +// CHECK: Calling 'zero' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line4 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Entered call from 'testZero' +// CHECK: message +// CHECK: Entered call from 'testZero' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line4 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line4 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line5 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line5 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line5 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line5 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line5 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Null pointer value stored to 'a' +// CHECK: message +// CHECK: Null pointer value stored to 'a' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line10 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'zero' +// CHECK: message +// CHECK: Returning from 'zero' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line10 +// CHECK: col6 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: +// CHECK: +// CHECK: descriptionDereference of null pointer (loaded from variable 'a') +// CHECK: categoryLogic error +// CHECK: typeDereference of null pointer +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestZero +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line29 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Calling 'check' +// CHECK: message +// CHECK: Calling 'check' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Entered call from 'testCheck' +// CHECK: message +// CHECK: Entered call from 'testCheck' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Assuming 'p' is null +// CHECK: message +// CHECK: Assuming 'p' is null +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Assuming pointer value is null +// CHECK: message +// CHECK: Assuming pointer value is null +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line29 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'check' +// CHECK: message +// CHECK: Returning from 'check' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line32 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line32 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line32 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line32 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line32 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: +// CHECK: +// CHECK: descriptionDereference of null pointer (loaded from variable 'a') +// CHECK: categoryLogic error +// CHECK: typeDereference of null pointer +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestCheck +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line32 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line40 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Variable 'a' initialized here +// CHECK: message +// CHECK: Variable 'a' initialized here +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Calling 'check' +// CHECK: message +// CHECK: Calling 'check' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Entered call from 'testInitCheck' +// CHECK: message +// CHECK: Entered call from 'testInitCheck' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Assuming 'p' is null +// CHECK: message +// CHECK: Assuming 'p' is null +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'check' +// CHECK: message +// CHECK: Returning from 'check' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: +// CHECK: +// CHECK: descriptionDereference of null pointer (loaded from variable 'a') +// CHECK: categoryLogic error +// CHECK: typeDereference of null pointer +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestInitCheck +// CHECK: issue_hash6 +// CHECK: location +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Value assigned to 'a' +// CHECK: message +// CHECK: Value assigned to 'a' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Calling 'check' +// CHECK: message +// CHECK: Calling 'check' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Entered call from 'testStoreCheck' +// CHECK: message +// CHECK: Entered call from 'testStoreCheck' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Assuming 'p' is null +// CHECK: message +// CHECK: Assuming 'p' is null +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line19 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line25 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'check' +// CHECK: message +// CHECK: Returning from 'check' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line55 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: message +// CHECK: Dereference of null pointer (loaded from variable 'a') +// CHECK: +// CHECK: +// CHECK: descriptionDereference of null pointer (loaded from variable 'a') +// CHECK: categoryLogic error +// CHECK: typeDereference of null pointer +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestStoreCheck +// CHECK: issue_hash6 +// CHECK: location +// CHECK: +// CHECK: line55 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: diff --git a/test/Analysis/method-call-path-notes.cpp b/test/Analysis/method-call-path-notes.cpp index 6298ca043f..fbf0cae7d8 100644 --- a/test/Analysis/method-call-path-notes.cpp +++ b/test/Analysis/method-call-path-notes.cpp @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=text -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=plist-multi-file %s -o - | FileCheck %s // Test warning about null or uninitialized pointer values used as instance member // calls. @@ -34,3 +35,630 @@ void test_ic_member_ptr() { IC_Ptr bar = &TestInstanceCall::foo; (p->*bar)(); // expected-warning {{Called C++ object pointer is null}} expected-note{{Called C++ object pointer is null}} } + +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: files +// CHECK: +// CHECK: {{.*}}method-call-path-notes.cpp +// CHECK: +// CHECK: diagnostics +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line12 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line12 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line12 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Variable 'p' declared without an initial value +// CHECK: message +// CHECK: Variable 'p' declared without an initial value +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line12 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line12 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Called C++ object pointer is uninitialized +// CHECK: message +// CHECK: Called C++ object pointer is uninitialized +// CHECK: +// CHECK: +// CHECK: descriptionCalled C++ object pointer is uninitialized +// CHECK: categoryLogic error +// CHECK: typeCalled C++ object pointer is uninitialized +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttest_ic +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line13 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line17 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line17 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line17 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Variable 'p' initialized to a null pointer value +// CHECK: message +// CHECK: Variable 'p' initialized to a null pointer value +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line17 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line17 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Called C++ object pointer is null +// CHECK: message +// CHECK: Called C++ object pointer is null +// CHECK: +// CHECK: +// CHECK: descriptionCalled C++ object pointer is null +// CHECK: categoryLogic error +// CHECK: typeCalled C++ object pointer is null +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttest_ic_null +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line18 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line22 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line22 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Null pointer value stored to 'p' +// CHECK: message +// CHECK: Null pointer value stored to 'p' +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line23 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Called C++ object pointer is null +// CHECK: message +// CHECK: Called C++ object pointer is null +// CHECK: +// CHECK: +// CHECK: descriptionCalled C++ object pointer is null +// CHECK: categoryLogic error +// CHECK: typeCalled C++ object pointer is null +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttest_ic_set_to_null +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line24 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Assuming pointer value is null +// CHECK: message +// CHECK: Assuming pointer value is null +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line28 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Called C++ object pointer is null +// CHECK: message +// CHECK: Called C++ object pointer is null +// CHECK: +// CHECK: +// CHECK: descriptionCalled C++ object pointer is null +// CHECK: categoryLogic error +// CHECK: typeCalled C++ object pointer is null +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttest_ic_null +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line33 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line33 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line33 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Variable 'p' initialized to a null pointer value +// CHECK: message +// CHECK: Variable 'p' initialized to a null pointer value +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line33 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line33 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line36 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Called C++ object pointer is null +// CHECK: message +// CHECK: Called C++ object pointer is null +// CHECK: +// CHECK: +// CHECK: descriptionCalled C++ object pointer is null +// CHECK: categoryLogic error +// CHECK: typeCalled C++ object pointer is null +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttest_ic_member_ptr +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line36 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: diff --git a/test/Analysis/retain-release-path-notes-gc.m b/test/Analysis/retain-release-path-notes-gc.m index 1e74f003e1..feee525b85 100644 --- a/test/Analysis/retain-release-path-notes-gc.m +++ b/test/Analysis/retain-release-path-notes-gc.m @@ -1,4 +1,5 @@ -// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -analyzer-output=text -fobjc-gc-only -verify %s +// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -fobjc-gc-only -analyzer-output=text -verify %s +// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -fobjc-gc-only -analyzer-output=plist-multi-file %s -o - | FileCheck %s /*** This file is for testing the path-sensitive notes for retain/release errors. @@ -71,3 +72,1339 @@ void retainReleaseIgnored () { } @end + +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: files +// CHECK: +// CHECK: {{.*}}retain-release-path-notes-gc.m +// CHECK: +// CHECK: diagnostics +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line42 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col40 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line42 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line43 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line43 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line43 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line43 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line43 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak (when using garbage collection) of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of object when using garbage collection +// CHECK: issue_context_kindfunction +// CHECK: issue_contextcreationViaCFCreate +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line43 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line47 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col40 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line48 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +2 retain count +// CHECK: message +// CHECK: Reference count incremented. The object now has a +2 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line48 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line49 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col26 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: In GC mode a call to 'CFMakeCollectable' decrements an object's retain count and registers the object with the garbage collector. An object must have a 0 retain count to be garbage collected. After this call its retain count is +1 +// CHECK: message +// CHECK: In GC mode a call to 'CFMakeCollectable' decrements an object's retain count and registers the object with the garbage collector. An object must have a 0 retain count to be garbage collected. After this call its retain count is +1 +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line49 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col26 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: In GC mode a call to 'NSMakeCollectable' decrements an object's retain count and registers the object with the garbage collector. Since it now has a 0 retain count the object can be automatically collected by the garbage collector +// CHECK: message +// CHECK: In GC mode a call to 'NSMakeCollectable' decrements an object's retain count and registers the object with the garbage collector. Since it now has a 0 retain count the object can be automatically collected by the garbage collector +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +1 retain count. The object is not eligible for garbage collection until the retain count reaches 0 again +// CHECK: message +// CHECK: Reference count incremented. The object now has a +1 retain count. The object is not eligible for garbage collection until the retain count reaches 0 again +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line52 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak (when using garbage collection) of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of object when using garbage collection +// CHECK: issue_context_kindfunction +// CHECK: issue_contextmakeCollectable +// CHECK: issue_hash6 +// CHECK: location +// CHECK: +// CHECK: line52 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: In GC mode the 'retain' message has no effect +// CHECK: message +// CHECK: In GC mode the 'retain' message has no effect +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: In GC mode the 'release' message has no effect +// CHECK: message +// CHECK: In GC mode the 'release' message has no effect +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: In GC mode an 'autorelease' has no effect +// CHECK: message +// CHECK: In GC mode an 'autorelease' has no effect +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line60 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col13 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col29 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contextretainReleaseIgnored +// CHECK: issue_hash5 +// CHECK: location +// CHECK: +// CHECK: line60 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col36 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line65 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col36 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line66 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'object' and returned from method 'getViolation' is potentially leaked when using garbage collection. Callers of this method do not expect a returned object with a +1 retain count since they expect the object to be managed by the garbage collector +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'object' and returned from method 'getViolation' is potentially leaked when using garbage collection. Callers of this method do not expect a returned object with a +1 retain count since they expect the object to be managed by the garbage collector +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak (when using garbage collection) of an object stored into 'object' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of returned object when using garbage collection +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextgetViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line66 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col36 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line70 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count. Core Foundation objects are not automatically garbage collected +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col36 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'object' and returned from method 'copyViolation' is potentially leaked when using garbage collection. Callers of this method do not expect a returned object with a +1 retain count since they expect the object to be managed by the garbage collector +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'object' and returned from method 'copyViolation' is potentially leaked when using garbage collection. Callers of this method do not expect a returned object with a +1 retain count since they expect the object to be managed by the garbage collector +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak (when using garbage collection) of an object stored into 'object' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of returned object when using garbage collection +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextcopyViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: diff --git a/test/Analysis/retain-release-path-notes.m b/test/Analysis/retain-release-path-notes.m index 5b702214a4..ebcfd6adf5 100644 --- a/test/Analysis/retain-release-path-notes.m +++ b/test/Analysis/retain-release-path-notes.m @@ -1,4 +1,5 @@ // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -analyzer-output=text -verify %s +// RN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.coreFoundation.CFRetainRelease,osx.cocoa.ClassRelease,osx.cocoa.RetainCount -analyzer-store=region -analyzer-output=plist-multi-file %s -o - | FileCheck %s /*** This file is for testing the path-sensitive notes for retain/release errors. @@ -187,3 +188,4426 @@ void testDictionary(id key, id value) { id result = @{key: value}; // expected-note{{NSDictionary literal is an object with a +0 retain count}} [result release]; // expected-warning{{decrement}} expected-note{{Incorrect decrement of the reference count of an object that is not owned at this point by the caller}} } + + +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: files +// CHECK: +// CHECK: {{.*}}retain-release-path-notes.m +// CHECK: +// CHECK: diagnostics +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line46 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line46 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line46 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line46 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line46 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextcreationViaAlloc +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line46 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line50 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col40 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextcreationViaCFCreate +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line51 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col35 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +2 retain count +// CHECK: message +// CHECK: Reference count incremented. The object now has a +2 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count decremented. The object now has a +1 retain count +// CHECK: message +// CHECK: Reference count decremented. The object now has a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line58 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line59 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextacquisitionViaMethod +// CHECK: issue_hash5 +// CHECK: location +// CHECK: +// CHECK: line59 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line63 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line63 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line64 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line65 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line65 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextacquisitionViaProperty +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line65 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col35 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line69 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFGetSomething' returns a Core Foundation object with a +0 retain count +// CHECK: message +// CHECK: Call to function 'CFGetSomething' returns a Core Foundation object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line69 +// CHECK: col35 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line70 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: message +// CHECK: Reference count incremented. The object now has a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line70 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line71 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextacquisitionViaCFFunction +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line71 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line75 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object released by directly sending the '-dealloc' message +// CHECK: message +// CHECK: Object released by directly sending the '-dealloc' message +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line76 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line77 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line77 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line77 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line77 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line77 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference-counted object is used after it is released +// CHECK: message +// CHECK: Reference-counted object is used after it is released +// CHECK: +// CHECK: +// CHECK: descriptionReference-counted object is used after it is released +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeUse-after-release +// CHECK: issue_context_kindfunction +// CHECK: issue_contextexplicitDealloc +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line77 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line81 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object released +// CHECK: message +// CHECK: Object released +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line82 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line83 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line83 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line83 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line83 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line83 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reference-counted object is used after it is released +// CHECK: message +// CHECK: Reference-counted object is used after it is released +// CHECK: +// CHECK: +// CHECK: descriptionReference-counted object is used after it is released +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeUse-after-release +// CHECK: issue_context_kindfunction +// CHECK: issue_contextimplicitDealloc +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line83 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line87 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object sent -autorelease message +// CHECK: message +// CHECK: Object sent -autorelease message +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line88 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object sent -autorelease message +// CHECK: message +// CHECK: Object sent -autorelease message +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line89 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line90 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line90 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line90 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line90 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line90 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object over-autoreleased: object was sent -autorelease 2 times but the object has a +1 retain count +// CHECK: message +// CHECK: Object over-autoreleased: object was sent -autorelease 2 times but the object has a +1 retain count +// CHECK: +// CHECK: +// CHECK: descriptionObject sent -autorelease too many times +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeObject sent -autorelease too many times +// CHECK: issue_context_kindfunction +// CHECK: issue_contextoverAutorelease +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line90 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line94 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line94 +// CHECK: col31 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object sent -autorelease message +// CHECK: message +// CHECK: Object sent -autorelease message +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line95 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line96 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line96 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line96 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line96 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line96 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object over-autoreleased: object was sent -autorelease but the object has a +0 retain count +// CHECK: message +// CHECK: Object over-autoreleased: object was sent -autorelease but the object has a +0 retain count +// CHECK: +// CHECK: +// CHECK: descriptionObject sent -autorelease too many times +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeObject sent -autorelease too many times +// CHECK: issue_context_kindfunction +// CHECK: issue_contextautoreleaseUnowned +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line96 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line100 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col40 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line100 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line101 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col26 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: When GC is not enabled a call to 'CFMakeCollectable' has no effect on its argument +// CHECK: message +// CHECK: When GC is not enabled a call to 'CFMakeCollectable' has no effect on its argument +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line101 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line102 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col26 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: When GC is not enabled a call to 'NSMakeCollectable' has no effect on its argument +// CHECK: message +// CHECK: When GC is not enabled a call to 'NSMakeCollectable' has no effect on its argument +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line102 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line103 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line103 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line103 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line103 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line103 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'leaked' is not referenced later in this execution path and has a retain count of +1 +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'leaked' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak +// CHECK: issue_context_kindfunction +// CHECK: issue_contextmakeCollectableIgnored +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line103 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col35 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line107 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col37 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFGetSomething' returns a Core Foundation object with a +0 retain count +// CHECK: message +// CHECK: Call to function 'CFGetSomething' returns a Core Foundation object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line107 +// CHECK: col35 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line108 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: +// CHECK: +// CHECK: descriptionObject with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeMethod should return an owned object +// CHECK: issue_context_kindfunction +// CHECK: issue_contextCFCopyRuleViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line108 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line112 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col40 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: message +// CHECK: Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line112 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line113 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'object' is returned from a function whose name ('CFGetRuleViolation') does not contain 'Copy' or 'Create'. This violates the naming convention rules given in the Memory Management Guide for Core Foundation +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'object' is returned from a function whose name ('CFGetRuleViolation') does not contain 'Copy' or 'Create'. This violates the naming convention rules given in the Memory Management Guide for Core Foundation +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'object' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of returned object +// CHECK: issue_context_kindfunction +// CHECK: issue_contextCFGetRuleViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line113 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col32 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line118 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col32 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Property returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line118 +// CHECK: col32 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line119 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: +// CHECK: +// CHECK: descriptionObject with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeMethod should return an owned object +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextcopyViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line119 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line123 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Subscript returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Subscript returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line123 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line124 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: +// CHECK: +// CHECK: descriptionObject with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeMethod should return an owned object +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextcopyViolationIndexedSubscript +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line124 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line128 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Subscript returns an Objective-C object with a +0 retain count +// CHECK: message +// CHECK: Subscript returns an Objective-C object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line128 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line129 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: +// CHECK: +// CHECK: descriptionObject with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeMethod should return an owned object +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextcopyViolationKeyedSubscript +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line129 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col32 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line133 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: message +// CHECK: Object returned to caller as an owning reference (single retain count transferred to caller) +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line134 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object leaked: object allocated and stored into 'result' is returned from a method whose name ('getViolation') does not start with 'copy', 'mutableCopy', 'alloc' or 'new'. This violates the naming convention rules given in the Memory Management Guide for Cocoa +// CHECK: message +// CHECK: Object leaked: object allocated and stored into 'result' is returned from a method whose name ('getViolation') does not start with 'copy', 'mutableCopy', 'alloc' or 'new'. This violates the naming convention rules given in the Memory Management Guide for Cocoa +// CHECK: +// CHECK: +// CHECK: descriptionPotential leak of an object stored into 'result' +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeLeak of returned object +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextgetViolation +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line134 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col32 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: message +// CHECK: Method returns an Objective-C object with a +1 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line138 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col22 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object sent -autorelease message +// CHECK: message +// CHECK: Object sent -autorelease message +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line139 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col8 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: message +// CHECK: Object returned to caller with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line140 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: message +// CHECK: Object with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: +// CHECK: +// CHECK: descriptionObject with a +0 retain count returned to caller where a +1 (owning) retain count is expected +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeMethod should return an owned object +// CHECK: issue_context_kindObjective-C method +// CHECK: issue_contextcopyAutorelease +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line140 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: NSNumber literal is an object with a +0 retain count +// CHECK: message +// CHECK: NSNumber literal is an object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line168 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line169 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line169 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line169 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line169 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line169 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestNumericLiteral +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line169 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: NSNumber boxed expression produces an object with a +0 retain count +// CHECK: message +// CHECK: NSNumber boxed expression produces an object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line173 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line174 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line174 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line174 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line174 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line174 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestBoxedInt +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line174 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: NSString boxed expression produces an object with a +0 retain count +// CHECK: message +// CHECK: NSString boxed expression produces an object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line178 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line179 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line179 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line179 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line179 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line179 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestBoxedString +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line179 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: NSArray literal is an object with a +0 retain count +// CHECK: message +// CHECK: NSArray literal is an object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line183 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line184 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line184 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line184 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line184 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line184 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestArray +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line184 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: NSDictionary literal is an object with a +0 retain count +// CHECK: message +// CHECK: NSDictionary literal is an object with a +0 retain count +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line188 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line189 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line189 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line189 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line189 +// CHECK: col4 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line189 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: message +// CHECK: Incorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: +// CHECK: +// CHECK: descriptionIncorrect decrement of the reference count of an object that is not owned at this point by the caller +// CHECK: categoryMemory (Core Foundation/Objective-C) +// CHECK: typeBad release +// CHECK: issue_context_kindfunction +// CHECK: issue_contexttestDictionary +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line189 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: