From: Ted Kremenek Date: Thu, 15 Mar 2012 22:00:28 +0000 (+0000) Subject: Include full plist output in FileCheck test. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=11e35b62c1966f0796fd12ed37a4ec2279aea505;p=clang Include full plist output in FileCheck test. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152858 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/malloc-plist.c b/test/Analysis/malloc-plist.c index 71c071c384..f41c0c3a5b 100644 --- a/test/Analysis/malloc-plist.c +++ b/test/Analysis/malloc-plist.c @@ -62,1622 +62,1628 @@ void *test_double_action_call() { return buf; } -// CHECK: diagnostics -// CHECK: -// CHECK: -// CHECK: path -// 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: 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: 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: line11 +// CHECK: col18 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // 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: line11 +// CHECK: col18 +// CHECK: file0 // 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: line11 +// CHECK: col27 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line11 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line11 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line11 -// CHECK: col27 -// CHECK: file0 -// CHECK: -// 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: depth0 -// CHECK: extended_message -// CHECK: Memory is allocated -// CHECK: message -// CHECK: Memory is allocated -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line14 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // 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: line14 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line14 +// CHECK: col6 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line14 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Memory is never released; potential memory leak +// CHECK: message +// CHECK: Memory is never released; potential memory leak +// CHECK: +// CHECK: +// CHECK: descriptionMemory is never released; potential memory leak +// CHECK: categoryMemory Error +// CHECK: typeMemory leak +// CHECK: location +// CHECK: +// CHECK: line14 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line14 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line14 -// CHECK: col6 -// CHECK: file0 -// CHECK: -// 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: depth0 -// CHECK: extended_message -// CHECK: Memory is never released; potential memory leak -// CHECK: message -// CHECK: Memory is never released; potential memory leak -// CHECK: -// CHECK: -// CHECK: descriptionMemory is never released; potential memory leak -// CHECK: categoryMemory Error -// CHECK: typeMemory leak -// CHECK: location -// CHECK: -// CHECK: line14 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// CHECK: path -// 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: kindcontrol -// CHECK: edges +// CHECK: line19 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // 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: line19 +// CHECK: col9 +// CHECK: file0 // 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: line19 +// CHECK: col30 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line19 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line19 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line19 -// CHECK: col30 -// CHECK: file0 -// CHECK: -// 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: depth0 -// CHECK: extended_message -// CHECK: Memory is allocated -// CHECK: message -// CHECK: Memory is allocated -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // 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: line21 +// CHECK: col1 +// CHECK: file0 // CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Memory is never released; potential memory leak +// CHECK: message +// CHECK: Memory is never released; potential memory leak +// CHECK: +// CHECK: +// CHECK: descriptionMemory is never released; potential memory leak +// CHECK: categoryMemory Error +// CHECK: typeMemory leak +// 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: kindevent -// CHECK: location -// CHECK: -// CHECK: line21 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: depth0 -// CHECK: extended_message -// CHECK: Memory is never released; potential memory leak -// CHECK: message -// CHECK: Memory is never released; potential memory leak +// CHECK: line24 +// CHECK: col18 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: descriptionMemory is never released; potential memory leak -// CHECK: categoryMemory Error -// CHECK: typeMemory leak -// CHECK: location -// CHECK: -// CHECK: line21 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// CHECK: path -// CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // 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: line24 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line24 +// CHECK: col28 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line24 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line24 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line24 -// CHECK: col28 -// CHECK: file0 -// CHECK: -// 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: depth0 -// CHECK: extended_message -// CHECK: Memory is allocated -// CHECK: message -// CHECK: Memory is allocated -// 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: kindcontrol -// CHECK: edges +// CHECK: line26 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // 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: line26 +// CHECK: col18 +// CHECK: file0 // 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: line26 +// CHECK: col40 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line26 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line26 -// CHECK: col18 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line26 -// CHECK: col40 -// CHECK: file0 -// CHECK: -// 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: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col6 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth0 -// CHECK: extended_message -// CHECK: Attempt to reallocate memory -// CHECK: message -// CHECK: Attempt to reallocate memory -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // 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: line29 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col6 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col6 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line29 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Reallocation failed +// CHECK: message +// CHECK: Reallocation failed +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col6 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col6 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth0 -// CHECK: extended_message -// CHECK: Reallocation failed -// CHECK: message -// CHECK: Reallocation failed -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line29 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line30 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line30 +// CHECK: col14 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line30 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col6 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col12 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line30 +// CHECK: col9 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges -// CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line29 -// CHECK: col12 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line30 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line30 -// CHECK: col14 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line30 +// CHECK: col14 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line30 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Memory is never released; potential memory leak +// CHECK: message +// CHECK: Memory is never released; potential memory leak +// CHECK: +// CHECK: +// CHECK: descriptionMemory is never released; potential memory leak +// CHECK: categoryMemory Error +// CHECK: typeMemory leak +// CHECK: location +// CHECK: +// CHECK: line30 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line30 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line30 -// CHECK: col14 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth0 -// CHECK: extended_message -// CHECK: Memory is never released; potential memory leak -// CHECK: message -// CHECK: Memory is never released; potential memory leak -// CHECK: -// CHECK: -// CHECK: descriptionMemory is never released; potential memory leak -// CHECK: categoryMemory Error -// CHECK: typeMemory leak -// CHECK: location -// CHECK: -// CHECK: line30 -// CHECK: col9 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// CHECK: path -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col23 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Calling 'wrapper' +// CHECK: message +// CHECK: Calling 'wrapper' +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: line36 +// 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: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line36 +// CHECK: col1 +// 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: depth0 -// CHECK: extended_message -// CHECK: Calling 'wrapper' -// CHECK: message -// CHECK: Calling 'wrapper' -// 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: col13 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line37 +// CHECK: col23 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line36 -// 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: line37 +// CHECK: col13 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line36 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line36 -// CHECK: col1 -// 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: line37 +// CHECK: col13 +// CHECK: file0 // 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: col13 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line37 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line37 +// CHECK: col23 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line37 -// CHECK: col13 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line37 -// CHECK: col13 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line37 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line37 +// CHECK: col13 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line37 +// CHECK: col23 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth1 -// CHECK: extended_message -// CHECK: Memory is allocated -// CHECK: message -// CHECK: Memory is allocated -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line37 -// CHECK: col13 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line37 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges -// CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col3 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line39 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line40 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// 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: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line39 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line40 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line40 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col23 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'wrapper', which allocated memory +// CHECK: message +// CHECK: Returning from 'wrapper', which allocated memory +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col15 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line45 +// CHECK: col23 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line47 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth1 -// CHECK: extended_message -// CHECK: Returning from 'wrapper', which allocated memory -// CHECK: message -// CHECK: Returning from 'wrapper', which allocated memory +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line47 +// CHECK: col1 +// CHECK: file0 // CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Memory is never released; potential memory leak +// CHECK: message +// CHECK: Memory is never released; potential memory leak +// CHECK: +// CHECK: +// CHECK: descriptionMemory is never released; potential memory leak +// CHECK: categoryMemory Error +// CHECK: typeMemory leak +// CHECK: location +// CHECK: +// CHECK: line47 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line60 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col15 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line45 -// CHECK: col23 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line47 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line47 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col28 +// CHECK: file0 // CHECK: // 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: kindevent -// CHECK: location -// CHECK: -// CHECK: line47 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: depth0 -// CHECK: extended_message -// CHECK: Memory is never released; potential memory leak -// CHECK: message -// CHECK: Memory is never released; potential memory leak +// CHECK: line53 +// CHECK: col1 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: descriptionMemory is never released; potential memory leak -// CHECK: categoryMemory Error -// CHECK: typeMemory leak -// CHECK: location -// CHECK: -// CHECK: line47 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// CHECK: path -// 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: line53 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line53 +// CHECK: col1 +// 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: line54 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line54 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line54 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line60 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line60 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line54 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line54 +// CHECK: col20 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// 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: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col28 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line54 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line54 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// 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: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line55 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line53 -// 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: line56 +// CHECK: col7 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line53 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line53 -// CHECK: col1 -// 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: line56 +// CHECK: col7 +// CHECK: file0 // 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: line54 -// CHECK: col10 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line54 -// CHECK: col20 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line56 +// CHECK: col17 +// CHECK: file0 // CHECK: // 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: kindevent -// CHECK: location -// CHECK: -// CHECK: line54 -// CHECK: col10 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: line50 +// 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: -// CHECK: line54 -// CHECK: col10 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line54 -// CHECK: col20 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line50 +// CHECK: col1 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line51 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth1 -// CHECK: extended_message -// CHECK: Memory is allocated -// CHECK: message -// CHECK: Memory is allocated -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line51 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line54 -// CHECK: col10 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line54 -// CHECK: col20 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line55 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line55 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line51 +// CHECK: col5 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges -// CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line55 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line55 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line51 +// CHECK: col11 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: ranges -// CHECK: -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line56 -// 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: depth2 +// CHECK: extended_message +// CHECK: Memory is released +// CHECK: message +// CHECK: Memory is released +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line50 -// 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: line56 +// CHECK: col7 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line50 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line50 -// CHECK: col1 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line51 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line51 -// CHECK: col11 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line56 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col17 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line51 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth2 +// CHECK: extended_message +// CHECK: Returning from 'my_free', which released memory +// CHECK: message +// CHECK: Returning from 'my_free', which released memory +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line51 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line51 -// CHECK: col11 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col7 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line56 +// CHECK: col17 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line57 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth2 -// CHECK: extended_message -// CHECK: Memory is released -// CHECK: message -// CHECK: Memory is released -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: ranges -// CHECK: -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col17 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// CHECK: depth2 -// CHECK: extended_message -// CHECK: Returning from 'my_free', which released memory -// CHECK: message -// CHECK: Returning from 'my_free', which released memory +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 // CHECK: -// CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col7 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line56 -// CHECK: col17 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line57 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line57 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col28 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges +// CHECK: +// CHECK: depth1 +// CHECK: extended_message +// CHECK: Returning from 'my_malloc_and_free', which released memory +// CHECK: message +// CHECK: Returning from 'my_malloc_and_free', which released memory +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges // CHECK: -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col28 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line61 +// CHECK: col28 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line62 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line62 +// CHECK: col14 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: // CHECK: -// CHECK: depth1 -// CHECK: extended_message -// CHECK: Returning from 'my_malloc_and_free', which released memory -// CHECK: message -// CHECK: Returning from 'my_malloc_and_free', which released memory -// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location // CHECK: -// CHECK: kindcontrol -// CHECK: edges +// CHECK: line62 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: // CHECK: // CHECK: -// CHECK: start -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line61 -// CHECK: col28 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: end -// CHECK: -// CHECK: -// CHECK: line62 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line62 -// CHECK: col14 -// CHECK: file0 -// CHECK: -// CHECK: +// CHECK: line62 +// CHECK: col12 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line62 +// CHECK: col14 +// CHECK: file0 // CHECK: // CHECK: -// CHECK: -// CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line62 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: ranges -// CHECK: -// CHECK: -// CHECK: -// CHECK: line62 -// CHECK: col12 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: line62 -// 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: location -// CHECK: -// CHECK: line62 -// CHECK: col5 -// CHECK: file0 -// CHECK: -// CHECK: -// CHECK: -// 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: location +// CHECK: +// CHECK: line62 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: