/* n_25.c:  Macro arguments are pre-expanded (unless the argument is an

    operand of # or ## operator) separately, that is, are macro-replaced

    completely prior to rescanning. */

#define MACRO_0         0

#define MACRO_1         1

#define ZERO_TOKEN

#define TWO_ARGS        a,b

#define sub( x, y)      (x - y)

#define glue( a, b)     a ## b

#define xglue( a, b)    glue( a, b)

#define str( a)         # a

/* 25.1:    "TWO_ARGS" is read as one argument to "sub" then expanded to

        "a,b", then "x" is substituted by "a,b".    */

/*  (a,b - 1);  */

    sub( TWO_ARGS, 1);

/* 25.2:    An argument pre-expanded to 0-token.    */

/*  ( - 1); */

    sub( ZERO_TOKEN, 1);

/* 25.3:    "glue( a, b)" is pre-expanded.  */

/*  abc;    */

    xglue( glue( a, b), c);

/* 25.4:    Operands of ## operator are not pre-expanded.   */

/*  MACRO_0MACRO_1; */

    glue( MACRO_0, MACRO_1);

/* 25.5:    Operand of # operator is not pre-expanded.  */

/*  "ZERO_TOKEN";   */

#define ZERO_TOKEN

    str( ZERO_TOKEN);

/* { dg-do preprocess }

   { dg-final { if ![file exist n_25.i] { return }                      } }

   { dg-final { if \{ [grep n_25.i "\\( *a *, *b *- *1 *\\)"] != "" \} \{ } }

   { dg-final { if \{ [grep n_25.i "\\( *- *1 *\\)"] != ""      \} \{   } }

   { dg-final { if \{ [grep n_25.i "abc"] != ""                 \} \{   } }

   { dg-final { if \{ [grep n_25.i "MACRO_0MACRO_1"] != ""      \} \{   } }

   { dg-final { if \{ [grep n_25.i "\"ZERO_TOKEN\""] != ""      \} \{   } }

   { dg-final { return \} \} \} \} \}                                   } }

   { dg-final { fail "n_25.c: pre-expansion of macro arguments"         } }

 */