diff options
Diffstat (limited to 'gnu/malloca.valgrind')
-rwxr-xr-x | gnu/malloca.valgrind | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/malloca.valgrind b/gnu/malloca.valgrind new file mode 100755 index 00000000..52f0a50f --- /dev/null +++ b/gnu/malloca.valgrind @@ -0,0 +1,7 @@ +# Suppress a valgrind message about use of uninitialized memory in freea(). +# This use is OK because it provides only a speedup. +{ + freea + Memcheck:Cond + fun:freea +} |