diff options
Diffstat (limited to 'crawl-ref/source/misc/valgrind-suppress.txt')
-rw-r--r-- | crawl-ref/source/misc/valgrind-suppress.txt | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/crawl-ref/source/misc/valgrind-suppress.txt b/crawl-ref/source/misc/valgrind-suppress.txt index 5a4e483fb1..d603372464 100644 --- a/crawl-ref/source/misc/valgrind-suppress.txt +++ b/crawl-ref/source/misc/valgrind-suppress.txt @@ -17,11 +17,23 @@ obj:*libstdc++* obj:*libstdc++* obj:*libstdc++* - obj:*libstdc++* fun:*get_savedir_filename* fun:*save_game* } +# Not sure what causes escape_path_spaces() in save_game() to leak, but +# since we're going to be exiting right away it doesn't really matter. +{ + save_game_escape_path_leak + Memcheck:Leak + obj:* + obj:*libstdc++* + obj:*libstdc++* + obj:*libstdc++* + fun:*escape_path_spaces* + fun:*save_game* +} + # The error variable in end() is stuff.cc never gets freed since # exit() is called before end() returns. See above suppression for more # notes |