Lua 有什么防止缓冲区过度读取的方法吗？

我一直在研究 Lua 源代码，我找到了虚拟机获取下一条指令的位置，就在 vmfetch 宏的第一行:

#define vmfetch()       { \
  i = *(ci->u.l.savedpc++); \
  if (L->hookmask & (LUA_MASKLINE | LUA_MASKCOUNT)) \
    Protect(luaG_traceexec(L)); \
  ra = RA(i); /* WARNING: any stack reallocation invalidates 'ra' */ \
  lua_assert(base == ci->u.l.base); \
  lua_assert(base <= L->top && L->top < L->stack + L->stacksize); \
}

然而，我发现在 vmfetch 和 luaV_execute 中都没有代码检查 ci->u.l.savedpc++ 是否是有效地址，因此我想知道 Lua 是如何防止意外执行某些随机地址的数据的？