1 /************************************************************** 2 * 3 * Licensed to the Apache Software Foundation (ASF) under one 4 * or more contributor license agreements. See the NOTICE file 5 * distributed with this work for additional information 6 * regarding copyright ownership. The ASF licenses this file 7 * to you under the Apache License, Version 2.0 (the 8 * "License"); you may not use this file except in compliance 9 * with the License. You may obtain a copy of the License at 10 * 11 * http://www.apache.org/licenses/LICENSE-2.0 12 * 13 * Unless required by applicable law or agreed to in writing, 14 * software distributed under the License is distributed on an 15 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY 16 * KIND, either express or implied. See the License for the 17 * specific language governing permissions and limitations 18 * under the License. 19 * 20 *************************************************************/ 21 22 23 24 #include <stdio.h> 25 #include <ctype.h> 26 #include "cppdef.h" 27 #include "cpp.h" 28 29 FILE *pCppOut = NULL; 30 FILE *pCppIn = NULL; 31 32 #if OSL_DEBUG_LEVEL > 1 33 FILE *pDefOut = NULL; /* ER evtl. #define's dump */ 34 #endif 35 36 #ifdef B200 37 /* BP, 25.07.91, einzige Moeglichkeit unter BC Stack und Heap festzusetzen */ 38 extern unsigned _stklen = 24000; 39 extern unsigned _heaplen = 30000; 40 #endif 41 42 43 44 /* 45 * Commonly used global variables: 46 * line is the current input line number. 47 * wrongline is set in many places when the actual output 48 * line is out of sync with the numbering, e.g, 49 * when expanding a macro with an embedded newline. 50 * 51 * token holds the last identifier scanned (which might 52 * be a candidate for macro expansion). 53 * errors is the running cpp error counter. 54 * infile is the head of a linked list of input files (extended by 55 * #include and macros being expanded). infile always points 56 * to the current file/macro. infile->parent to the includer, 57 * etc. infile->fd is NULL if this input stream is a macro. 58 */ 59 int line; /* Current line number */ 60 int wrongline; /* Force #line to compiler */ 61 char token[IDMAX + 1]; /* Current input token */ 62 int errors; /* cpp error counter */ 63 FILEINFO *infile = NULL; /* Current input file */ 64 #if OSL_DEBUG_LEVEL > 1 65 int debug; /* TRUE if debugging now */ 66 int bDumpDefs; /* TRUE if #define's dump req. */ 67 #ifdef EVALDEFS 68 int bIsInEval; /* TRUE if #define eval now */ 69 char EvalBuf[NEVALBUF + 1]; /* evaluation buffer */ 70 int nEvalOff = 0; /* offset to free buffer pos */ 71 #endif 72 #endif 73 /* 74 * This counter is incremented when a macro expansion is initiated. 75 * If it exceeds a built-in value, the expansion stops -- this tests 76 * for a runaway condition: 77 * #define X Y 78 * #define Y X 79 * X 80 * This can be disabled by falsifying rec_recover. (Nothing does this 81 * currently: it is a hook for an eventual invocation flag.) 82 */ 83 int recursion; /* Infinite recursion counter */ 84 int rec_recover = TRUE; /* Unwind recursive macros */ 85 86 /* 87 * instring is set TRUE when a string is scanned. It modifies the 88 * behavior of the "get next character" routine, causing all characters 89 * to be passed to the caller (except <DEF_MAGIC>). Note especially that 90 * comments and \<newline> are not removed from the source. (This 91 * prevents cpp output lines from being arbitrarily long). 92 * 93 * inmacro is set by #define -- it absorbs comments and converts 94 * form-feed and vertical-tab to space, but returns \<newline> 95 * to the caller. Strictly speaking, this is a bug as \<newline> 96 * shouldn't delimit tokens, but we'll worry about that some other 97 * time -- it is more important to prevent infinitly long output lines. 98 * 99 * instring and inmarcor are parameters to the get() routine which 100 * were made global for speed. 101 */ 102 int instring = FALSE; /* TRUE if scanning string */ 103 int inmacro = FALSE; /* TRUE if #defining a macro */ 104 105 /* 106 * work[] and workp are used to store one piece of text in a temporay 107 * buffer. To initialize storage, set workp = work. To store one 108 * character, call save(c); (This will fatally exit if there isn't 109 * room.) To terminate the string, call save(EOS). Note that 110 * the work buffer is used by several subroutines -- be sure your 111 * data won't be overwritten. The extra byte in the allocation is 112 * needed for string formal replacement. 113 */ 114 char work[NWORK + 1]; /* Work buffer */ 115 char *workp; /* Work buffer pointer */ 116 117 /* 118 * keepcomments is set TRUE by the -C option. If TRUE, comments 119 * are written directly to the output stream. This is needed if 120 * the output from cpp is to be passed to lint (which uses commands 121 * embedded in comments). cflag contains the permanent state of the 122 * -C flag. keepcomments is always falsified when processing #control 123 * commands and when compilation is supressed by a false #if 124 * 125 * If eflag is set, CPP returns "success" even if non-fatal errors 126 * were detected. 127 * 128 * If nflag is non-zero, no symbols are predefined except __LINE__. 129 * __FILE__, and __DATE__. If nflag > 1, absolutely no symbols 130 * are predefined. 131 */ 132 int keepcomments = FALSE; /* Write out comments flag */ 133 int cflag = FALSE; /* -C option (keep comments) */ 134 int eflag = FALSE; /* -E option (never fail) */ 135 int nflag = 0; /* -N option (no predefines) */ 136 137 /* 138 * ifstack[] holds information about nested #if's. It is always 139 * accessed via *ifptr. The information is as follows: 140 * WAS_COMPILING state of compiling flag at outer level. 141 * ELSE_SEEN set TRUE when #else seen to prevent 2nd #else. 142 * TRUE_SEEN set TRUE when #if or #elif succeeds 143 * ifstack[0] holds the compiling flag. It is TRUE if compilation 144 * is currently enabled. Note that this must be initialized TRUE. 145 */ 146 char ifstack[BLK_NEST] = { TRUE }; /* #if information */ 147 char *ifptr = ifstack; /* -> current ifstack[] */ 148 149 /* 150 * incdir[] stores the -i directories (and the system-specific 151 * #include <...> directories. 152 */ 153 char *incdir[NINCLUDE]; /* -i directories */ 154 char **incend = incdir; /* -> free space in incdir[] */ 155 156 /* 157 * This is the table used to predefine target machine and operating 158 * system designators. It may need hacking for specific circumstances. 159 * Note: it is not clear that this is part of the Ansi Standard. 160 * The -N option supresses preset definitions. 161 */ 162 char *preset[] = { /* names defined at cpp start */ 163 #ifdef MACHINE 164 MACHINE, 165 #endif 166 #ifdef SYSTEM 167 SYSTEM, 168 #endif 169 #ifdef COMPILER 170 COMPILER, 171 #endif 172 #if OSL_DEBUG_LEVEL > 1 173 "decus_cpp", /* Ourselves! */ 174 #endif 175 NULL /* Must be last */ 176 }; 177 178 /* 179 * The value of these predefined symbols must be recomputed whenever 180 * they are evaluated. The order must not be changed. 181 */ 182 char *magic[] = { /* Note: order is important */ 183 "__LINE__", 184 "__FILE__", 185 NULL /* Must be last */ 186 }; 187 188 static char *sharpfilename = NULL; 189 190 int nRunde = 0; 191 192 void InitCpp1() 193 { 194 int i; 195 /* BP */ 196 /* in der LIB-Version muessen alle Variablen initialisiert werden */ 197 198 line = wrongline = errors = recursion = 0; 199 for( i = 0; i < IDMAX; i++ ) 200 token[ i ] = 0; 201 202 for( i = 0; i < NWORK; i++ ) 203 work[ i ] = 0; 204 205 for( i = 0; i < NINCLUDE; i++ ) 206 incdir[ i ] = NULL; 207 208 workp = NULL; 209 for( i = 0; i < BLK_NEST; i++ ) 210 ifstack[ i ] = TRUE; 211 ifptr = ifstack; 212 213 pCppOut = stdout; 214 pCppIn = stdin; 215 #if OSL_DEBUG_LEVEL > 1 216 debug = 0; 217 bDumpDefs = 0; 218 pDefOut = stdout; 219 #ifdef EVALDEFS 220 bIsInEval = 0; 221 for( i = 0; i < NEVALBUF; i++ ) 222 EvalBuf[ i ] = 0; 223 nEvalOff = 0; 224 #endif 225 #endif 226 rec_recover = TRUE; 227 infile = NULL; 228 instring = inmacro = keepcomments = cflag = eflag = FALSE; 229 nflag = 0; 230 incend = incdir; 231 sharpfilename = NULL; 232 /* BP */ 233 } 234 235 int MAIN(int argc, char** argv) 236 { 237 register int i; 238 char **useargv, **pfargv; 239 240 241 if( nRunde == 0 ) 242 { 243 pCppIn = stdin; 244 pCppOut = stdout; 245 } 246 247 nRunde++; 248 InitCpp1(); 249 InitCpp2(); 250 InitCpp3(); 251 InitCpp4(); 252 InitCpp5(); 253 InitCpp6(); 254 255 #if HOST == SYS_VMS 256 argc = getredirection(argc, argv); /* vms >file and <file */ 257 #endif 258 initdefines(); /* O.S. specific def's */ 259 if ( argv[argc-1][0] == '@' ) 260 { 261 i = readoptions( argv[1], &pfargv ); /* Command file */ 262 useargv=pfargv; 263 } 264 else 265 { 266 i = dooptions(argc, argv); /* Command line -flags */ 267 useargv=argv; 268 } 269 switch (i) { 270 #if OSL_DEBUG_LEVEL > 1 271 case 4: 272 if ( bDumpDefs ) 273 { 274 /* 275 * Get defBase file, "-" means use stdout. 276 */ 277 if (!streq(useargv[3], "-")) { 278 #if HOST == SYS_VMS 279 /* 280 * On vms, reopen stdout with "vanilla rms" attributes. 281 */ 282 if ((i = creat(useargv[3], 0, "rat=cr", "rfm=var")) == -1 283 || dup2(i, fileno(stdout)) == -1) { 284 #else 285 /* alt if (freopen(useargv[3], "w", stdout) == NULL) { */ 286 287 pDefOut = fopen( useargv[3], "w" ); 288 if( pDefOut == NULL ) { 289 #endif 290 perror(useargv[3]); 291 cerror("Can't open output file \"%s\"", useargv[3]); 292 exit(IO_ERROR); 293 } 294 } /* Continue by opening output */ 295 } 296 /* OSL_DEBUG_LEVEL > 1 */ 297 #endif 298 case 3: 299 /* 300 * Get output file, "-" means use stdout. 301 */ 302 if (!streq(useargv[2], "-")) { 303 #if HOST == SYS_VMS 304 /* 305 * On vms, reopen stdout with "vanilla rms" attributes. 306 */ 307 if ((i = creat(useargv[2], 0, "rat=cr", "rfm=var")) == -1 308 || dup2(i, fileno(stdout)) == -1) { 309 #else 310 /* alt if (freopen(useargv[2], "w", stdout) == NULL) { */ 311 312 pCppOut = fopen( useargv[2], "w" ); 313 if( pCppOut == NULL ) { 314 #endif 315 perror(useargv[2]); 316 cerror("Can't open output file \"%s\"", useargv[2]); 317 exit(IO_ERROR); 318 } 319 } /* Continue by opening input */ 320 case 2: /* One file -> stdin */ 321 /* 322 * Open input file, "-" means use stdin. 323 */ 324 if (!streq(useargv[1], "-")) { 325 /* alt: if (freopen(useargv[1], "r", stdin) == NULL) { */ 326 pCppIn = fopen( useargv[1], "r" ); 327 if( pCppIn == NULL) { 328 perror(useargv[1]); 329 cerror("Can't open input file \"%s\"", useargv[1]); 330 exit(IO_ERROR); 331 } 332 strcpy(work, useargv[1]); /* Remember input filename */ 333 break; 334 } /* Else, just get stdin */ 335 case 0: /* No args? */ 336 case 1: /* No files, stdin -> stdout */ 337 #if (HOST == SYS_UNIX) || (HOST == SYS_UNKNOWN) 338 work[0] = EOS; /* Unix can't find stdin name */ 339 #else 340 fgetname(stdin, work); /* Vax-11C, Decus C know name */ 341 #endif 342 break; 343 344 default: 345 exit(IO_ERROR); /* Can't happen */ 346 } 347 /* if ( pfargv ) 348 { 349 for ( j=0;j++;j < PARALIMIT ) 350 { 351 if (pfargv[j]!=0) 352 free(pfargv[j]); 353 } 354 free(pfargv); 355 } 356 */ 357 358 setincdirs(); /* Setup -I include directories */ 359 addfile( pCppIn, work); /* "open" main input file */ 360 #if OSL_DEBUG_LEVEL > 1 361 if (debug > 0 || bDumpDefs) 362 dumpdef("preset #define symbols"); 363 #endif 364 if( pCppIn != stdin ) 365 rewind( pCppIn ); 366 367 cppmain(); /* Process main file */ 368 369 if ((i = (ifptr - &ifstack[0])) != 0) { 370 #if OLD_PREPROCESSOR 371 ciwarn("Inside #ifdef block at end of input, depth = %d", i); 372 #else 373 cierror("Inside #ifdef block at end of input, depth = %d", i); 374 #endif 375 } 376 #if OSL_DEBUG_LEVEL > 1 377 if( pDefOut != stdout && pDefOut != stderr ) 378 fclose( pDefOut ); 379 #endif 380 if( pCppOut != stdout && pCppOut != stderr ) 381 fclose( pCppOut ); 382 383 if (errors > 0) { 384 fprintf(stderr, (errors == 1) 385 ? "%d error in preprocessor\n" 386 : "%d errors in preprocessor\n", errors); 387 if (!eflag) 388 exit(IO_ERROR); 389 } 390 #ifdef NOMAIN /* BP */ /* kein exit im der LIB-Version */ 391 return( IO_NORMAL ); 392 #else 393 exit(IO_NORMAL); /* No errors or -E option set */ 394 #endif 395 396 } 397 398 FILE_LOCAL 399 void cppmain() 400 /* 401 * Main process for cpp -- copies tokens from the current input 402 * stream (main file, include file, or a macro) to the output 403 * file. 404 */ 405 { 406 register int c; /* Current character */ 407 register int counter; /* newlines and spaces */ 408 409 /* 410 * Explicitly output a #line at the start of cpp output so 411 * that lint (etc.) knows the name of the original source 412 * file. If we don't do this explicitly, we may get 413 * the name of the first #include file instead. 414 * We also seem to need a blank line following that first #line. 415 */ 416 #ifdef EVALDEFS 417 if ( !bIsInEval ) 418 #endif 419 { 420 sharp(); 421 PUTCHAR('\n'); 422 } 423 /* 424 * This loop is started "from the top" at the beginning of each line 425 * wrongline is set TRUE in many places if it is necessary to write 426 * a #line record. (But we don't write them when expanding macros.) 427 * 428 * The counter variable has two different uses: at 429 * the start of a line, it counts the number of blank lines that 430 * have been skipped over. These are then either output via 431 * #line records or by outputting explicit blank lines. 432 * When expanding tokens within a line, the counter remembers 433 * whether a blank/tab has been output. These are dropped 434 * at the end of the line, and replaced by a single blank 435 * within lines. 436 */ 437 for (;;) { 438 counter = 0; /* Count empty lines */ 439 for (;;) { /* For each line, ... */ 440 while (type[(c = get())] == SPA) /* Skip leading blanks */ 441 ; /* in this line. */ 442 if (c == '\n') /* If line's all blank, */ 443 ++counter; /* Do nothing now */ 444 else if (c == '#') { /* Is 1st non-space '#' */ 445 keepcomments = FALSE; /* Don't pass comments */ 446 counter = control(counter); /* Yes, do a #command */ 447 keepcomments = (cflag && compiling); 448 } 449 else if (c == EOF_CHAR) /* At end of file? */ 450 { 451 break; 452 } 453 else if (!compiling) { /* #ifdef false? */ 454 skipnl(); /* Skip to newline */ 455 counter++; /* Count it, too. */ 456 } 457 else { 458 break; /* Actual token */ 459 } 460 } 461 if (c == EOF_CHAR) /* Exit process at */ 462 break; /* End of file */ 463 /* 464 * If the loop didn't terminate because of end of file, we 465 * know there is a token to compile. First, clean up after 466 * absorbing newlines. counter has the number we skipped. 467 */ 468 if ((wrongline && infile->fp != NULL) || counter > 4) 469 sharp(); /* Output # line number */ 470 else { /* If just a few, stuff */ 471 while (--counter >= 0) /* them out ourselves */ 472 PUTCHAR('\n'); 473 } 474 /* 475 * Process each token on this line. 476 */ 477 unget(); /* Reread the char. */ 478 for (;;) { /* For the whole line, */ 479 do { /* Token concat. loop */ 480 for (counter = 0; (type[(c = get())] == SPA);) { 481 #if COMMENT_INVISIBLE 482 if (c != COM_SEP) 483 counter++; 484 #else 485 counter++; /* Skip over blanks */ 486 #endif 487 } 488 if (c == EOF_CHAR || c == '\n') 489 goto end_line; /* Exit line loop */ 490 else if (counter > 0) /* If we got any spaces */ 491 PUTCHAR(' '); /* Output one space */ 492 c = macroid(c); /* Grab the token */ 493 } while (type[c] == LET && catenate()); 494 if (c == EOF_CHAR || c == '\n') /* From macro exp error */ 495 goto end_line; /* Exit line loop */ 496 switch (type[c]) { 497 case LET: 498 fputs(token, pCppOut); /* Quite ordinary token */ 499 #ifdef EVALDEFS 500 { 501 int len; 502 if ( bIsInEval 503 && nEvalOff + (len=strlen(token)) < NEVALBUF ) 504 { 505 strcpy( &EvalBuf[nEvalOff], token ); 506 nEvalOff += len; 507 } 508 } 509 #endif 510 break; 511 512 513 case DIG: /* Output a number */ 514 case DOT: /* Dot may begin floats */ 515 #ifdef EVALDEFS 516 if ( bIsInEval ) 517 scannumber(c, outputEval); 518 else 519 scannumber(c, output); 520 #else 521 scannumber(c, output); 522 #endif 523 break; 524 525 case QUO: /* char or string const */ 526 scanstring(c, output); /* Copy it to output */ 527 break; 528 529 default: /* Some other character */ 530 cput(c); /* Just output it */ 531 #ifdef EVALDEFS 532 if ( bIsInEval && nEvalOff < NEVALBUF ) 533 EvalBuf[nEvalOff++] = c; 534 #endif 535 break; 536 } /* Switch ends */ 537 } /* Line for loop */ 538 end_line: if (c == '\n') { /* Compiling at EOL? */ 539 PUTCHAR('\n'); /* Output newline, if */ 540 if (infile->fp == NULL) /* Expanding a macro, */ 541 wrongline = TRUE; /* Output # line later */ 542 } 543 } /* Continue until EOF */ 544 #ifdef EVALDEFS 545 if ( bIsInEval ) 546 EvalBuf[nEvalOff++] = '\0'; 547 #endif 548 } 549 550 void output(int c) 551 /* 552 * Output one character to stdout -- output() is passed as an 553 * argument to scanstring() 554 */ 555 { 556 #if COMMENT_INVISIBLE 557 if (c != TOK_SEP && c != COM_SEP) 558 #else 559 if (c != TOK_SEP) 560 #endif 561 /* alt: PUTCHAR(c); */ 562 PUTCHAR(c); 563 } 564 565 #ifdef EVALDEFS 566 outputEval(c) 567 int c; 568 /* 569 * Output one character to stdout -- output() is passed as an 570 * argument to scanstring() 571 */ 572 { 573 #if COMMENT_INVISIBLE 574 if (c != TOK_SEP && c != COM_SEP) 575 #else 576 if (c != TOK_SEP) 577 #endif 578 /* alt: PUTCHAR(c); */ 579 { 580 PUTCHAR(c); 581 if ( bIsInEval && nEvalOff < NEVALBUF ) 582 EvalBuf[nEvalOff++] = c; 583 } 584 } 585 #endif 586 587 588 FILE_LOCAL 589 void sharp() 590 /* 591 * Output a line number line. 592 */ 593 { 594 register char *name; 595 596 if (keepcomments) /* Make sure # comes on */ 597 PUTCHAR('\n'); /* a fresh, new line. */ 598 fprintf( pCppOut, "#%s %d", LINE_PREFIX, line); 599 if (infile->fp != NULL) { 600 name = (infile->progname != NULL) 601 ? infile->progname : infile->filename; 602 if (sharpfilename == NULL 603 || (sharpfilename != NULL && !streq(name, sharpfilename)) ) { 604 if (sharpfilename != NULL) 605 free(sharpfilename); 606 sharpfilename = savestring(name); 607 fprintf( pCppOut, " \"%s\"", name); 608 } 609 } 610 PUTCHAR('\n'); 611 wrongline = FALSE; 612 } 613