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

chore(memcheck.supp): hide another false positive at luajit

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-25 10:07:40 -08:00
parent 2c65fdb346
commit 5af648030d
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/memcheck.supp
View file

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