| Index: tools/valgrind/drmemory_analyze.py
|
| ===================================================================
|
| --- tools/valgrind/drmemory_analyze.py (revision 112663)
|
| +++ tools/valgrind/drmemory_analyze.py (working copy)
|
| @@ -36,7 +36,7 @@
|
| bang_index = supp_lines[l].find("!")
|
| d_exe_index = supp_lines[l].find(".exe!")
|
| if bang_index >= 4 and d_exe_index + 4 == bang_index:
|
| - supp_lines[l] = "*.exe" + supp_lines[l][bang_index:]
|
| + supp_lines[l] = "*" + supp_lines[l][bang_index:]
|
| self._suppression = "\n".join(supp_lines)
|
|
|
| def __str__(self):
|
| @@ -60,7 +60,10 @@
|
| def __hash__(self):
|
| return hash(self._suppression)
|
|
|
| + def __eq__(self, rhs):
|
| + return self._suppression == rhs
|
|
|
| +
|
| class DrMemoryAnalyzer:
|
| ''' Given a set of Dr.Memory output files, parse all the errors out of
|
| them, unique them and output the results.'''
|
| @@ -179,6 +182,7 @@
|
| parser.error("no filename specified")
|
| filenames = args
|
|
|
| + logging.getLogger().setLevel(logging.INFO)
|
| return DrMemoryAnalyzer().Report(filenames, None, False)
|
|
|
|
|
|
|