diff options
| author | Mike Pall <mike> | 2012-04-26 23:47:00 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2012-04-26 23:47:00 +0200 |
| commit | e099059afdcb2872c20fff12d6cd8e48853002d8 (patch) | |
| tree | a54499defda682c2f5b623b569849849466cff26 | |
| parent | d4a09431c835a7a87dac5437d6ccc36516ce0645 (diff) | |
| download | luajit2-e099059afdcb2872c20fff12d6cd8e48853002d8.tar.gz | |
Add more comparison variants to Valgrind suppressions file.
| -rw-r--r-- | src/Makefile | 1 | ||||
| -rw-r--r-- | src/lj.supp | 12 |
2 files changed, 12 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 28075d36..65ab754f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -142,6 +142,7 @@ XCFLAGS= # # This define is required to run LuaJIT under Valgrind. The Valgrind # header files must be installed. You should enable debug information, too. +# Use --suppressions=lj.supp to avoid some false positives. #XCFLAGS+= -DLUAJIT_USE_VALGRIND # # This is the client for the GDB JIT API. GDB 7.0 or higher is required diff --git a/src/lj.supp b/src/lj.supp index f1126ad7..411f2617 100644 --- a/src/lj.supp +++ b/src/lj.supp @@ -1,4 +1,4 @@ -# Valgrind suppression file for LuaJIT 2.x. +# Valgrind suppression file for LuaJIT 2.0. { Optimized string compare Memcheck:Addr4 @@ -6,11 +6,21 @@ } { Optimized string compare + Memcheck:Addr1 + fun:lj_str_cmp +} +{ + Optimized string compare Memcheck:Addr4 fun:lj_str_new } { Optimized string compare + Memcheck:Addr1 + fun:lj_str_new +} +{ + Optimized string compare Memcheck:Cond fun:lj_str_new } |