michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(memcheck): add another suppression for LuaJIT

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-04 08:32:44 -08:00
parent fd9781d58d
commit d481cb251d
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/memcheck.supp
View file

@ -158,7 +158,7 @@
}
{
# This entry suppresses a known false positive in luajit 2.0
# This entry suppresses a false positive in luajit 2.0
LuaJIT_Bug3
Memcheck:Addr4
obj:*luajit-5.1*
@ -168,6 +168,15 @@
...
}
{
# This entry suppresses a false positive in luajit 2.0
LuaJIT_Bug4
Memcheck:Addr4
obj:*luajit-5.1*
fun:lua_getfield
...
}
{
# This entry Suppresses memory leaks at awk. We use awk at doc/lua/test.sh and doc/lua/test_single.sh
AWK_Bug1
@ -177,4 +186,3 @@
...
fun:(below main)
}