diff --git a/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp b/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
index c3f7c0e810c1..f1c620a018a7 100644
--- a/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
+++ b/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
@@ -183,10 +183,18 @@ static void ReportControlFlow(raw_ostream &o,
I!=E; ++I) {
Indent(o, indent) << "\n";
++indent;
+
+ // Make the ranges of the start and end point self-consistent with adjacent edges
+ // by forcing to use only the beginning of the range. This simplifies the layout
+ // logic for clients.
Indent(o, indent) << "start\n";
- EmitRange(o, SM, LangOpts, I->getStart().asRange(), FM, indent+1);
+ SourceLocation StartEdge = I->getStart().asRange().getBegin();
+ EmitRange(o, SM, LangOpts, SourceRange(StartEdge, StartEdge), FM, indent+1);
+
Indent(o, indent) << "end\n";
- EmitRange(o, SM, LangOpts, I->getEnd().asRange(), FM, indent+1);
+ SourceLocation EndEdge = I->getEnd().asRange().getBegin();
+ EmitRange(o, SM, LangOpts, SourceRange(EndEdge, EndEdge), FM, indent+1);
+
--indent;
Indent(o, indent) << "\n";
}
diff --git a/clang/test/Analysis/diagnostics/undef-value-caller.c b/clang/test/Analysis/diagnostics/undef-value-caller.c
index d8348ad05da2..928839d0404d 100644
--- a/clang/test/Analysis/diagnostics/undef-value-caller.c
+++ b/clang/test/Analysis/diagnostics/undef-value-caller.c
@@ -10,226 +10,229 @@ int test_calling_unimportant_callee(int argc, char *argv[]) {
callee();
return x; // expected-warning {{Undefined or garbage value returned to caller}}
}
-//CHECK:
-//CHECK: files
-//CHECK:
-//CHECK:
-//CHECK: diagnostics
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line9
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line9
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line9
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Variable 'x' declared without an initial value
-//CHECK: message
-//CHECK: Variable 'x' declared without an initial value
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line9
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line9
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//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 'callee'
-//CHECK: message
-//CHECK: Calling 'callee'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line2
-//CHECK: col1
-//CHECK: file1
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'test_calling_unimportant_callee'
-//CHECK: message
-//CHECK: Entered call from 'test_calling_unimportant_callee'
-//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 'callee'
-//CHECK: message
-//CHECK: Returning from 'callee'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line11
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Undefined or garbage value returned to caller
-//CHECK: message
-//CHECK: Undefined or garbage value returned to caller
-//CHECK:
-//CHECK:
-//CHECK: descriptionUndefined or garbage value returned to caller
-//CHECK: categoryLogic error
-//CHECK: typeGarbage return value
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contexttest_calling_unimportant_callee
-//CHECK: location
-//CHECK:
-//CHECK: line11
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
+
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: files
+// CHECK:
+// CHECK:
+// CHECK: diagnostics
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line9
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line9
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line9
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Variable 'x' declared without an initial value
+// CHECK: message
+// CHECK: Variable 'x' declared without an initial value
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line9
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line9
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// 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 'callee'
+// CHECK: message
+// CHECK: Calling 'callee'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line2
+// CHECK: col1
+// CHECK: file1
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'test_calling_unimportant_callee'
+// CHECK: message
+// CHECK: Entered call from 'test_calling_unimportant_callee'
+// 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 'callee'
+// CHECK: message
+// CHECK: Returning from 'callee'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line11
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Undefined or garbage value returned to caller
+// CHECK: message
+// CHECK: Undefined or garbage value returned to caller
+// CHECK:
+// CHECK:
+// CHECK: descriptionUndefined or garbage value returned to caller
+// CHECK: categoryLogic error
+// CHECK: typeGarbage return value
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contexttest_calling_unimportant_callee
+// CHECK: location
+// CHECK:
+// CHECK: line11
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
diff --git a/clang/test/Analysis/inline-plist.c b/clang/test/Analysis/inline-plist.c
index cd57c7b31045..7f4822480f13 100644
--- a/clang/test/Analysis/inline-plist.c
+++ b/clang/test/Analysis/inline-plist.c
@@ -88,7 +88,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line11
-// CHECK: col10
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -101,7 +101,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line12
-// CHECK: col5
+// CHECK: col6
// CHECK: file0
// CHECK:
// CHECK:
@@ -122,7 +122,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line12
-// CHECK: col5
+// CHECK: col6
// CHECK: file0
// CHECK:
// CHECK:
@@ -198,7 +198,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line14
-// CHECK: col5
+// CHECK: col10
// CHECK: file0
// CHECK:
// CHECK:
@@ -219,7 +219,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line14
-// CHECK: col5
+// CHECK: col10
// CHECK: file0
// CHECK:
// CHECK:
@@ -341,7 +341,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line18
-// CHECK: col1
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -420,7 +420,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line33
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -433,7 +433,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line33
-// CHECK: col9
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -483,7 +483,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line33
-// CHECK: col9
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -496,7 +496,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line36
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -517,7 +517,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line36
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -530,7 +530,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line37
-// CHECK: col5
+// CHECK: col16
// CHECK: file0
// CHECK:
// CHECK:
@@ -594,7 +594,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line26
-// CHECK: col1
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -702,7 +702,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line45
-// CHECK: col8
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -856,7 +856,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line50
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -890,7 +890,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line50
-// CHECK: col41
+// CHECK: col12
// CHECK: file0
// CHECK:
// CHECK:
@@ -969,7 +969,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line55
-// CHECK: col3
+// CHECK: col9
// CHECK: file0
// CHECK:
// CHECK:
@@ -1003,7 +1003,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line56
-// CHECK: col17
+// CHECK: col3
// CHECK: file0
// CHECK:
// CHECK:
@@ -1082,7 +1082,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line61
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -1116,7 +1116,7 @@ void test_block_arg() {
// CHECK:
// CHECK:
// CHECK: line62
-// CHECK: col27
+// CHECK: col3
// CHECK: file0
// CHECK:
// CHECK:
diff --git a/clang/test/Analysis/inline-unique-reports.c b/clang/test/Analysis/inline-unique-reports.c
index ae94267d2c25..6ae77e257e31 100644
--- a/clang/test/Analysis/inline-unique-reports.c
+++ b/clang/test/Analysis/inline-unique-reports.c
@@ -40,7 +40,7 @@ void test_bug_2() {
// CHECK:
// CHECK:
// CHECK: line9
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -53,7 +53,7 @@ void test_bug_2() {
// CHECK:
// CHECK:
// CHECK: line10
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -117,7 +117,7 @@ void test_bug_2() {
// CHECK:
// CHECK:
// CHECK: line4
-// CHECK: col1
+// CHECK: col6
// CHECK: file0
// CHECK:
// CHECK:
@@ -182,3 +182,4 @@ void test_bug_2() {
// CHECK:
// CHECK:
// CHECK:
+
diff --git a/clang/test/Analysis/malloc-plist.c b/clang/test/Analysis/malloc-plist.c
index 248abc21c889..ef4019254379 100644
--- a/clang/test/Analysis/malloc-plist.c
+++ b/clang/test/Analysis/malloc-plist.c
@@ -168,4248 +168,4250 @@ void use_function_with_leak7() {
function_with_leak7();
}
-//CHECK:
-//CHECK: files
-//CHECK:
-//CHECK:
-//CHECK: diagnostics
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line10
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col27
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line11
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col27
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line11
-//CHECK: col27
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line14
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line14
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line14
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'p'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'p'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'p'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextdiagnosticTest
-//CHECK: location
-//CHECK:
-//CHECK: line14
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line18
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line18
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col30
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line19
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col30
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line19
-//CHECK: col30
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line21
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line21
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line21
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'A'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'A'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'A'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextmyArrayAllocation
-//CHECK: location
-//CHECK:
-//CHECK: line21
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line24
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line24
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line26
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Attempt to reallocate memory
-//CHECK: message
-//CHECK: Attempt to reallocate memory
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line26
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line27
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Assuming 'tmp' is null
-//CHECK: message
-//CHECK: Assuming 'tmp' is null
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Reallocation failed
-//CHECK: message
-//CHECK: Reallocation failed
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line27
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line28
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line28
-//CHECK: col14
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line28
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextreallocDiagnostics
-//CHECK: location
-//CHECK:
-//CHECK: line28
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'wrapper'
-//CHECK: message
-//CHECK: Calling 'wrapper'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line34
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'test_wrapper'
-//CHECK: message
-//CHECK: Entered call from 'test_wrapper'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line34
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line34
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col13
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line35
-//CHECK: col13
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col13
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col13
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line35
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col3
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Assuming 'x' is non-null
-//CHECK: message
-//CHECK: Assuming 'x' is non-null
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line37
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line38
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line38
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Returned allocated memory
-//CHECK: message
-//CHECK: Returned allocated memory
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line43
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line45
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line45
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line45
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contexttest_wrapper
-//CHECK: location
-//CHECK:
-//CHECK: line45
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line59
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line59
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'my_malloc_and_free'
-//CHECK: message
-//CHECK: Calling 'my_malloc_and_free'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line52
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'test_double_action_call'
-//CHECK: message
-//CHECK: Entered call from 'test_double_action_call'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line52
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line52
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col20
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line53
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col20
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col10
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line53
-//CHECK: col20
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line54
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line54
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line54
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line54
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col17
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Calling 'my_free'
-//CHECK: message
-//CHECK: Calling 'my_free'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line49
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth2
-//CHECK: extended_message
-//CHECK: Entered call from 'my_malloc_and_free'
-//CHECK: message
-//CHECK: Entered call from 'my_malloc_and_free'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line49
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line49
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line50
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line50
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line50
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line50
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line50
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth2
-//CHECK: extended_message
-//CHECK: Memory is released
-//CHECK: message
-//CHECK: Memory is released
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col17
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth2
-//CHECK: extended_message
-//CHECK: Returned released memory via 1st parameter
-//CHECK: message
-//CHECK: Returned released memory via 1st parameter
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col7
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line55
-//CHECK: col17
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line56
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line56
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Returned released memory via 1st parameter
-//CHECK: message
-//CHECK: Returned released memory via 1st parameter
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line60
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line61
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line61
-//CHECK: col14
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line61
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line61
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line61
-//CHECK: col14
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Use of memory after it is freed
-//CHECK: message
-//CHECK: Use of memory after it is freed
-//CHECK:
-//CHECK:
-//CHECK: descriptionUse of memory after it is freed
-//CHECK: categoryMemory Error
-//CHECK: typeUse-after-free
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contexttest_double_action_call
-//CHECK: location
-//CHECK:
-//CHECK: line61
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col35
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line74
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col35
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line74
-//CHECK: col35
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'my_realloc'
-//CHECK: message
-//CHECK: Calling 'my_realloc'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line65
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'reallocIntra'
-//CHECK: message
-//CHECK: Entered call from 'reallocIntra'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line65
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line65
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line66
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line66
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line66
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line66
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line67
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Attempt to reallocate memory
-//CHECK: message
-//CHECK: Attempt to reallocate memory
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col18
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line67
-//CHECK: col40
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line68
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Assuming 'tmp' is null
-//CHECK: message
-//CHECK: Assuming 'tmp' is null
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Reallocation failed
-//CHECK: message
-//CHECK: Reallocation failed
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line68
-//CHECK: col6
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line69
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line69
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Reallocation of 1st parameter failed
-//CHECK: message
-//CHECK: Reallocation of 1st parameter failed
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line75
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line76
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line76
-//CHECK: col13
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line76
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextreallocIntra
-//CHECK: location
-//CHECK:
-//CHECK: line76
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line84
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line84
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'malloc_wrapper_ret'
-//CHECK: message
-//CHECK: Calling 'malloc_wrapper_ret'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line80
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_ret'
-//CHECK: message
-//CHECK: Entered call from 'use_ret'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line80
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line80
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line81
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line81
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Returned allocated memory
-//CHECK: message
-//CHECK: Returned allocated memory
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line85
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line86
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line86
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line86
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'v'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'v'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'v'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextuse_ret
-//CHECK: location
-//CHECK:
-//CHECK: line86
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line90
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line90
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col24
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line92
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col24
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col15
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line92
-//CHECK: col24
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line97
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line97
-//CHECK: col8
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line97
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'm'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'm'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'm'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextLeakedSymbol
-//CHECK: location
-//CHECK:
-//CHECK: line97
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line105
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line105
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line105
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak1'
-//CHECK: message
-//CHECK: Calling 'function_with_leak1'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line101
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak1'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak1'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line101
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line101
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line102
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line102
-//CHECK: col11
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak1
-//CHECK: location
-//CHECK:
-//CHECK: line102
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line114
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line114
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line114
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak2'
-//CHECK: message
-//CHECK: Calling 'function_with_leak2'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line109
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak2'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak2'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line109
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line109
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line110
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line110
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line111
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line111
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line111
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak2
-//CHECK: location
-//CHECK:
-//CHECK: line111
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line123
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line123
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line123
-//CHECK: col26
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak3'
-//CHECK: message
-//CHECK: Calling 'function_with_leak3'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line117
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak3'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak3'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line117
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line117
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line118
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line118
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line119
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line120
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line120
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line120
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak3
-//CHECK: location
-//CHECK:
-//CHECK: line120
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line134
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line134
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line134
-//CHECK: col26
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak4'
-//CHECK: message
-//CHECK: Calling 'function_with_leak4'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line126
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak4'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak4'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line126
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line126
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line127
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line127
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line128
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line131
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line131
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line131
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak4
-//CHECK: location
-//CHECK:
-//CHECK: line131
-//CHECK: col9
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line145
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line145
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line145
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak5'
-//CHECK: message
-//CHECK: Calling 'function_with_leak5'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line140
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak5'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak5'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line140
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line140
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line141
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line141
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line142
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line142
-//CHECK: col29
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line142
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak5
-//CHECK: location
-//CHECK:
-//CHECK: line142
-//CHECK: col12
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line156
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line156
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line156
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak6'
-//CHECK: message
-//CHECK: Calling 'function_with_leak6'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line151
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak6'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak6'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line151
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line151
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line152
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col22
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line152
-//CHECK: col31
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line153
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line153
-//CHECK: col23
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line153
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK: message
-//CHECK: Memory is never released; potential leak of memory pointed to by 'x'
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextfunction_with_leak6
-//CHECK: location
-//CHECK:
-//CHECK: line153
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: path
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line168
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Calling 'function_with_leak7'
-//CHECK: message
-//CHECK: Calling 'function_with_leak7'
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line164
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Entered call from 'use_function_with_leak7'
-//CHECK: message
-//CHECK: Entered call from 'use_function_with_leak7'
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line164
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line164
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line165
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col19
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line165
-//CHECK: col28
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Memory is allocated
-//CHECK: message
-//CHECK: Memory is allocated
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line168
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK: ranges
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: depth1
-//CHECK: extended_message
-//CHECK: Returned allocated memory
-//CHECK: message
-//CHECK: Returned allocated memory
-//CHECK:
-//CHECK:
-//CHECK: kindcontrol
-//CHECK: edges
-//CHECK:
-//CHECK:
-//CHECK: start
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col5
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line168
-//CHECK: col25
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: end
-//CHECK:
-//CHECK:
-//CHECK: line169
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK: line169
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK: kindevent
-//CHECK: location
-//CHECK:
-//CHECK: line169
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK: depth0
-//CHECK: extended_message
-//CHECK: Memory is never released; potential leak
-//CHECK: message
-//CHECK: Memory is never released; potential leak
-//CHECK:
-//CHECK:
-//CHECK: descriptionMemory is never released; potential leak
-//CHECK: categoryMemory Error
-//CHECK: typeMemory leak
-//CHECK: issue_context_kindfunction
-//CHECK: issue_contextuse_function_with_leak7
-//CHECK: location
-//CHECK:
-//CHECK: line169
-//CHECK: col1
-//CHECK: file0
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
-//CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: files
+// CHECK:
+// CHECK:
+// CHECK: diagnostics
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line10
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line11
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line11
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line14
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line14
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line14
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'p'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'p'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'p'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextdiagnosticTest
+// CHECK: location
+// CHECK:
+// CHECK: line14
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line18
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line18
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col14
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line19
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col30
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line19
+// CHECK: col14
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line21
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line21
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line21
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'A'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'A'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'A'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextmyArrayAllocation
+// CHECK: location
+// CHECK:
+// CHECK: line21
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line24
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line24
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line26
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col40
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Attempt to reallocate memory
+// CHECK: message
+// CHECK: Attempt to reallocate memory
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line26
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Assuming 'tmp' is null
+// CHECK: message
+// CHECK: Assuming 'tmp' is null
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Reallocation failed
+// CHECK: message
+// CHECK: Reallocation failed
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line27
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line28
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line28
+// CHECK: col14
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line28
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextreallocDiagnostics
+// CHECK: location
+// CHECK:
+// CHECK: line28
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col21
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'wrapper'
+// CHECK: message
+// CHECK: Calling 'wrapper'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line34
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'test_wrapper'
+// CHECK: message
+// CHECK: Entered call from 'test_wrapper'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line34
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line34
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line35
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line35
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col3
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Assuming 'x' is non-null
+// CHECK: message
+// CHECK: Assuming 'x' is non-null
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line37
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line38
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line38
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Returned allocated memory
+// CHECK: message
+// CHECK: Returned allocated memory
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line43
+// CHECK: col21
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line45
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line45
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line45
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contexttest_wrapper
+// CHECK: location
+// CHECK:
+// CHECK: line45
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line59
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line59
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'my_malloc_and_free'
+// CHECK: message
+// CHECK: Calling 'my_malloc_and_free'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line52
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'test_double_action_call'
+// CHECK: message
+// CHECK: Entered call from 'test_double_action_call'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line52
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line52
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line53
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line53
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line54
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line54
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line54
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line54
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col17
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Calling 'my_free'
+// CHECK: message
+// CHECK: Calling 'my_free'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line49
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth2
+// CHECK: extended_message
+// CHECK: Entered call from 'my_malloc_and_free'
+// CHECK: message
+// CHECK: Entered call from 'my_malloc_and_free'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line49
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line49
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line50
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line50
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line50
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line50
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line50
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth2
+// CHECK: extended_message
+// CHECK: Memory is released
+// CHECK: message
+// CHECK: Memory is released
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col17
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth2
+// CHECK: extended_message
+// CHECK: Returned released memory via 1st parameter
+// CHECK: message
+// CHECK: Returned released memory via 1st parameter
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line55
+// CHECK: col13
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line56
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line56
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Returned released memory via 1st parameter
+// CHECK: message
+// CHECK: Returned released memory via 1st parameter
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line60
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line61
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line61
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line61
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line61
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line61
+// CHECK: col14
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Use of memory after it is freed
+// CHECK: message
+// CHECK: Use of memory after it is freed
+// CHECK:
+// CHECK:
+// CHECK: descriptionUse of memory after it is freed
+// CHECK: categoryMemory Error
+// CHECK: typeUse-after-free
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contexttest_double_action_call
+// CHECK: location
+// CHECK:
+// CHECK: line61
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col30
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line74
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col35
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line74
+// CHECK: col30
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'my_realloc'
+// CHECK: message
+// CHECK: Calling 'my_realloc'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line65
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'reallocIntra'
+// CHECK: message
+// CHECK: Entered call from 'reallocIntra'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line65
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line65
+// CHECK: col4
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line66
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line66
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line66
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line66
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line67
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col40
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Attempt to reallocate memory
+// CHECK: message
+// CHECK: Attempt to reallocate memory
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col18
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line67
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Assuming 'tmp' is null
+// CHECK: message
+// CHECK: Assuming 'tmp' is null
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Reallocation failed
+// CHECK: message
+// CHECK: Reallocation failed
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line68
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line69
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line69
+// CHECK: col14
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Reallocation of 1st parameter failed
+// CHECK: message
+// CHECK: Reallocation of 1st parameter failed
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col11
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line75
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line76
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line76
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line76
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'buf'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'buf'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextreallocIntra
+// CHECK: location
+// CHECK:
+// CHECK: line76
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line84
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line84
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col26
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'malloc_wrapper_ret'
+// CHECK: message
+// CHECK: Calling 'malloc_wrapper_ret'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line80
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_ret'
+// CHECK: message
+// CHECK: Entered call from 'use_ret'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line80
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line80
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line81
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line81
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Returned allocated memory
+// CHECK: message
+// CHECK: Returned allocated memory
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line85
+// CHECK: col26
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line86
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line86
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line86
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'v'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'v'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'v'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextuse_ret
+// CHECK: location
+// CHECK:
+// CHECK: line86
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line90
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line90
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line92
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col15
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line92
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line97
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line97
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line97
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'm'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'm'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'm'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextLeakedSymbol
+// CHECK: location
+// CHECK:
+// CHECK: line97
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line105
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line105
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line105
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak1'
+// CHECK: message
+// CHECK: Calling 'function_with_leak1'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line101
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak1'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak1'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line101
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line101
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line102
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line102
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line102
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak1
+// CHECK: location
+// CHECK:
+// CHECK: line102
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line114
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line114
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line114
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak2'
+// CHECK: message
+// CHECK: Calling 'function_with_leak2'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line109
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak2'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak2'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line109
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line109
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line110
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line110
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line111
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line111
+// CHECK: col7
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line111
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak2
+// CHECK: location
+// CHECK:
+// CHECK: line111
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line123
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line123
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line123
+// CHECK: col26
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak3'
+// CHECK: message
+// CHECK: Calling 'function_with_leak3'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line117
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak3'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak3'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line117
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line117
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line118
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line118
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line119
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line120
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line120
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line120
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak3
+// CHECK: location
+// CHECK:
+// CHECK: line120
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line134
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line134
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line134
+// CHECK: col26
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak4'
+// CHECK: message
+// CHECK: Calling 'function_with_leak4'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line126
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak4'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak4'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line126
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line126
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line127
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line127
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line128
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line131
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line131
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line131
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak4
+// CHECK: location
+// CHECK:
+// CHECK: line131
+// CHECK: col9
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line145
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line145
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line145
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak5'
+// CHECK: message
+// CHECK: Calling 'function_with_leak5'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line140
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak5'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak5'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line140
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line140
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line141
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line141
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line142
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line142
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line142
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak5
+// CHECK: location
+// CHECK:
+// CHECK: line142
+// CHECK: col12
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line156
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line156
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line156
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak6'
+// CHECK: message
+// CHECK: Calling 'function_with_leak6'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line151
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak6'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak6'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line151
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line151
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col8
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line152
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col31
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col22
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line152
+// CHECK: col27
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line153
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line153
+// CHECK: col20
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line153
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK: message
+// CHECK: Memory is never released; potential leak of memory pointed to by 'x'
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak of memory pointed to by 'x'
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextfunction_with_leak6
+// CHECK: location
+// CHECK:
+// CHECK: line153
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: path
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line168
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Calling 'function_with_leak7'
+// CHECK: message
+// CHECK: Calling 'function_with_leak7'
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line164
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Entered call from 'use_function_with_leak7'
+// CHECK: message
+// CHECK: Entered call from 'use_function_with_leak7'
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line164
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line164
+// CHECK: col6
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col10
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col24
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line165
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col19
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line165
+// CHECK: col28
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Memory is allocated
+// CHECK: message
+// CHECK: Memory is allocated
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line168
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK: ranges
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col25
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: depth1
+// CHECK: extended_message
+// CHECK: Returned allocated memory
+// CHECK: message
+// CHECK: Returned allocated memory
+// CHECK:
+// CHECK:
+// CHECK: kindcontrol
+// CHECK: edges
+// CHECK:
+// CHECK:
+// CHECK: start
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col5
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line168
+// CHECK: col23
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: end
+// CHECK:
+// CHECK:
+// CHECK: line169
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK: line169
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK: kindevent
+// CHECK: location
+// CHECK:
+// CHECK: line169
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK: depth0
+// CHECK: extended_message
+// CHECK: Memory is never released; potential leak
+// CHECK: message
+// CHECK: Memory is never released; potential leak
+// CHECK:
+// CHECK:
+// CHECK: descriptionMemory is never released; potential leak
+// CHECK: categoryMemory Error
+// CHECK: typeMemory leak
+// CHECK: issue_context_kindfunction
+// CHECK: issue_contextuse_function_with_leak7
+// CHECK: location
+// CHECK:
+// CHECK: line169
+// CHECK: col1
+// CHECK: file0
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
+// CHECK:
diff --git a/clang/test/Analysis/plist-output-alternate.m b/clang/test/Analysis/plist-output-alternate.m
index 83100dc20944..43f8340ab768 100644
--- a/clang/test/Analysis/plist-output-alternate.m
+++ b/clang/test/Analysis/plist-output-alternate.m
@@ -82,7 +82,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line5
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -161,7 +161,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line10
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -240,7 +240,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line16
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -319,7 +319,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -332,7 +332,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -382,7 +382,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -461,7 +461,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -474,7 +474,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -495,7 +495,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -508,7 +508,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line30
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -529,7 +529,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line30
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -608,7 +608,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line36
-// CHECK: col3
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -721,7 +721,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line53
-// CHECK: col3
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -734,7 +734,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line54
-// CHECK: col3
+// CHECK: col13
// CHECK: file0
// CHECK:
// CHECK:
@@ -755,7 +755,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line54
-// CHECK: col3
+// CHECK: col13
// CHECK: file0
// CHECK:
// CHECK:
@@ -768,7 +768,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line54
-// CHECK: col82
+// CHECK: col36
// CHECK: file0
// CHECK:
// CHECK:
@@ -818,7 +818,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line54
-// CHECK: col82
+// CHECK: col36
// CHECK: file0
// CHECK:
// CHECK:
@@ -831,7 +831,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line55
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -852,7 +852,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line55
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -899,7 +899,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line57
-// CHECK: col10
+// CHECK: col14
// CHECK: file0
// CHECK:
// CHECK:
@@ -920,7 +920,7 @@ void rdar8331641(int x) {
// CHECK:
// CHECK:
// CHECK: line57
-// CHECK: col10
+// CHECK: col14
// CHECK: file0
// CHECK:
// CHECK:
diff --git a/clang/test/Analysis/plist-output.m b/clang/test/Analysis/plist-output.m
index 72e8f8d0aa66..3d04cbfe465a 100644
--- a/clang/test/Analysis/plist-output.m
+++ b/clang/test/Analysis/plist-output.m
@@ -105,7 +105,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line5
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -184,7 +184,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line10
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -263,7 +263,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line16
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -342,7 +342,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -355,7 +355,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -405,7 +405,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line23
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -484,7 +484,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -497,7 +497,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -518,7 +518,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line29
-// CHECK: col8
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -531,7 +531,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line31
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -552,7 +552,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line31
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -631,7 +631,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line37
-// CHECK: col3
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -744,7 +744,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line44
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -791,7 +791,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line47
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -812,7 +812,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line47
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -859,7 +859,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line50
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -880,7 +880,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line50
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -959,7 +959,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line56
-// CHECK: col3
+// CHECK: col5
// CHECK: file0
// CHECK:
// CHECK:
@@ -972,7 +972,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line57
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -993,7 +993,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line57
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -1069,7 +1069,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line59
-// CHECK: col3
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -1090,7 +1090,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line59
-// CHECK: col3
+// CHECK: col8
// CHECK: file0
// CHECK:
// CHECK:
@@ -1103,7 +1103,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line59
-// CHECK: col11
+// CHECK: col10
// CHECK: file0
// CHECK:
// CHECK:
@@ -1169,7 +1169,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line76
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -1216,7 +1216,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line76
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -1237,7 +1237,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line76
-// CHECK: col3
+// CHECK: col4
// CHECK: file0
// CHECK:
// CHECK:
@@ -1250,7 +1250,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line77
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -1271,7 +1271,7 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK: line77
-// CHECK: col5
+// CHECK: col7
// CHECK: file0
// CHECK:
// CHECK:
@@ -1336,4 +1336,3 @@ int test_cond_assign() {
// CHECK:
// CHECK:
// CHECK:
-