13159888061

Committed 05 Feb 2025 02:05PM UTC coverage: 92.947% (-0.08%) from 93.027%

Build # 13159888061

Build Type

push

github

Committed by

Buristan

Commit Message

Reject negative getfenv()/setfenv() levels to prevent compiler warning.

Thanks to Sergey Kaplun.

(cherry picked from commit 9d777346b)

When the number represented the level value is given to the
`getfenv()`/`setfenv()`, it is cast to the `int`. Assume the given value
is `2^31`, i.e. the resulting value after the cast is `INT_MIN`. After
this, it will be decremented in `lj_debug_level()` and underflowed to
the `INT_MAX`. That produces the UBSan warning about signed integer
overflow.

This patch raises the error early in the aforementioned functions, since
a negative level value is meaningless.

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

Part of tarantool/tarantool#11055

Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>
(cherry picked from commit 45d7f251a)

Run Details

5696 of 6035 branches covered (94.38%)

Branch coverage included in aggregate %.

4 of 4 new or added lines in 1 file covered. (100.0%)

28 existing lines in 8 files now uncovered.

21702 of 23442 relevant lines covered (92.58%)

2962953.51 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

92.0

/src/luajit.c

/*
** LuaJIT frontend. Runs commands, scripts, read-eval-print (REPL) etc.
** Copyright (C) 2005-2017 Mike Pall. See Copyright Notice in luajit.h
**
** Major portions taken verbatim or adapted from the Lua interpreter.
** Copyright (C) 1994-2008 Lua.org, PUC-Rio. See Copyright Notice in lua.h
*/

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define luajit_c

#include "lua.h"
#include "lauxlib.h"
#include "lualib.h"
#include "luajit.h"

#include "lj_arch.h"

#if LJ_TARGET_POSIX
#include <unistd.h>
#define lua_stdin_is_tty()        isatty(0)
#elif LJ_TARGET_WINDOWS
#include <io.h>
#ifdef __BORLANDC__
#define lua_stdin_is_tty()        isatty(_fileno(stdin))
#else
#define lua_stdin_is_tty()        _isatty(_fileno(stdin))
#endif
#else
#define lua_stdin_is_tty()        1
#endif

#if !LJ_TARGET_CONSOLE
#include <signal.h>
#endif

static lua_State *globalL = NULL;
static const char *progname = LUA_PROGNAME;
static char *empty_argv[2] = { NULL, NULL };

#if !LJ_TARGET_CONSOLE
static void lstop(lua_State *L, lua_Debug *ar)
{
  (void)ar;  /* unused arg. */
  lua_sethook(L, NULL, 0, 0);
  /* Avoid luaL_error -- a C hook doesn't add an extra frame. */
  luaL_where(L, 0);
  lua_pushfstring(L, "%sinterrupted!", lua_tostring(L, -1));
  lua_error(L);
}

static void laction(int i)
{
  signal(i, SIG_DFL); /* if another SIGINT happens before lstop,
                         terminate process (default action) */
  lua_sethook(globalL, lstop, LUA_MASKCALL | LUA_MASKRET | LUA_MASKCOUNT, 1);
}
#endif

static void print_usage(void)
{
  fputs("usage: ", stderr);
  fputs(progname, stderr);
  fputs(" [options]... [script [args]...].\n"
  "Available options are:\n"
  "  -e chunk  Execute string " LUA_QL("chunk") ".\n"
  "  -l name   Require library " LUA_QL("name") ".\n"
  "  -b ...    Save or list bytecode.\n"
  "  -j cmd    Perform LuaJIT control command.\n"
  "  -O[opt]   Control LuaJIT optimizations.\n"
  "  -i        Enter interactive mode after executing " LUA_QL("script") ".\n"
  "  -v        Show version information.\n"
  "  -t<cmd>   Execute tool.\n"
  "  -E        Ignore environment variables.\n"
  "  --        Stop handling options.\n"
  "  -         Execute stdin and stop handling options.\n", stderr);
  fflush(stderr);
}

static void print_tools_usage(void)
{
  fputs("usage: ", stderr);
  fputs(progname, stderr);
  fputs(" -t<cmd>\n"
  "Available tools are:\n"
  "  -m [--leak-only] input  Memprof profile data parser.\n"
  "  -s input                Sysprof profile data parser.\n", stderr);
  fflush(stderr);
}

static void l_message(const char *msg)
{
  if (progname) { fputs(progname, stderr); fputc(':', stderr); fputc(' ', stderr); }
  fputs(msg, stderr); fputc('\n', stderr);
  fflush(stderr);
}

static int report(lua_State *L, int status)
{
  if (status && !lua_isnil(L, -1)) {
    const char *msg = lua_tostring(L, -1);
    if (msg == NULL) msg = "(error object is not a string)";
    l_message(msg);
    lua_pop(L, 1);
  }
  return status;
}

static int traceback(lua_State *L)
{
  if (!lua_isstring(L, 1)) { /* Non-string error object? Try metamethod. */
    if (lua_isnoneornil(L, 1) ||
        !luaL_callmeta(L, 1, "__tostring") ||
        !lua_isstring(L, -1))
      return 1;  /* Return non-string error object. */
    lua_remove(L, 1);  /* Replace object by result of __tostring metamethod. */
  }
  luaL_traceback(L, L, lua_tostring(L, 1), 1);
  return 1;
}

static int docall(lua_State *L, int narg, int clear)
{
  int status;
  int base = lua_gettop(L) - narg;  /* function index */
  lua_pushcfunction(L, traceback);  /* push traceback function */
  lua_insert(L, base);  /* put it under chunk and args */
#if !LJ_TARGET_CONSOLE
  signal(SIGINT, laction);
#endif
  status = lua_pcall(L, narg, (clear ? 0 : LUA_MULTRET), base);
#if !LJ_TARGET_CONSOLE
  signal(SIGINT, SIG_DFL);
#endif
  lua_remove(L, base);  /* remove traceback function */
  /* force a complete garbage collection in case of errors */
  if (status != LUA_OK) lua_gc(L, LUA_GCCOLLECT, 0);
  return status;
}

