/* n_22.c:  Tokenization of preprocessing number.   */

#define EXP         1

/* 22.1:    12E+EXP is a preprocessing number, EXP is not expanded. */

/*  12E+EXP;    */

    12E+EXP;

/* 22.2:    .2e-EXP is also a preprocessing number. */

/*  .2e-EXP;    */

    .2e-EXP;

/* 22.3:    + or - is allowed only following E or e, 12+EXP is not a

        preprocessing number.   */

/* Three tokens: 12 + 1;    */

    12+EXP;

/* { dg-do preprocess }

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

   { dg-final { if \{ [grep n_22.i "12E\\+EXP"] != ""           \} \{   } }

   { dg-final { if \{ [grep n_22.i "\.2e-EXP"] != ""            \} \{   } }

   { dg-final { if \{ [grep n_22.i "12\[ \]*\\+\[ \]*1"] != ""  \} \{   } }

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

   { dg-final { fail "n_22.c: tokenization of pp-number"                } }

 */