diff --git a/clang/test/Analysis/malloc-plist.c b/clang/test/Analysis/malloc-plist.c index 71c071c384ae1e8607e51864bc0e0b250b422b08..f41c0c3a5b9b920ac6844886a65b090656f66c8b 100644 --- a/clang/test/Analysis/malloc-plist.c +++ b/clang/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: