/* u_1_17.c:    Undefined behaviors on out-of-range #line number.   */

/* { dg-do preprocess } */

/* u.1.17:  Line number argument of #line directive should be in range of

        [1,32767].  */

#line   0   /* { dg-error "line number out of range| Line number \"0\" is out of range" }    */

#line   32767   /* valid here   */

/* line 32767   */

    __LINE__;

/* { dg-warning "line number out of range| got beyond range\n\[^ \]* warning: Line number" "" { target *-*-* } 0 }  */

#line   13  /* Restore to correct line number   */

/* u.1.18:  Line number argument of #line directive should be written in

        decimal digits. */

#line   0x1000  /* { dg-error "not a decimal integer| invalid format | isn't a decimal digits sequence" }    */