| Index: tools/valgrind/drmemory_analyze.py
|
| ===================================================================
|
| --- tools/valgrind/drmemory_analyze.py (revision 108466)
|
| +++ tools/valgrind/drmemory_analyze.py (working copy)
|
| @@ -78,7 +78,8 @@
|
| self.ReadLine()
|
| while self.line_.strip() != "":
|
| line = self.line_.strip()
|
| - (count, name) = re.match(" *([0-9]+)x: (.*)", line).groups()
|
| + (count, name) = re.match(" *([0-9]+)x(?: \(leaked .*\))?: (.*)",
|
| + line).groups()
|
| self.used_suppressions.append("%7s %s" % (count, name))
|
| self.ReadLine()
|
| break
|
|
|