Missing case for OP_GETVARG in symbolic execution

[Jure Bagić]

Hi,

for c037162a in 'ldebug.c:569' the 'getobjname' function there is no
OP_GETVARG case. Is this intended or this part forgot to be updated after
the introduction of named vararg parameters?

For example, the following code will properly tell me the nil
value I attempted to call is a field and it's name:
> local function a(x, ...)
> ({...}).g(); -- or 'local t = {...}; t.g()'
> end
> a();

but not when I use the vararg parameter:
> local function a(x, ...t)
> t.g();
> end
> a();

Putting the OP_GETVARG case together with OP_GETTABLE in 'getobjname' is
quick fix.

--
Jure

[Roberto Ierusalimschy]

Many thanks for the feedback.

-- Roberto

[Roberto Ierusalimschy]

Forgot this part: "(You are right.)"

-- Roberto

[Jure Bagić]

> Forgot this part: "(You are right.)"

:D

--
Jure