| Index: tools/valgrind/memcheck_analyze.py
|
| diff --git a/tools/valgrind/memcheck_analyze.py b/tools/valgrind/memcheck_analyze.py
|
| index ceeedef09288479ff76d6a0e00e68c17e5b813fd..a5c78c144dec1f88901050aac9281bcaebab3227 100755
|
| --- a/tools/valgrind/memcheck_analyze.py
|
| +++ b/tools/valgrind/memcheck_analyze.py
|
| @@ -231,6 +231,9 @@ class ValgrindError:
|
| ''' Pretty print the type and backtrace(s) of this specific error,
|
| including suppression (which is just a mangled backtrace).'''
|
| output = ""
|
| + output += "\n" # Make sure the ### is at the beginning of line.
|
| + output += "### BEGIN MEMORY TOOL REPORT (error hash=#%016X#)\n" % \
|
| + self.ErrorHash()
|
| if (self._commandline):
|
| output += self._commandline + "\n"
|
|
|
| @@ -327,6 +330,8 @@ class ValgrindError:
|
| supplines[frame] = "*".join(m.groups())
|
|
|
| output += "\n".join(supplines) + "\n"
|
| + output += "### END MEMORY TOOL REPORT (error hash=#%016X#)\n" % \
|
| + self.ErrorHash()
|
|
|
| return output
|
|
|
|
|