static void print_version(void)
{
  fputs(LUAJIT_VERSION " -- " LUAJIT_COPYRIGHT ". " LUAJIT_URL "\n", stdout);
}

static void print_jit_status(lua_State *L)
{
  int n;
  const char *s;
  lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
  lua_getfield(L, -1, "jit");  /* Get jit.* module table. */
  lua_remove(L, -2);
  lua_getfield(L, -1, "status");
  lua_remove(L, -2);
  n = lua_gettop(L);
  lua_call(L, 0, LUA_MULTRET);
  fputs(lua_toboolean(L, n) ? "JIT: ON" : "JIT: OFF", stdout);
  for (n++; (s = lua_tostring(L, n)); n++) {
    putc(' ', stdout);
    fputs(s, stdout);
  }
  putc('\n', stdout);
  lua_settop(L, 0);  /* clear stack */
}

static void createargtable(lua_State *L, char **argv, int argc, int argf)
{
  int i;
  lua_createtable(L, argc - argf, argf);
  for (i = 0; i < argc; i++) {
    lua_pushstring(L, argv[i]);
    lua_rawseti(L, -2, i - argf);
  }
  lua_setglobal(L, "arg");
}

static int dofile(lua_State *L, const char *name)
{
  int status = luaL_loadfile(L, name) || docall(L, 0, 1);
  return report(L, status);
}

static int dostring(lua_State *L, const char *s, const char *name)
{
  int status = luaL_loadbuffer(L, s, strlen(s), name) || docall(L, 0, 1);
  return report(L, status);
}

static int dolibrary(lua_State *L, const char *name)
{
  lua_getglobal(L, "require");
  lua_pushstring(L, name);
  return report(L, docall(L, 1, 1));
}

static void write_prompt(lua_State *L, int firstline)
{
  const char *p;
  lua_getfield(L, LUA_GLOBALSINDEX, firstline ? "_PROMPT" : "_PROMPT2");
  p = lua_tostring(L, -1);
  if (p == NULL) p = firstline ? LUA_PROMPT : LUA_PROMPT2;
  fputs(p, stdout);
  fflush(stdout);
  lua_pop(L, 1);  /* remove global */
}

static int incomplete(lua_State *L, int status)
{
  if (status == LUA_ERRSYNTAX) {
    size_t lmsg;
    const char *msg = lua_tolstring(L, -1, &lmsg);
    const char *tp = msg + lmsg - (sizeof(LUA_QL("<eof>")) - 1);
    if (strstr(msg, LUA_QL("<eof>")) == tp) {
      lua_pop(L, 1);
      return 1;
    }
  }
  return 0;  /* else... */
}

static int pushline(lua_State *L, int firstline)
{
  char buf[LUA_MAXINPUT];
  write_prompt(L, firstline);
  if (fgets(buf, LUA_MAXINPUT, stdin)) {
    size_t len = strlen(buf);
    if (len > 0 && buf[len-1] == '\n')
      buf[len-1] = '\0';
    if (firstline && buf[0] == '=')
      lua_pushfstring(L, "return %s", buf+1);
    else
      lua_pushstring(L, buf);
    return 1;
  }
  return 0;
}

static int loadline(lua_State *L)
{
  int status;
  lua_settop(L, 0);
  if (!pushline(L, 1))
    return -1;  /* no input */
  for (;;) {  /* repeat until gets a complete line */
    status = luaL_loadbuffer(L, lua_tostring(L, 1), lua_strlen(L, 1), "=stdin");
    if (!incomplete(L, status)) break;  /* cannot try to add lines? */
    if (!pushline(L, 0))  /* no more input? */
      return -1;
    lua_pushliteral(L, "\n");  /* add a new line... */
    lua_insert(L, -2);  /* ...between the two lines */
    lua_concat(L, 3);  /* join them */
  }
  lua_remove(L, 1);  /* remove line */
  return status;
}

static void dotty(lua_State *L)
{
  int status;
  const char *oldprogname = progname;
  progname = NULL;
  while ((status = loadline(L)) != -1) {
    if (status == LUA_OK) status = docall(L, 0, 0);
    report(L, status);
    if (status == LUA_OK && lua_gettop(L) > 0) {  /* any result to print? */
      lua_getglobal(L, "print");
      lua_insert(L, 1);
      if (lua_pcall(L, lua_gettop(L)-1, 0, 0) != 0)
        l_message(lua_pushfstring(L, "error calling " LUA_QL("print") " (%s)",
                                  lua_tostring(L, -1)));
    }
  }
  lua_settop(L, 0);  /* clear stack */
  fputs("\n", stdout);
  fflush(stdout);
  progname = oldprogname;
}

static int handle_script(lua_State *L, char **argx)
{
  int status;
  const char *fname = argx[0];
  if (strcmp(fname, "-") == 0 && strcmp(argx[-1], "--") != 0)
    fname = NULL;  /* stdin */
  status = luaL_loadfile(L, fname);
  if (status == LUA_OK) {
    /* Fetch args from arg table. LUA_INIT or -e might have changed them. */
    int narg = 0;
    lua_getglobal(L, "arg");
    if (lua_istable(L, -1)) {
      do {
        narg++;
        lua_rawgeti(L, -narg, narg);
      } while (!lua_isnil(L, -1));
      lua_pop(L, 1);
      lua_remove(L, -narg);
      narg--;
    } else {
      lua_pop(L, 1);
    }
    status = docall(L, narg, 0);
  }
  return report(L, status);
}

