errors.lua

print("testing errors")

function doit (s)
  local f, msg = loadstring(s)
  if f == nil then return msg end
  local cond, msg = pcall(f)
  return (not cond) and msg
end

function checkmessage (prog, msg)
  local s = doit(prog)
  print(s, msg)
  assert(string.find(s, msg, 1, true))
end

function checksyntax (prog, extra, token, line)
  local msg = doit(prog)
  token = string.gsub(token, "(%p)", "%%%1")
  local pt = string.format([[^%%[string ".*"%%]:%d: .- near '%s'$]],
                           line, token)
  assert(string.find(msg, pt))
  assert(string.find(msg, msg, 1, true))
end

-- test error message with no extra info
assert(doit("error('hi', 0)") == 'hi')

-- test error message with no info
assert(doit("error()") == nil)

-- test common errors/errors that crashed in the past
assert(doit("unpack({}, 1, n=2^30)"))
assert(doit("a=math.sin()"))
assert(not doit("tostring(1)") and doit("tostring()"))
assert(doit"tonumber()")
assert(doit"repeat until 1; a")
-- checksyntax("break label", "", "label", 1)
assert(doit";")
assert(doit"a=1;;")
assert(doit"return;;")
assert(doit"assert(false)")
assert(doit"assert(nil)")
assert(doit"a=math.sin\n(3)")
assert(doit("function a (... , ...) end"))
assert(doit("function a (, ...) end"))

