diff options
Diffstat (limited to 'tools/valgrind/valgrind_analyze.py')
| -rwxr-xr-x | tools/valgrind/valgrind_analyze.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/valgrind/valgrind_analyze.py b/tools/valgrind/valgrind_analyze.py index 601888a..1c55181 100755 --- a/tools/valgrind/valgrind_analyze.py +++ b/tools/valgrind/valgrind_analyze.py @@ -140,7 +140,12 @@ class ValgrindAnalyze: for file in files: raw_errors = parse(file).getElementsByTagName("error") for raw_error in raw_errors: - self._errors.add(ValgrindError(source_dir, raw_error)) + # Ignore reachable aka "possible" leaks for now. + # Annoyingly, Valgrind's --xml=yes option seems to + # force --leak-check=full --show-reachable=yes + kind = getTextOf(raw_error, "kind") + if (kind != "Leak_PossiblyLost") + self._errors.add(ValgrindError(source_dir, raw_error)) def Report(self): if self._errors: |