/* Load add-on module. */
static int loadjitmodule(lua_State *L)
{
  lua_getglobal(L, "require");
  lua_pushliteral(L, "jit.");
  lua_pushvalue(L, -3);
  lua_concat(L, 2);
  if (lua_pcall(L, 1, 1, 0)) {
    const char *msg = lua_tostring(L, -1);
    if (msg && !strncmp(msg, "module ", 7))
      goto nomodule;
    return report(L, 1);
  }
  lua_getfield(L, -1, "start");
  if (lua_isnil(L, -1)) {
  nomodule:
    l_message("unknown luaJIT command or jit.* modules not installed");
    return 1;
  }
  lua_remove(L, -2);  /* Drop module table. */
  return 0;
}

/* Run command with options. */
static int runcmdopt(lua_State *L, const char *opt)
{
  int narg = 0;
  if (opt && *opt) {
    for (;;) {  /* Split arguments. */
      const char *p = strchr(opt, ',');
      narg++;
      if (!p) break;
      if (p == opt)
        lua_pushnil(L);
      else
        lua_pushlstring(L, opt, (size_t)(p - opt));
      opt = p + 1;
    }
    if (*opt)
      lua_pushstring(L, opt);
    else
      lua_pushnil(L);
  }
  return report(L, lua_pcall(L, narg, 0, 0));
}

/* JIT engine control command: try jit library first or load add-on module. */
static int dojitcmd(lua_State *L, const char *cmd)
{
  const char *opt = strchr(cmd, '=');
  lua_pushlstring(L, cmd, opt ? (size_t)(opt - cmd) : strlen(cmd));
  lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
  lua_getfield(L, -1, "jit");  /* Get jit.* module table. */
  lua_remove(L, -2);
  lua_pushvalue(L, -2);
  lua_gettable(L, -2);  /* Lookup library function. */
  if (!lua_isfunction(L, -1)) {
    lua_pop(L, 2);  /* Drop non-function and jit.* table, keep module name. */
    if (loadjitmodule(L))
      return 1;
  } else {
    lua_remove(L, -2);  /* Drop jit.* table. */
  }
  lua_remove(L, -2);  /* Drop module name. */
  return runcmdopt(L, opt ? opt+1 : opt);
}

static int runtoolcmd(lua_State *L, const char *tool_name)
{
  lua_getglobal(L, "require");
  lua_pushstring(L, tool_name);
  if (lua_pcall(L, 1, 1, 0)) {
    const char *msg = lua_tostring(L, -1);
    if (msg) {
      if (!strncmp(msg, "module ", 7))
        msg = "unknown luaJIT command or tools not installed";
      l_message(msg);
    }
    return 1;
  }
  lua_getglobal(L, "arg");
  return report(L, lua_pcall(L, 1, 1, 0));
}

static int dotoolcmd(lua_State *L, const char *cmd)
{
  switch (cmd[0]) {
  case 'm':
    return runtoolcmd(L, "memprof");
  case 's':
    return runtoolcmd(L, "sysprof");
  default:
    print_tools_usage();
    break;
  }
  return -1;
}

/* Optimization flags. */
static int dojitopt(lua_State *L, const char *opt)
{
  lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
  lua_getfield(L, -1, "jit.opt");  /* Get jit.opt.* module table. */
  lua_remove(L, -2);
  lua_getfield(L, -1, "start");
  lua_remove(L, -2);
  return runcmdopt(L, opt);
}

/* Save or list bytecode. */
static int dobytecode(lua_State *L, char **argv)
{
  int narg = 0;
  lua_pushliteral(L, "bcsave");
  if (loadjitmodule(L))
    return 1;
  if (argv[0][2]) {
    narg++;
    argv[0][1] = '-';
    lua_pushstring(L, argv[0]+1);
  }
  for (argv++; *argv != NULL; narg++, argv++)
    lua_pushstring(L, *argv);
  report(L, lua_pcall(L, narg, 0, 0));
  return -1;
}

/* check that argument has no extra characters at the end */
#define notail(x)        {if ((x)[2] != '\0') return -1;}

#define FLAGS_INTERACTIVE        1
#define FLAGS_VERSION                2
#define FLAGS_EXEC                4
#define FLAGS_OPTION                8
#define FLAGS_NOENV                16
#define FLAGS_TOOL                32

static int collectargs(char **argv, int *flags)
{
  int i;
  for (i = 1; argv[i] != NULL; i++) {
    if (argv[i][0] != '-')  /* Not an option? */
      return i;
    switch (argv[i][1]) {  /* Check option. */
    case '-':
      notail(argv[i]);
      return i+1;
    case '\0':
      return i;
    case 'i':
      notail(argv[i]);
      *flags |= FLAGS_INTERACTIVE;
      /* fallthrough */
    case 'v':
      notail(argv[i]);
      *flags |= FLAGS_VERSION;
      break;
    case 't':
      *flags |= FLAGS_TOOL;
      return i + 1;
    case 'e':
      *flags |= FLAGS_EXEC;
      /* fallthrough */
    case 'j':  /* LuaJIT extension */
    case 'l':
      *flags |= FLAGS_OPTION;
      if (argv[i][2] == '\0') {
        i++;
        if (argv[i] == NULL) return -1;
      }
      break;
    case 'O': break;  /* LuaJIT extension */
    case 'b':  /* LuaJIT extension */
      if (*flags) return -1;
      *flags |= FLAGS_EXEC;
      return i+1;
    case 'E':
      *flags |= FLAGS_NOENV;
      break;
    default: return -1;  /* invalid option */
    }
  }
  return i;
}

