From: Enrico Tassi <gareuselesinge@debian.org>
Date: Tue, 26 Aug 2014 16:20:55 +0200
Subject: Fix stack overflow in vararg functions

---
 src/ldo.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ldo.c b/src/ldo.c
index d1bf786..30333bf 100644
--- a/src/ldo.c
+++ b/src/ldo.c
@@ -274,7 +274,7 @@ int luaD_precall (lua_State *L, StkId func, int nresults) {
     CallInfo *ci;
     StkId st, base;
     Proto *p = cl->p;
-    luaD_checkstack(L, p->maxstacksize);
+    luaD_checkstack(L, p->maxstacksize + p->numparams);
     func = restorestack(L, funcr);
       base = func + 1;
'>
<input type='hidden' name='id' value='b05e5030a35ce698a70741c51137ebba64f017db'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=b05e5030a35ce698a70741c51137ebba64f017db'>refs</a><a class='active' href='/guix/log/gnu/packages/lean.scm'>log</a><a href='/guix/tree/gnu/packages/lean.scm?id=b05e5030a35ce698a70741c51137ebba64f017db'>tree</a><a href='/guix/commit/gnu/packages/lean.scm?id=b05e5030a35ce698a70741c51137ebba64f017db'>commit</a><a href='/guix/diff/gnu/packages/lean.scm?id=b05e5030a35ce698a70741c51137ebba64f017db'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/lean.scm'>
<input type='hidden' name='id' value='b05e5030a35ce698a70741c51137ebba64f017db'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=b05e5030a35ce698a70741c51137ebba64f017db'>root</a>/<a href='/guix/log/gnu?id=b05e5030a35ce698a70741c51137ebba64f017db'>gnu</a>/<a href='/guix/log/gnu/packages?id=b05e5030a35ce698a70741c51137ebba64f017db'>packages</a>/<a href='/guix/log/gnu/packages/lean.scm?id=b05e5030a35ce698a70741c51137ebba64f017db'>lean.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/lean.scm?id=b05e5030a35ce698a70741c51137ebba64f017db&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-03-16 15:48:52 +0100'>2022-03-16</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=fee68a93d833b7774de6b0af9ddb9f5f696922eb'>gnu: Add python-mathlibtools.</a><span class='msg-avail'>...</span></td><td>Pradana AUMARS</td></tr>
<tr><td><span title='2022-03-11 23:34:47 -0500'>2022-03-11</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=46ae78ba45711b43ca5948c9adbd23cc9e773bff'>gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.</a><span class='msg-avail'>...</span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2021-12-13 17:48:25 +0100'>2021-12-13</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=8394619baceb118df92e355377fd543bb1aa501a'>gnu: Simplify package inputs.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>