lean2/src/memcheck.supp

20 lines
527 B
Text
Raw Normal View History

# Suppress warnings produced by Valgrind.
{
# This warning is due to a memory-leak bug in the g++ compiler.
# Soonho reported the problem. Gcc team said this a known problem, and will be fixed
# http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58142
Suppress_GCC-4.8_Memory_Leak_Bug_in_Thread
Memcheck:Leak
fun:*nothrow_t
fun:*_thread_atexit
fun:*
fun:*
fun:*_Bind_simple*_invokeIIEEE*_Index_tuple*
fun:*_Bind_simple*
fun:*_Bind_simple*
obj:*/libstdc++.so*
fun:start_thread
fun:clone
}