static int runargs(lua_State *L, char **argv, int argn)
{
  int i;
  for (i = 1; i < argn; i++) {
    if (argv[i] == NULL) continue;
    lua_assert(argv[i][0] == '-');
    switch (argv[i][1]) {
    case 'e': {
      const char *chunk = argv[i] + 2;
      if (*chunk == '\0') chunk = argv[++i];
      lua_assert(chunk != NULL);
      if (dostring(L, chunk, "=(command line)") != 0)
        return 1;
      break;
      }
    case 'l': {
      const char *filename = argv[i] + 2;
      if (*filename == '\0') filename = argv[++i];
      lua_assert(filename != NULL);
      if (dolibrary(L, filename))
        return 1;
      break;
      }
    case 'j': {  /* LuaJIT extension. */
      const char *cmd = argv[i] + 2;
      if (*cmd == '\0') cmd = argv[++i];
      lua_assert(cmd != NULL);
      if (dojitcmd(L, cmd))
        return 1;
      break;
      }
    case 't': { /* Tarantool's fork extension. */
      const char *cmd = argv[i] + 2;
      return dotoolcmd(L, cmd) != LUA_OK;
    }
    case 'O':  /* LuaJIT extension. */
      if (dojitopt(L, argv[i] + 2))
        return 1;
      break;
    case 'b':  /* LuaJIT extension. */
      return dobytecode(L, argv+i);
    default: break;
    }
  }
  return LUA_OK;
}

static int handle_luainit(lua_State *L)
{
#if LJ_TARGET_CONSOLE
  const char *init = NULL;
#else
  const char *init = getenv(LUA_INIT);
#endif
  if (init == NULL)
    return LUA_OK;
  else if (init[0] == '@')
    return dofile(L, init+1);
  else
    return dostring(L, init, "=" LUA_INIT);
}

static struct Smain {
  char **argv;
  int argc;
  int status;
} smain;

static int pmain(lua_State *L)
{
  struct Smain *s = &smain;
  char **argv = s->argv;
  int argn;
  int flags = 0;
  globalL = L;

  LUAJIT_VERSION_SYM();  /* Linker-enforced version check. */

  argn = collectargs(argv, &flags);
  if (argn < 0) {  /* Invalid args? */
    print_usage();
    s->status = 1;
    return 0;
  }

  if ((flags & FLAGS_NOENV)) {
    lua_pushboolean(L, 1);
    lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");
  }

  /* Stop collector during library initialization. */
  lua_gc(L, LUA_GCSTOP, 0);
  luaL_openlibs(L);
  lua_gc(L, LUA_GCRESTART, -1);

  createargtable(L, argv, s->argc, (flags & FLAGS_TOOL) ? argn - 1 : argn);

  if (!(flags & FLAGS_NOENV)) {
    s->status = handle_luainit(L);
    if (s->status != LUA_OK) return 0;
  }

  if ((flags & FLAGS_VERSION)) print_version();

  s->status = runargs(L, argv, argn);
  if (s->status != LUA_OK) return 0;

  if (s->argc > argn) {
    s->status = handle_script(L, argv + argn);
    if (s->status != LUA_OK) return 0;
  }

  if ((flags & FLAGS_INTERACTIVE)) {
    print_jit_status(L);
    dotty(L);
  } else if (s->argc == argn && !(flags & (FLAGS_EXEC|FLAGS_VERSION))) {
    if (lua_stdin_is_tty()) {
      print_version();
      print_jit_status(L);
      dotty(L);
    } else {
      dofile(L, NULL);  /* Executes stdin as a file. */
    }
  }
  return 0;
}

int main(int argc, char **argv)
{
  int status;
  lua_State *L;
  if (!argv[0]) argv = empty_argv; else if (argv[0][0]) progname = argv[0];
  L = lua_open();  /* create state */
  if (L == NULL) {
    l_message("cannot create state: not enough memory");
    return EXIT_FAILURE;
  }
  smain.argc = argc;
  smain.argv = argv;
  status = lua_cpcall(L, pmain, NULL);
  report(L, status);
  lua_close(L);
  return (status || smain.status > 0) ? EXIT_FAILURE : EXIT_SUCCESS;
}


