diff options
author | Mike Pall <mike> | 2016-03-28 22:15:13 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2016-03-28 22:15:13 +0200 |
commit | e23fc1088303ef9e534c9170c10afb02a25e9b86 (patch) | |
tree | 0287b8e73e8a3eea710e96da8c588ce55041a3ae | |
parent | 7e05355a08255f508d334eded96095e0bde06e2e (diff) | |
download | luajit2-e23fc1088303ef9e534c9170c10afb02a25e9b86.tar.gz |
Fix display of NULL (light)userdata in -jdump.
Thanks to Peter Cawley.
-rw-r--r-- | src/jit/dump.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jit/dump.lua b/src/jit/dump.lua index 93745947..ec5f8276 100644 --- a/src/jit/dump.lua +++ b/src/jit/dump.lua @@ -324,7 +324,7 @@ local function formatk(tr, idx) s = format("userdata:%p", k) else s = format("[%p]", k) - if s == "[0x00000000]" then s = "NULL" end + if s == "[NULL]" then s = "NULL" end end elseif t == 21 then -- int64_t s = sub(tostring(k), 1, -3) |