Tarantool development patches archive
 help / color / mirror / Atom feed
* [Tarantool-patches] [PATCH luajit] Add stricter check for print() vs. tostring() shortcut.
@ 2021-12-27 10:25 Sergey Kaplun via Tarantool-patches
  2022-06-06 15:54 ` sergos via Tarantool-patches
                   ` (2 more replies)
  0 siblings, 3 replies; 5+ messages in thread
From: Sergey Kaplun via Tarantool-patches @ 2021-12-27 10:25 UTC (permalink / raw)
  To: Sergey Ostanevich, Igor Munkin; +Cc: tarantool-patches

From: Mike Pall <mike>

(cherry picked from 46a1b268eb0534182eda0447303c344a071632fe)

`print()` function uses tostring to convert all incoming values to the
strings. So, if element to convert has `__tostring` metamethod it must
be used. In LuaJIT `print()` base library function has a shortcut to
detect fast path for strings and numbers. This shortcut doesn't check
metatable presence for numbers, so `__tostring` metamethod is ignored.

This patch adds the corresponding check for metatable on base number
type, when the aforementioned shortcut is set.

Sergey Kaplun:
* added the description and the test for the problem

Part of tarantool/tarantool#6548
---

Issue: https://github.com/tarantool/tarantool/issues/6548
Related issue: https://github.com/tarantool/tarantool/issues/6746

Branch: https://github.com/tarantool/luajit/tree/skaplun/gh-noticket-print-tostring-number-mt-full-ci
Tarantool branch: https://github.com/tarantool/tarantool/tree/skaplun/gh-noticket-print-tostring-number-mt-full-ci

CI is red due to integration tests failes (same as on master) or due to
connection errors.

 src/lib_base.c                                |  3 +-
 .../print-tostring-number.test.lua            | 45 +++++++++++++++++++
 2 files changed, 47 insertions(+), 1 deletion(-)
 create mode 100644 test/tarantool-tests/print-tostring-number.test.lua

diff --git a/src/lib_base.c b/src/lib_base.c
index 3a757870..d58de10b 100644
--- a/src/lib_base.c
+++ b/src/lib_base.c
@@ -493,7 +493,8 @@ LJLIB_CF(print)
     lua_gettable(L, LUA_GLOBALSINDEX);
     tv = L->top-1;
   }
-  shortcut = (tvisfunc(tv) && funcV(tv)->c.ffid == FF_tostring);
+  shortcut = (tvisfunc(tv) && funcV(tv)->c.ffid == FF_tostring)
+              && !gcrefu(basemt_it(G(L), LJ_TNUMX));
   for (i = 0; i < nargs; i++) {
     cTValue *o = &L->base[i];
     const char *str;
diff --git a/test/tarantool-tests/print-tostring-number.test.lua b/test/tarantool-tests/print-tostring-number.test.lua
new file mode 100644
index 00000000..862bd0f9
--- /dev/null
+++ b/test/tarantool-tests/print-tostring-number.test.lua
@@ -0,0 +1,45 @@
+local tap = require('tap')
+
+local test = tap.test('print-tostring-number')
+
+-- First field is type, second -- content of cmd.
+local test_data = {
+  {'nil', 'nil'},
+  {'boolean', 'true'},
+  {'userdata', 'newproxy()'},
+  {'number', '42'},
+  -- FIXME: This test case is disabled, because __tostring
+  -- metamethod isn't checked for string base metatable.
+  -- See also https://github.com/tarantool/tarantool/issues/6746.
+  -- {'string', '"teststr"'},
+  {'table', '{}'},
+  {'function', 'function() end'},
+  {'thread', 'coroutine.create(function() end)'},
+}
+
+local NTEST = #test_data
+test:plan(NTEST)
+
+local i = 0
+while arg[i] do i = i - 1 end
+local luabin = arg[i + 1]
+
+for j = 1, NTEST do
+  local prefix = '__tostring reloaded for '
+  local datatype = test_data[j][1]
+  local expected = prefix .. datatype
+
+  local cmd = luabin .. ([[ -e '
+    local testvar = %s
+    debug.setmetatable(testvar, {__tostring = function(a)
+      return "%s" .. type(a)
+    end})
+    print(testvar)
+  ']]):format(test_data[j][2], prefix)
+
+  local proc = io.popen(cmd)
+  local res = proc:read('*all'):gsub('%s+$', '')
+  test:ok(res == expected, expected)
+end
+
+os.exit(test:check() and 0 or 1)
-- 
2.34.1


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2022-06-30 12:16 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-27 10:25 [Tarantool-patches] [PATCH luajit] Add stricter check for print() vs. tostring() shortcut Sergey Kaplun via Tarantool-patches
2022-06-06 15:54 ` sergos via Tarantool-patches
2022-06-15  7:00   ` Sergey Kaplun via Tarantool-patches
2022-06-23 16:19 ` Igor Munkin via Tarantool-patches
2022-06-30 12:09 ` Igor Munkin via Tarantool-patches

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox