#include "top_and_nested.h"

#define ID(x) x

// semmle-extractor-options: -DCMD_LINE_MACRO(x,y)=x+y

top(1)

top("\"Hello "

"world\""

)

top(

top(2) /* comment here top(3) */ nested(4)

)

// This code is rejected by any sensible compiler. It is included in this test

// to ensure that it does not crash the extractor.

#include "split1.h"

#include "split2.h"

// macro defined (`#define`) + used inside a macro invocation argument list

#define CONCAT(x, y) x y

#define HELLO "hello"

const char *s = CONCAT(HELLO,

#define WORLD "word"

WORLD);

// preprocessor condition (`#if`) inside a macro invocation argument list

const char *t = CONCAT("hello",

#if defined(NOTDEFINED)

"world"

#else

"Semmle"

#endif

);

// Extracting text for object-like macros would just waste space

#define object_like_macro 123

static const int number = object_like_macro;

#define APPLY(M, X) M(X)

APPLY(top, 3)

#define DECLARE_STRING(name) \

const char *ID(name) = ID(#name);

DECLARE_STRING(string1)

DECLARE_STRING(ID(string2))

#define APPLY_ID(x) ID(x)

// These two invocations are from the documentation in Macro.qll

const int one = ID (ID

(1));

const int two = APPLY_ID

(2);

#define NOPARAMS()

NOPARAMS()

#define VARARG_ID(...) __VA_ARGS__

VARARG_ID()

// The extractor runs in GCC dialect mode for our unit tests, so here we can

// make use of the non-standard extension to put ## in front of __VA_ARGS__.

#define VARARG_SECOND(fmt, ...) \

printf(fmt "\n", ##__VA_ARGS__)

void va1(void) {

VARARG_SECOND("Format string only");

}

void va2(int i, int j) {

VARARG_SECOND("%d %d", i, j);

}

// Digraphs are preserved in the database. Our default dialect options for unit

// tests do not appear to support trigraphs. The VARARG_ID macro here is used

// to protect the comma from being seen as beginning a second argument to ID.

ID(int myarray <: :> = VARARG_ID(<% 4, 5 %>));

int empty_parentheses_follow APPLY(,) ;

ID()

#if APPLY(ID, ID(1))

int from_cmd_line = CMD_LINE_MACRO(5, 6);

#endif