1	/*
2	** LuaJIT frontend. Runs commands, scripts, read-eval-print (REPL) etc.
3	** Copyright (C) 2005-2017 Mike Pall. See Copyright Notice in luajit.h
4	**
5	** Major portions taken verbatim or adapted from the Lua interpreter.
6	** Copyright (C) 1994-2008 Lua.org, PUC-Rio. See Copyright Notice in lua.h
7	*/
8
9	#include <stdio.h>
10	#include <stdlib.h>
11	#include <string.h>
12
13	#define luajit_c
14
15	#include "lua.h"
16	#include "lauxlib.h"
17	#include "lualib.h"
18	#include "luajit.h"
19
20	#include "lj_arch.h"
21
22	#if LJ_TARGET_POSIX
23	#include <unistd.h>
24	#define lua_stdin_is_tty() isatty(0)
25	#elif LJ_TARGET_WINDOWS
26	#include <io.h>
27	#ifdef __BORLANDC__
28	#define lua_stdin_is_tty() isatty(_fileno(stdin))
29	#else
30	#define lua_stdin_is_tty() _isatty(_fileno(stdin))
31	#endif
32	#else
33	#define lua_stdin_is_tty() 1
34	#endif
35
36	#if !LJ_TARGET_CONSOLE
37	#include <signal.h>
38	#endif
39
40	static lua_State *globalL = NULL;
41	static const char *progname = LUA_PROGNAME;
42	static char *empty_argv[2] = { NULL, NULL };
43
44	#if !LJ_TARGET_CONSOLE
45	static void lstop(lua_State L, lua_Debug ar)	×
46	{
47	(void)ar; /* unused arg. */	×
48	lua_sethook(L, NULL, 0, 0);	×
49	/* Avoid luaL_error -- a C hook doesn't add an extra frame. */
50	luaL_where(L, 0);	×
51	lua_pushfstring(L, "%sinterrupted!", lua_tostring(L, -1));	×
52	lua_error(L);	×
53	}	×
54
55	static void laction(int i)	×
56	{
57	signal(i, SIG_DFL); /* if another SIGINT happens before lstop,	×
58	terminate process (default action) */
59	lua_sethook(globalL, lstop, LUA_MASKCALL \| LUA_MASKRET \| LUA_MASKCOUNT, 1);	×
60	}	×
61	#endif
62
63	static void print_usage(void)	5✔
64	{
65	fputs("usage: ", stderr);	5✔
66	fputs(progname, stderr);	5✔
67	fputs(" [options]... [script [args]...].\n"	5✔
68	"Available options are:\n"
69	" -e chunk Execute string " LUA_QL("chunk") ".\n"
70	" -l name Require library " LUA_QL("name") ".\n"
71	" -b ... Save or list bytecode.\n"
72	" -j cmd Perform LuaJIT control command.\n"
73	" -O[opt] Control LuaJIT optimizations.\n"
74	" -i Enter interactive mode after executing " LUA_QL("script") ".\n"
75	" -v Show version information.\n"
76	" -t<cmd> Execute tool.\n"
77	" -E Ignore environment variables.\n"
78	" -- Stop handling options.\n"
79	" - Execute stdin and stop handling options.\n", stderr);
80	fflush(stderr);	5✔
81	}	5✔
82
83	static void print_tools_usage(void)	2✔
84	{
85	fputs("usage: ", stderr);	2✔
86	fputs(progname, stderr);	2✔
87	fputs(" -t<cmd>\n"	2✔
88	"Available tools are:\n"
89	" -m [--leak-only] input Memprof profile data parser.\n"
90	" -s input Sysprof profile data parser.\n", stderr);
91	fflush(stderr);	2✔
92	}	2✔
93
94	static void l_message(const char *msg)	7✔
95	{
96	if (progname) { fputs(progname, stderr); fputc(':', stderr); fputc(' ', stderr); }	7✔
97	fputs(msg, stderr); fputc('\n', stderr);	7✔
98	fflush(stderr);	7✔
99	}	7✔
100
101	static int report(lua_State *L, int status)	648✔
102	{
103	if (status && !lua_isnil(L, -1)) {	648✔
104	const char *msg = lua_tostring(L, -1);	6✔
105	if (msg == NULL) msg = "(error object is not a string)";	6✔
106	l_message(msg);	6✔
107	lua_pop(L, 1);	6✔
108	}
109	return status;	648✔
110	}
111
112	static int traceback(lua_State *L)	4✔
113	{
114	if (!lua_isstring(L, 1)) { /* Non-string error object? Try metamethod. */	4✔
115	if (lua_isnoneornil(L, 1) \|\|	2✔
116	!luaL_callmeta(L, 1, "__tostring") \|\|	1✔
UNCOV 117	!lua_isstring(L, -1))	×
118	return 1; /* Return non-string error object. */	1✔
UNCOV 119	lua_remove(L, 1); /* Replace object by result of __tostring metamethod. */	×
120	}
121	luaL_traceback(L, L, lua_tostring(L, 1), 1);	3✔
122	return 1;	3✔
123	}
124
125	static int docall(lua_State *L, int narg, int clear)	667✔
126	{
127	int status;	667✔
128	int base = lua_gettop(L) - narg; /* function index */	667✔
129	lua_pushcfunction(L, traceback); /* push traceback function */	667✔
130	lua_insert(L, base); /* put it under chunk and args */	667✔
131	#if !LJ_TARGET_CONSOLE
132	signal(SIGINT, laction);	667✔
133	#endif
134	status = lua_pcall(L, narg, (clear ? 0 : LUA_MULTRET), base);	969✔
135	#if !LJ_TARGET_CONSOLE
136	signal(SIGINT, SIG_DFL);	473✔
137	#endif
138	lua_remove(L, base); /* remove traceback function */	473✔
139	/* force a complete garbage collection in case of errors */
140	if (status != LUA_OK) lua_gc(L, LUA_GCCOLLECT, 0);	473✔
141	return status;	473✔
142	}
143
144	static void print_version(void)	9✔
145	{
146	fputs(LUAJIT_VERSION " -- " LUAJIT_COPYRIGHT ". " LUAJIT_URL "\n", stdout);	9✔
147	}	9✔
148
149	static void print_jit_status(lua_State *L)	5✔
150	{
151	int n;	5✔
152	const char *s;	5✔
153	lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");	5✔
154	lua_getfield(L, -1, "jit"); /* Get jit.* module table. */	5✔
155	lua_remove(L, -2);	5✔
156	lua_getfield(L, -1, "status");	5✔
157	lua_remove(L, -2);	5✔
158	n = lua_gettop(L);	5✔
159	lua_call(L, 0, LUA_MULTRET);	5✔
160	fputs(lua_toboolean(L, n) ? "JIT: ON" : "JIT: OFF", stdout);	5✔
161	for (n++; (s = lua_tostring(L, n)); n++) {	70✔
162	putc(' ', stdout);	65✔
163	fputs(s, stdout);	65✔
164	}
165	putc('\n', stdout);	5✔
166	lua_settop(L, 0); /* clear stack */	5✔
167	}	5✔
168
169	static void createargtable(lua_State L, char *argv, int argc, int argf)	353✔
170	{
171	int i;	353✔
172	lua_createtable(L, argc - argf, argf);	353✔
173	for (i = 0; i < argc; i++) {	2,254✔
174	lua_pushstring(L, argv[i]);	1,548✔
175	lua_rawseti(L, -2, i - argf);	1,548✔
176	}
177	lua_setglobal(L, "arg");	353✔
178	}	353✔
179
180	static int dofile(lua_State L, const char name)	1✔
181	{
182	int status = luaL_loadfile(L, name) \|\| docall(L, 0, 1);	1✔
183	return report(L, status);	1✔
184	}
185
186	static int dostring(lua_State L, const char s, const char *name)	309✔
187	{
188	int status = luaL_loadbuffer(L, s, strlen(s), name) \|\| docall(L, 0, 1);	309✔
189	return report(L, status);	306✔
190	}
191
192	static int dolibrary(lua_State L, const char name)	57✔
193	{
194	lua_getglobal(L, "require");	57✔
195	lua_pushstring(L, name);	57✔
196	return report(L, docall(L, 1, 1));	57✔
197	}
198
199	static void write_prompt(lua_State *L, int firstline)	133✔
200	{
201	const char *p;	133✔
202	lua_getfield(L, LUA_GLOBALSINDEX, firstline ? "_PROMPT" : "_PROMPT2");	242✔
203	p = lua_tostring(L, -1);	133✔
204	if (p == NULL) p = firstline ? LUA_PROMPT : LUA_PROMPT2;	133✔
205	fputs(p, stdout);	133✔
206	fflush(stdout);	133✔
207	lua_pop(L, 1); /* remove global */	133✔
208	}	133✔
209
210	static int incomplete(lua_State *L, int status)	128✔
211	{
212	if (status == LUA_ERRSYNTAX) {	128✔
213	size_t lmsg;	109✔
214	const char *msg = lua_tolstring(L, -1, &lmsg);	109✔
215	const char *tp = msg + lmsg - (sizeof(LUA_QL("<eof>")) - 1);	109✔
216	if (strstr(msg, LUA_QL("<eof>")) == tp) {	109✔
217	lua_pop(L, 1);	109✔
218	return 1;	109✔
219	}
220	}
221	return 0; /* else... */
222	}
223
224	static int pushline(lua_State *L, int firstline)	133✔
225	{
226	char buf[LUA_MAXINPUT];	133✔
227	write_prompt(L, firstline);	133✔
228	if (fgets(buf, LUA_MAXINPUT, stdin)) {	133✔
229	size_t len = strlen(buf);	128✔
230	if (len > 0 && buf[len-1] == '\n')	128✔
231	buf[len-1] = '\0';	126✔
232	if (firstline && buf[0] == '=')	128✔
233	lua_pushfstring(L, "return %s", buf+1);	5✔
234	else
235	lua_pushstring(L, buf);	123✔
236	return 1;	128✔
237	}
238	return 0;
239	}
240
241	static int loadline(lua_State *L)	24✔
242	{
243	int status;	24✔
244	lua_settop(L, 0);	24✔
245	if (!pushline(L, 1))	24✔
246	return -1; /* no input */
247	for (;;) { /* repeat until gets a complete line */	237✔
248	status = luaL_loadbuffer(L, lua_tostring(L, 1), lua_strlen(L, 1), "=stdin");	128✔
249	if (!incomplete(L, status)) break; /* cannot try to add lines? */	128✔
250	if (!pushline(L, 0)) /* no more input? */	109✔
251	return -1;
252	lua_pushliteral(L, "\n"); /* add a new line... */	109✔
253	lua_insert(L, -2); /* ...between the two lines */	109✔
254	lua_concat(L, 3); /* join them */	109✔
255	}
256	lua_remove(L, 1); /* remove line */	19✔
257	return status;	19✔
258	}
259
260	static void dotty(lua_State *L)	5✔
261	{
262	int status;	5✔
263	const char *oldprogname = progname;	5✔
264	progname = NULL;	5✔
265	while ((status = loadline(L)) != -1) {	29✔
266	if (status == LUA_OK) status = docall(L, 0, 0);	19✔
267	report(L, status);	19✔
268	if (status == LUA_OK && lua_gettop(L) > 0) { /* any result to print? */	19✔
269	lua_getglobal(L, "print");	5✔
270	lua_insert(L, 1);	5✔
271	if (lua_pcall(L, lua_gettop(L)-1, 0, 0) != 0)	5✔
272	l_message(lua_pushfstring(L, "error calling " LUA_QL("print") " (%s)",	×
273	lua_tostring(L, -1)));
274	}
275	}
276	lua_settop(L, 0); /* clear stack */	5✔
277	fputs("\n", stdout);	5✔
278	fflush(stdout);	5✔
279	progname = oldprogname;	5✔
280	}	5✔
281
282	static int handle_script(lua_State L, char *argx)	284✔
283	{
284	int status;	284✔
285	const char *fname = argx[0];	284✔
286	if (strcmp(fname, "-") == 0 && strcmp(argx[-1], "--") != 0)	284✔
287	fname = NULL; /* stdin */	4✔
288	status = luaL_loadfile(L, fname);	284✔
289	if (status == LUA_OK) {	284✔
290	/* Fetch args from arg table. LUA_INIT or -e might have changed them. */
291	int narg = 0;	283✔
292	lua_getglobal(L, "arg");	283✔
293	if (lua_istable(L, -1)) {	283✔
294	do {	343✔
295	narg++;	343✔
296	lua_rawgeti(L, -narg, narg);	343✔
297	} while (!lua_isnil(L, -1));	343✔
298	lua_pop(L, 1);	283✔
299	lua_remove(L, -narg);	283✔
300	narg--;	283✔
301	} else {
302	lua_pop(L, 1);	×
303	}
304	status = docall(L, narg, 0);	283✔
305	}
306	return report(L, status);	93✔
307	}
308
309	/* Load add-on module. */
310	static int loadjitmodule(lua_State *L)	17✔
311	{
312	lua_getglobal(L, "require");	17✔
313	lua_pushliteral(L, "jit.");	17✔
314	lua_pushvalue(L, -3);	17✔
315	lua_concat(L, 2);	17✔
316	if (lua_pcall(L, 1, 1, 0)) {	17✔
317	const char *msg = lua_tostring(L, -1);	1✔
318	if (msg && !strncmp(msg, "module ", 7))	1✔
319	goto nomodule;	1✔
320	return report(L, 1);	×
321	}
322	lua_getfield(L, -1, "start");	16✔
323	if (lua_isnil(L, -1)) {	16✔
324	nomodule:	×
325	l_message("unknown luaJIT command or jit.* modules not installed");	1✔
326	return 1;	1✔
327	}
328	lua_remove(L, -2); /* Drop module table. */	16✔
329	return 0;	16✔
330	}
331
332	/* Run command with options. */
333	static int runcmdopt(lua_State L, const char opt)	10✔
334	{
335	int narg = 0;	10✔
336	if (opt && *opt) {	10✔
337	for (;;) { /* Split arguments. */	10✔
338	const char *p = strchr(opt, ',');	8✔
339	narg++;	8✔
340	if (!p) break;	8✔
341	if (p == opt)	2✔
342	lua_pushnil(L);	×
343	else
344	lua_pushlstring(L, opt, (size_t)(p - opt));	2✔
345	opt = p + 1;	2✔
346	}
347	if (*opt)	6✔
348	lua_pushstring(L, opt);	6✔
349	else
350	lua_pushnil(L);	×
351	}
352	return report(L, lua_pcall(L, narg, 0, 0));	10✔
353	}
354
355	/* JIT engine control command: try jit library first or load add-on module. */
356	static int dojitcmd(lua_State L, const char cmd)	4✔
357	{
358	const char *opt = strchr(cmd, '=');	4✔
359	lua_pushlstring(L, cmd, opt ? (size_t)(opt - cmd) : strlen(cmd));	4✔
360	lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");	4✔
361	lua_getfield(L, -1, "jit"); /* Get jit.* module table. */	4✔
362	lua_remove(L, -2);	4✔
363	lua_pushvalue(L, -2);	4✔
364	lua_gettable(L, -2); /* Lookup library function. */	4✔
365	if (!lua_isfunction(L, -1)) {	4✔
366	lua_pop(L, 2); /* Drop non-function and jit.* table, keep module name. */	1✔
367	if (loadjitmodule(L))	1✔
368	return 1;
369	} else {
370	lua_remove(L, -2); /* Drop jit.* table. */	3✔
371	}
372	lua_remove(L, -2); /* Drop module name. */	3✔
373	return runcmdopt(L, opt ? opt+1 : opt);	3✔
374	}
375
376	static int runtoolcmd(lua_State L, const char tool_name)	18✔
377	{
378	lua_getglobal(L, "require");	18✔
379	lua_pushstring(L, tool_name);	18✔
380	if (lua_pcall(L, 1, 1, 0)) {	18✔
381	const char *msg = lua_tostring(L, -1);	×
382	if (msg) {	×
383	if (!strncmp(msg, "module ", 7))	×
384	msg = "unknown luaJIT command or tools not installed";	×
385	l_message(msg);	×
386	}
387	return 1;	×
388	}
389	lua_getglobal(L, "arg");	18✔
390	return report(L, lua_pcall(L, 1, 1, 0));	18✔
391	}
392
393	static int dotoolcmd(lua_State L, const char cmd)
394	{
395	switch (cmd[0]) {
396	case 'm':
397	return runtoolcmd(L, "memprof");
398	case 's':
399	return runtoolcmd(L, "sysprof");
400	default:
401	print_tools_usage();
402	break;
403	}
404	return -1;
405	}
406
407	/* Optimization flags. */
408	static int dojitopt(lua_State L, const char opt)	7✔
409	{
410	lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");	7✔
411	lua_getfield(L, -1, "jit.opt"); /* Get jit.opt.* module table. */	7✔
412	lua_remove(L, -2);	7✔
413	lua_getfield(L, -1, "start");	7✔
414	lua_remove(L, -2);	7✔
415	return runcmdopt(L, opt);	7✔
416	}
417
418	/* Save or list bytecode. */
419	static int dobytecode(lua_State L, char *argv)	16✔
420	{
421	int narg = 0;	16✔
422	lua_pushliteral(L, "bcsave");	16✔
423	if (loadjitmodule(L))	16✔
424	return 1;
425	if (argv[0][2]) {	16✔
426	narg++;	4✔
427	argv[0][1] = '-';	4✔
428	lua_pushstring(L, argv[0]+1);	4✔
429	}
430	for (argv++; *argv != NULL; narg++, argv++)	57✔
431	lua_pushstring(L, *argv);	41✔
432	report(L, lua_pcall(L, narg, 0, 0));	16✔
433	return -1;	16✔
434	}
435
436	/* check that argument has no extra characters at the end */
437	#define notail(x) {if ((x)[2] != '\0') return -1;}
438
439	#define FLAGS_INTERACTIVE 1
440	#define FLAGS_VERSION 2
441	#define FLAGS_EXEC 4
442	#define FLAGS_OPTION 8
443	#define FLAGS_NOENV 16
444	#define FLAGS_TOOL 32
445
446	static int collectargs(char *argv, int flags)	358✔
447	{
448	int i;	358✔
449	for (i = 1; argv[i] != NULL; i++) {	745✔
450	if (argv[i][0] != '-') /* Not an option? */	715✔
451	return i;	281✔
452	switch (argv[i][1]) { /* Check option. */	434✔
453	case '-':	3✔
454	notail(argv[i]);	3✔
455	return i+1;	2✔
456	case '\0':
457	return i;
458	case 'i':	5✔
459	notail(argv[i]);	5✔
460	*flags \|= FLAGS_INTERACTIVE;	5✔
461	/* fallthrough */
462	case 'v':	9✔
463	notail(argv[i]);	9✔
464	*flags \|= FLAGS_VERSION;	9✔
465	break;	9✔
466	case 't':	20✔
467	*flags \|= FLAGS_TOOL;	20✔
468	return i + 1;	20✔
469	case 'e':	311✔
470	*flags \|= FLAGS_EXEC;	311✔
471	/* fallthrough */
472	case 'j': /* LuaJIT extension */	372✔
473	case 'l':
474	*flags \|= FLAGS_OPTION;	372✔
475	if (argv[i][2] == '\0') {	372✔
476	i++;	358✔
477	if (argv[i] == NULL) return -1;	358✔
478	}
479	break;
480	case 'O': break; /* LuaJIT extension */
481	case 'b': /* LuaJIT extension */	16✔
482	if (*flags) return -1;	16✔
483	*flags \|= FLAGS_EXEC;	16✔
484	return i+1;	16✔
485	case 'E':	1✔
486	*flags \|= FLAGS_NOENV;	1✔
487	break;	1✔
488	default: return -1; /* invalid option */
489	}
490	}
491	return i;
492	}
493
494	static int runargs(lua_State L, char *argv, int argn)	353✔
495	{
496	int i;	353✔
497	for (i = 1; i < argn; i++) {	734✔
498	if (argv[i] == NULL) continue;	425✔
499	lua_assert(argv[i][0] == '-');	425✔
500	switch (argv[i][1]) {	425✔
501	case 'e': {	309✔
502	const char *chunk = argv[i] + 2;	309✔
503	if (*chunk == '\0') chunk = argv[++i];	309✔
504	lua_assert(chunk != NULL);	309✔
505	if (dostring(L, chunk, "=(command line)") != 0)	309✔
506	return 1;
507	break;
508	}
509	case 'l': {	57✔
510	const char *filename = argv[i] + 2;	57✔
511	if (*filename == '\0') filename = argv[++i];	57✔
512	lua_assert(filename != NULL);	57✔
513	if (dolibrary(L, filename))	57✔
514	return 1;
515	break;
516	}
517	case 'j': { /* LuaJIT extension. */	4✔
518	const char *cmd = argv[i] + 2;	4✔
519	if (*cmd == '\0') cmd = argv[++i];	4✔
520	lua_assert(cmd != NULL);	4✔
521	if (dojitcmd(L, cmd))	4✔
522	return 1;
523	break;
524	}
525	case 't': { /* Tarantool's fork extension. */	20✔
526	const char *cmd = argv[i] + 2;	20✔
527	return dotoolcmd(L, cmd) != LUA_OK;	20✔
528	}
529	case 'O': /* LuaJIT extension. */	7✔
530	if (dojitopt(L, argv[i] + 2))	7✔
531	return 1;
532	break;
533	case 'b': /* LuaJIT extension. */	16✔
534	return dobytecode(L, argv+i);	16✔
535	default: break;
536	}
537	}
538	return LUA_OK;
539	}
540
541	static int handle_luainit(lua_State *L)	352✔
542	{
543	#if LJ_TARGET_CONSOLE
544	const char *init = NULL;
545	#else
546	const char *init = getenv(LUA_INIT);	352✔
547	#endif
548	if (init == NULL)	352✔
549	return LUA_OK;
550	else if (init[0] == '@')	×
551	return dofile(L, init+1);	×
552	else
553	return dostring(L, init, "=" LUA_INIT);	×
554	}
555
556	static struct Smain {
557	char **argv;
558	int argc;
559	int status;
560	} smain;
561
562	static int pmain(lua_State *L)	358✔
563	{
564	struct Smain *s = &smain;	358✔
565	char **argv = s->argv;	358✔
566	int argn;	358✔
567	int flags = 0;	358✔
568	globalL = L;	358✔
569
570	LUAJIT_VERSION_SYM(); /* Linker-enforced version check. */	358✔
571
572	argn = collectargs(argv, &flags);	358✔
573	if (argn < 0) { /* Invalid args? */	358✔
574	print_usage();	5✔
575	s->status = 1;	5✔
576	return 0;	5✔
577	}
578
579	if ((flags & FLAGS_NOENV)) {	353✔
580	lua_pushboolean(L, 1);	1✔
581	lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");	1✔
582	}
583
584	/* Stop collector during library initialization. */
585	lua_gc(L, LUA_GCSTOP, 0);	353✔
586	luaL_openlibs(L);	353✔
587	lua_gc(L, LUA_GCRESTART, -1);	353✔
588
589	createargtable(L, argv, s->argc, (flags & FLAGS_TOOL) ? argn - 1 : argn);	353✔
590
591	if (!(flags & FLAGS_NOENV)) {	353✔
592	s->status = handle_luainit(L);	352✔
593	if (s->status != LUA_OK) return 0;	352✔
594	}
595
596	if ((flags & FLAGS_VERSION)) print_version();	353✔
597
598	s->status = runargs(L, argv, argn);	353✔
599	if (s->status != LUA_OK) return 0;	332✔
600
601	if (s->argc > argn) {	309✔
602	s->status = handle_script(L, argv + argn);	284✔
603	if (s->status != LUA_OK) return 0;	93✔
604	}
605
606	if ((flags & FLAGS_INTERACTIVE)) {	116✔
607	print_jit_status(L);	5✔
608	dotty(L);	5✔
609	} else if (s->argc == argn && !(flags & (FLAGS_EXEC\|FLAGS_VERSION))) {	111✔
610	if (lua_stdin_is_tty()) {	1✔
611	print_version();	×
612	print_jit_status(L);	×
613	dotty(L);	×
614	} else {
615	dofile(L, NULL); /* Executes stdin as a file. */	1✔
616	}
617	}
618	return 0;
619	}
620
621	int main(int argc, char **argv)	358✔
622	{
623	int status;	358✔
624	lua_State *L;	358✔
625	if (!argv[0]) argv = empty_argv; else if (argv[0][0]) progname = argv[0];	358✔
626	L = lua_open(); /* create state */	358✔
627	if (L == NULL) {	358✔
628	l_message("cannot create state: not enough memory");	×
629	return EXIT_FAILURE;	×
630	}
631	smain.argc = argc;	358✔
632	smain.argv = argv;	358✔
633	status = lua_cpcall(L, pmain, NULL);	358✔
634	report(L, status);	146✔
635	lua_close(L);	146✔
636	return (status \|\| smain.status > 0) ? EXIT_FAILURE : EXIT_SUCCESS;	146✔
637	}
638

tarantool / luajit / 13159888061

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous