Parse error in variadic macros

[skcho]

Hello. I encountered a parsing error on variadic macros.

$ verifast -c test.c
test.c
test.h(2,13-16): Parse error: Macro definition syntax error

test.h

void goo (int x, ...);
#define foo(...) goo (__VA_ARGS__)

test.c:

#include "test.h"

I would like to ask if there is something I am missing, e.g. command line options.

[btj]

I'm afraid you're not missing anything. These are not yet supported.

[skcho]

@btj Isee. Thank you for your quick answer.