|
@@ -22,9 +22,12 @@ def parse_memory_trace(input_file, output_file):
|
|
|
output_file.write(new_line)
|
|
|
free_match = free_pattern.match(line)
|
|
|
if free_match:
|
|
|
- new_line = ''.join([' free(var_', active_memory_requests[free_match.group(1)], ');\n'])
|
|
|
- del active_memory_requests[free_match.group(1)]
|
|
|
- output_file.write(new_line)
|
|
|
+ if free_match.group(1) in active_memory_requests:
|
|
|
+ new_line = ''.join([' free(var_', active_memory_requests[free_match.group(1)], ');\n'])
|
|
|
+ del active_memory_requests[free_match.group(1)]
|
|
|
+ output_file.write(new_line)
|
|
|
+ else:
|
|
|
+ print "Warning: free call without an actual malloc"
|
|
|
|
|
|
input_file.close()
|
|
|
|