-- checksyntax([[
--   local a = {4
--
-- ]], "'}' expected (to close '{' at line 1)", "<eof>", 3)

-- tests for better error messages
--
-- checkmessage("a=1; bbbb=2; a=math.sin(3)+bbbb(3)", "global 'bbbb'")
-- checkmessage("a=1; local a,bbbb=2,3; a = math.sin(1) and bbbb(3)",
--        "local 'bbbb'")
-- checkmessage("a={}; do local a=1 end a:bbbb(3)", "method 'bbbb'")
-- checkmessage("local a={}; a.bbbb(3)", "field 'bbbb'")
-- assert(not string.find(doit"a={13}; local bbbb=1; a[bbbb](3)", "'bbbb'"))
-- checkmessage("a={13}; local bbbb=1; a[bbbb](3)", "number")
--
-- aaa = nil
-- checkmessage("aaa.bbb:ddd(9)", "global 'aaa'")
-- checkmessage("local aaa={bbb=1}; aaa.bbb:ddd(9)", "field 'bbb'")
-- checkmessage("local aaa={bbb={}}; aaa.bbb:ddd(9)", "method 'ddd'")
-- checkmessage("local a,b,c; (function () a = b+1 end)()", "upvalue 'b'")
-- assert(not doit"local aaa={bbb={ddd=next}}; aaa.bbb:ddd(nil)")
--
-- checkmessage("b=1; local aaa='a'; x=aaa+b", "local 'aaa'")
-- checkmessage("aaa={}; x=3/aaa", "global 'aaa'")
-- checkmessage("aaa='2'; b=nil;x=aaa*b", "global 'b'")
-- checkmessage("aaa={}; x=-aaa", "global 'aaa'")
-- assert(not string.find(doit"aaa={}; x=(aaa or aaa)+(aaa and aaa)", "'aaa'"))
-- assert(not string.find(doit"aaa={}; (aaa or aaa)()", "'aaa'"))
--
-- checkmessage([[aaa=9
-- repeat until 3==3
-- local x=math.sin(math.cos(3))
-- if math.sin(1) == x then return math.sin(1) end   -- tail call
-- local a,b = 1, {
--   {x='a'..'b'..'c', y='b', z=x},
--   {1,2,3,4,5} or 3+3<=3+3,
--   3+1>3+1,
--   {d = x and aaa[x or y]}}
-- ]], "global 'aaa'")
--
-- checkmessage([[
-- local x,y = {},1
-- if math.sin(1) == 0 then return 3 end    -- return
-- x.a()]], "field 'a'")
--
-- checkmessage([[
-- prefix = nil
-- insert = nil
-- while 1 do
--   local a
--   if nil then break end
--   insert(prefix, a)
-- end]], "global 'insert'")
--
-- checkmessage([[  -- tail call
--   return math.sin("a")
-- ]], "'sin'")
--
-- checkmessage([[collectgarbage("nooption")]], "invalid option")
--
-- checkmessage([[x = print .. "a"]], "concatenate")
--
-- checkmessage("getmetatable(io.stdin).__gc()", "no value")
--
-- print'+'

-- -- testing line error
--
-- function lineerror (s)
--   local err,msg = pcall(loadstring(s))
--   local line = string.match(msg, ":(%d+):")
--   return line and line+0
-- end
--
-- assert(lineerror"local a\n for i=1,'a' do \n print(i) \n end" == 2)
-- assert(lineerror"\n local a \n for k,v in 3 \n do \n print(k) \n end" == 3)
-- assert(lineerror"\n\n for k,v in \n 3 \n do \n print(k) \n end" == 4)
-- assert(lineerror"function a.x.y ()\na=a+1\nend" == 1)
--
-- local p = [[
-- function g() f() end
-- function f(x) error('a', X) end
-- g()
-- ]]
-- X=3;assert(lineerror(p) == 3)
-- X=0;assert(lineerror(p) == nil)
-- X=1;assert(lineerror(p) == 2)
-- X=2;assert(lineerror(p) == 1)
--
-- lineerror = nil
--
-- C = 0
-- local l = debug.getinfo(1, "l").currentline; function y () C=C+1; y() end
--
-- local function checkstackmessage (m)
--   return (string.find(m, "^.-:%d+: stack overflow"))
-- end
-- assert(checkstackmessage(doit('y()')))
-- assert(checkstackmessage(doit('y()')))
-- assert(checkstackmessage(doit('y()')))
-- -- teste de linhas em erro
-- C = 0
-- local l1
-- local function g()
--   l1 = debug.getinfo(1, "l").currentline; y()
-- end
-- local _, stackmsg = xpcall(g, debug.traceback)
-- local stack = {}
-- for line in string.gmatch(stackmsg, "[^\n]*") do
--   local curr = string.match(line, ":(%d+):")
--   if curr then table.insert(stack, tonumber(curr)) end
-- end
-- local i=1
-- while stack[i] ~= l1 do
--   assert(stack[i] == l)
--   i = i+1
-- end
-- assert(i > 15)
--
--
-- error in error handling
local res, msg = xpcall(error, error)
assert(not res and type(msg) == 'string')

local function f (x)
  if x==0 then error('a\n')
  else
    local aux = function () return f(x-1) end
    local a,b = xpcall(aux, aux)
    return a,b
  end
end
f(3)

-- non string messages
function f() error{msg='x'} end
res, msg = xpcall(f, function (r) return {msg=r.msg..'y'} end)
assert(msg.msg == 'xy')

print('+')
-- checksyntax("syntax error", "", "error", 1)
-- checksyntax("1.000", "", "1.000", 1)
-- checksyntax("[[a]]", "", "[[a]]", 1)
-- checksyntax("'aa'", "", "'aa'", 1)
--
-- -- test 255 as first char in a chunk
-- checksyntax("\255a = 1", "", "\255", 1)
--
doit('I = loadstring("a=9+"); a=3')
assert(a==3 and I == nil)
print('+')

-- lim = 1000
-- if rawget(_G, "_soft") then lim = 100 end
-- for i=1,lim do
--   doit('a = ')
--   doit('a = 4+nil')
-- end
--
--
-- -- testing syntax limits
-- local function testrep (init, rep)
--   local s = "local a; "..init .. string.rep(rep, 400)
--   local a,b = loadstring(s)
--   assert(not a and string.find(b, "syntax levels"))
-- end
-- testrep("a=", "{")
-- testrep("a=", "(")
-- testrep("", "a(")
-- testrep("", "do ")
-- testrep("", "while a do ")
-- testrep("", "if a then else ")
-- testrep("", "function foo () ")
-- testrep("a=", "a..")
-- testrep("a=", "a^")
--
--
-- testing other limits
-- upvalues
local  s = "function foo ()\n  local "
for j = 1,70 do
  s = s.."a"..j..", "
end
s = s.."b\n"
for j = 1,70 do
  s = s.."function foo"..j.." ()\n a"..j.."=3\n"
end
local a,b = loadstring(s)
assert(not a)
-- assert(string.find(b, "line 3"))

-- local variables
s = "\nfunction foo ()\n  local "
for j = 1,300 do
  s = s.."a"..j..", "
end
s = s.."b\n"
local a,b = loadstring(s)
assert(not a)
-- assert(string.find(b, "line 2"))

print('OK')