gcc/fix-header.c

   1 /* fix-header.c - Make C header file suitable for C++.
   2    Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998,
   3    1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
   4
   5 This program is free software; you can redistribute it and/or modify it
   6 under the terms of the GNU General Public License as published by the
   7 Free Software Foundation; either version 2, or (at your option) any
   8 later version.
   9
  10 This program is distributed in the hope that it will be useful,
  11 but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 GNU General Public License for more details.
  14
  15 You should have received a copy of the GNU General Public License
  16 along with this program; if not, write to the Free Software
  17 Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
  18
  19 /* This program massages a system include file (such as stdio.h),
  20    into a form that is compatible with GNU C and GNU C++.
  21
  22    * extern "C" { ... } braces are added (inside #ifndef __cplusplus),
  23    if they seem to be needed.  These prevent C++ compilers from name
  24    mangling the functions inside the braces.
  25
  26    * If an old-style incomplete function declaration is seen (without
  27    an argument list), and it is a "standard" function listed in
  28    the file sys-protos.h (and with a non-empty argument list), then
  29    the declaration is converted to a complete prototype by replacing
  30    the empty parameter list with the argument list from sys-protos.h.
  31
  32    * The program can be given a list of (names of) required standard
  33    functions (such as fclose for stdio.h).  If a required function
  34    is not seen in the input, then a prototype for it will be
  35    written to the output.
  36
  37    * If all of the non-comment code of the original file is protected
  38    against multiple inclusion:
  39         #ifndef FOO
  40         #define FOO
  41         <body of include file>
  42         #endif
  43    then extra matter added to the include file is placed inside the <body>.
  44
  45    * If the input file is OK (nothing needs to be done);
  46    the output file is not written (nor removed if it exists).
  47
  48    There are also some special actions that are done for certain
  49    well-known standard include files:
  50
  51    * If argv[1] is "sys/stat.h", the Posix.1 macros
  52    S_ISBLK, S_ISCHR, S_ISDIR, S_ISFIFO, S_ISLNK, S_ISREG are added if
  53    they were missing, and the corresponding "traditional" S_IFxxx
  54    macros were defined.
  55
  56    * If argv[1] is "errno.h", errno is declared if it was missing.
  57
  58    * TODO:  The input file should be read complete into memory, because:
  59    a) it needs to be scanned twice anyway, and
  60    b) it would be nice to allow update in place.
  61
  62    Usage:
  63         fix-header FOO.H INFILE.H OUTFILE.H [OPTIONS]
  64    where:
  65    * FOO.H is the relative file name of the include file,
  66    as it would be #include'd by a C file.  (E.g. stdio.h)
  67    * INFILE.H is a full pathname for the input file (e.g. /usr/include/stdio.h)
  68    * OUTFILE.H is the full pathname for where to write the output file,
  69    if anything needs to be done.  (e.g. ./include/stdio.h)
  70    * OPTIONS can be -D or -I switches as you would pass to cpp.
  71
  72    Written by Per Bothner <bothner@cygnus.com>, July 1993.  */
  73
  74 #include "bconfig.h"
  75 #include "system.h"
  76 #include "coretypes.h"
  77 #include "tm.h"
  78 #include "obstack.h"
  79 #include "scan.h"
  80 #include "cpplib.h"
  81 #include "c-incpath.h"
  82 #include "errors.h"
  83
  84 #ifdef TARGET_EXTRA_INCLUDES
  85 void TARGET_EXTRA_INCLUDES (const char *sysroot ATTRIBUTE_UNUSED,
  86                             const char *iprefix ATTRIBUTE_UNUSED,
  87                             int stdinc ATTRIBUTE_UNUSED)
  88 {
  89 }
  90 #endif
  91
  92 #ifdef TARGET_EXTRA_PRE_INCLUDES
  93 void TARGET_EXTRA_PRE_INCLUDES (const char *sysroot ATTRIBUTE_UNUSED,
  94                             const char *iprefix ATTRIBUTE_UNUSED,
  95                             int stdinc ATTRIBUTE_UNUSED)
  96 {
  97 }
  98 #endif
  99
 100 struct line_maps line_table;
 101
 102 sstring buf;
 103
 104 int verbose = 0;
 105 int partial_count = 0;
 106 int warnings = 0;
 107
 108 #if ADD_MISSING_EXTERN_C
 109 int missing_extern_C_count = 0;
 110 #endif
 111
 112 #include "xsys-protos.h"
 113
 114 #ifdef FIXPROTO_IGNORE_LIST
 115 /* This is a currently unused feature.  */
 116
 117 /* List of files and directories to ignore.
 118    A directory name (ending in '/') means ignore anything in that
 119    directory.  (It might be more efficient to do directory pruning
 120    earlier in fixproto, but this is simpler and easier to customize.) */
 121
 122 static const char *const files_to_ignore[] = {
 123   "X11/",
 124   FIXPROTO_IGNORE_LIST
 125   0
 126 };
 127 #endif
 128
 129 char *inf_buffer;
 130 char *inf_limit;
 131 char *inf_ptr;
 132 static const char *cur_file;
 133
 134 /* Certain standard files get extra treatment */
 135
 136 enum special_file
 137 {
 138   no_special,
 139 #ifdef errno_h
 140 #undef errno_h
 141 #endif
 142   errno_h,
 143 #ifdef stdio_h
 144 #undef stdio_h
 145 #endif
 146   stdio_h,
 147 #ifdef stdlib_h
 148 #undef stdlib_h
 149 #endif
 150   stdlib_h,
 151 #ifdef sys_stat_h
 152 #undef sys_stat_h
 153 #endif
 154   sys_stat_h
 155 };
 156
 157 /* A NAMELIST is a sequence of names, separated by '\0', and terminated
 158    by an empty name (i.e. by "\0\0").  */
 159
 160 typedef const char *namelist;
 161
 162 /* The following macros provide the bits for symbol_flags.  */
 163 typedef int symbol_flags;
 164
 165 /* Used to mark names defined in the ANSI/ISO C standard.  */
 166 #define ANSI_SYMBOL 1
 167
 168 /* We no longer massage include files for POSIX or XOPEN symbols,
 169    as there are now several versions of the POSIX and XOPEN standards,
 170    and it would be a maintenance nightmare for us to track them all.
 171    Better to be compatible with the system include files.  */
 172 /*#define ADD_MISSING_POSIX 1 */
 173 /*#define ADD_MISSING_XOPEN 1 */
 174
 175 #if ADD_MISSING_POSIX
 176 /* Used to mark names defined in the Posix.1 or Posix.2 standard.  */
 177 #define POSIX1_SYMBOL 2
 178 #define POSIX2_SYMBOL 4
 179 #else
 180 #define POSIX1_SYMBOL 0
 181 #define POSIX2_SYMBOL 0
 182 #endif
 183
 184 #if ADD_MISSING_XOPEN
 185 /* Used to mark names defined in X/Open Portability Guide.  */
 186 #define XOPEN_SYMBOL 8
 187 /* Used to mark names defined in X/Open UNIX Extensions.  */
 188 #define XOPEN_EXTENDED_SYMBOL 16
 189 #else
 190 #define XOPEN_SYMBOL 0
 191 #define XOPEN_EXTENDED_SYMBOL 0
 192 #endif
 193
 194 /* Used to indicate names that are not functions */
 195 #define MACRO_SYMBOL 512
 196
 197 struct symbol_list {
 198   symbol_flags flags;
 199   namelist names;
 200 };
 201
 202 #define SYMBOL_TABLE_SIZE 10
 203 struct symbol_list symbol_table[SYMBOL_TABLE_SIZE];
 204 int cur_symbol_table_size;
 205
 206 static void add_symbols (symbol_flags, namelist);
 207 static struct fn_decl *lookup_std_proto (const char *, int);
 208 static void write_lbrac (void);
 209 static void recognized_macro (const char *);
 210 static void check_macro_names (cpp_reader *, namelist);
 211 static void read_scan_file (char *, int, char **);
 212 static void write_rbrac (void);
 213 static int inf_skip_spaces (int);
 214 static int inf_read_upto (sstring *, int);
 215 static int inf_scan_ident (sstring *, int);
 216 static int check_protection (int *, int *);
 217 static void cb_file_change (cpp_reader *, const struct line_map *);
 218
 219 static void
 220 add_symbols (symbol_flags flags, namelist names)
 221 {
 222   symbol_table[cur_symbol_table_size].flags = flags;
 223   symbol_table[cur_symbol_table_size].names = names;
 224   cur_symbol_table_size++;
 225   if (cur_symbol_table_size >= SYMBOL_TABLE_SIZE)
 226     fatal ("too many calls to add_symbols");
 227   symbol_table[cur_symbol_table_size].names = NULL; /* Termination.  */
 228 }
 229
 230 struct std_include_entry {
 231   const char *const name;
 232   const symbol_flags flags;
 233   const namelist names;
 234 };
 235
 236 const char NONE[] = "";  /* The empty namelist.  */
 237
 238 /* Special name to indicate a continuation line in std_include_table.  */
 239 const char CONTINUED[] = "";
 240
 241 const struct std_include_entry *include_entry;
 242
 243 const struct std_include_entry std_include_table [] = {
 244   { "ctype.h", ANSI_SYMBOL,
 245       "isalnum\0isalpha\0iscntrl\0isdigit\0isgraph\0islower\0\
 246 isprint\0ispunct\0isspace\0isupper\0isxdigit\0tolower\0toupper\0" },
 247
 248   { "dirent.h", POSIX1_SYMBOL, "closedir\0opendir\0readdir\0rewinddir\0"},
 249
 250   { "errno.h", ANSI_SYMBOL|MACRO_SYMBOL, "errno\0" },
 251
 252   /* ANSI_SYMBOL is wrong, but ...  */
 253   { "curses.h", ANSI_SYMBOL, "box\0delwin\0endwin\0getcurx\0getcury\0initscr\0\
 254 mvcur\0mvwprintw\0mvwscanw\0newwin\0overlay\0overwrite\0\
 255 scroll\0subwin\0touchwin\0waddstr\0wclear\0wclrtobot\0wclrtoeol\0\
 256 waddch\0wdelch\0wdeleteln\0werase\0wgetch\0wgetstr\0winsch\0winsertln\0\
 257 wmove\0wprintw\0wrefresh\0wscanw\0wstandend\0wstandout\0" },
 258
 259   { "fcntl.h", POSIX1_SYMBOL, "creat\0fcntl\0open\0" },
 260
 261   /* Maybe also "getgrent fgetgrent setgrent endgrent" */
 262   { "grp.h", POSIX1_SYMBOL, "getgrgid\0getgrnam\0" },
 263
 264 /*{ "limit.h", ... provided by gcc }, */
 265
 266   { "locale.h", ANSI_SYMBOL, "localeconv\0setlocale\0" },
 267
 268   { "math.h", ANSI_SYMBOL,
 269       "acos\0asin\0atan\0atan2\0ceil\0cos\0cosh\0exp\0\
 270 fabs\0floor\0fmod\0frexp\0ldexp\0log10\0log\0modf\0pow\0sin\0sinh\0sqrt\0\
 271 tan\0tanh\0" },
 272
 273   { CONTINUED, ANSI_SYMBOL|MACRO_SYMBOL, "HUGE_VAL\0" },
 274
 275   { "pwd.h", POSIX1_SYMBOL, "getpwnam\0getpwuid\0" },
 276
 277   /* Left out siglongjmp sigsetjmp - these depend on sigjmp_buf.  */
 278   { "setjmp.h", ANSI_SYMBOL, "longjmp\0setjmp\0" },
 279
 280   /* Left out signal() - its prototype is too complex for us!
 281      Also left out "sigaction sigaddset sigdelset sigemptyset
 282      sigfillset sigismember sigpending sigprocmask sigsuspend"
 283      because these need sigset_t or struct sigaction.
 284      Most systems that provide them will also declare them.  */
 285   { "signal.h", ANSI_SYMBOL, "raise\0" },
 286   { CONTINUED, POSIX1_SYMBOL, "kill\0" },
 287
 288   { "stdio.h", ANSI_SYMBOL,
 289       "clearerr\0fclose\0feof\0ferror\0fflush\0fgetc\0fgetpos\0\
 290 fgets\0fopen\0fprintf\0fputc\0fputs\0fread\0freopen\0fscanf\0fseek\0\
 291 fsetpos\0ftell\0fwrite\0getc\0getchar\0gets\0perror\0\
 292 printf\0putc\0putchar\0puts\0remove\0rename\0rewind\0scanf\0setbuf\0\
 293 setvbuf\0sprintf\0sscanf\0vprintf\0vsprintf\0vfprintf\0tmpfile\0\
 294 tmpnam\0ungetc\0" },
 295   { CONTINUED, POSIX1_SYMBOL, "fdopen\0fileno\0" },
 296   { CONTINUED, POSIX2_SYMBOL, "pclose\0popen\0" },  /* I think ...  */
 297 /* Should perhaps also handle NULL, EOF, ... ? */
 298
 299   /* "div ldiv", - ignored because these depend on div_t, ldiv_t
 300      ignore these: "mblen mbstowcs mbstowc wcstombs wctomb"
 301      Left out getgroups, because SunOS4 has incompatible BSD and SVR4 versions.
 302      Should perhaps also add NULL */
 303   { "stdlib.h", ANSI_SYMBOL,
 304       "abort\0abs\0atexit\0atof\0atoi\0atol\0bsearch\0calloc\0\
 305 exit\0free\0getenv\0labs\0malloc\0qsort\0rand\0realloc\0\
 306 srand\0strtod\0strtol\0strtoul\0system\0" },
 307   { CONTINUED, ANSI_SYMBOL|MACRO_SYMBOL, "EXIT_FAILURE\0EXIT_SUCCESS\0" },
 308   { CONTINUED, POSIX1_SYMBOL, "putenv\0" },
 309
 310   { "string.h", ANSI_SYMBOL, "memchr\0memcmp\0memcpy\0memmove\0memset\0\
 311 strcat\0strchr\0strcmp\0strcoll\0strcpy\0strcspn\0strerror\0\
 312 strlen\0strncat\0strncmp\0strncpy\0strpbrk\0strrchr\0strspn\0strstr\0\
 313 strtok\0strxfrm\0" },
 314 /* Should perhaps also add NULL and size_t */
 315
 316   { "strings.h", XOPEN_EXTENDED_SYMBOL,
 317       "bcmp\0bcopy\0bzero\0ffs\0index\0rindex\0strcasecmp\0strncasecmp\0" },
 318
 319   { "strops.h", XOPEN_EXTENDED_SYMBOL, "ioctl\0" },
 320
 321   /* Actually, XPG4 does not seem to have <sys/ioctl.h>, but defines
 322      ioctl in <strops.h>.  However, many systems have it is sys/ioctl.h,
 323      and many systems do have <sys/ioctl.h> but not <strops.h>.  */
 324   { "sys/ioctl.h", XOPEN_EXTENDED_SYMBOL, "ioctl\0" },
 325
 326   { "sys/socket.h", XOPEN_EXTENDED_SYMBOL, "socket\0" },
 327
 328   { "sys/stat.h", POSIX1_SYMBOL,
 329       "chmod\0fstat\0mkdir\0mkfifo\0stat\0lstat\0umask\0" },
 330   { CONTINUED, POSIX1_SYMBOL|MACRO_SYMBOL,
 331       "S_ISDIR\0S_ISBLK\0S_ISCHR\0S_ISFIFO\0S_ISREG\0S_ISLNK\0S_IFDIR\0\
 332 S_IFBLK\0S_IFCHR\0S_IFIFO\0S_IFREG\0S_IFLNK\0" },
 333   { CONTINUED, XOPEN_EXTENDED_SYMBOL, "fchmod\0" },
 334
 335 #if 0
 336 /* How do we handle fd_set? */
 337   { "sys/time.h", XOPEN_EXTENDED_SYMBOL, "select\0" },
 338   { "sys/select.h", XOPEN_EXTENDED_SYMBOL /* fake */, "select\0" },
 339 #endif
 340
 341   { "sys/times.h", POSIX1_SYMBOL, "times\0" },
 342   /* "sys/types.h" add types (not in old g++-include) */
 343
 344   { "sys/utsname.h", POSIX1_SYMBOL, "uname\0" },
 345
 346   { "sys/wait.h", POSIX1_SYMBOL, "wait\0waitpid\0" },
 347   { CONTINUED, POSIX1_SYMBOL|MACRO_SYMBOL,
 348       "WEXITSTATUS\0WIFEXITED\0WIFSIGNALED\0WIFSTOPPED\0WSTOPSIG\0\
 349 WTERMSIG\0WNOHANG\0WNOTRACED\0" },
 350
 351   { "tar.h", POSIX1_SYMBOL, NONE },
 352
 353   { "termios.h", POSIX1_SYMBOL,
 354       "cfgetispeed\0cfgetospeed\0cfsetispeed\0cfsetospeed\0tcdrain\0tcflow\0tcflush\0tcgetattr\0tcsendbreak\0tcsetattr\0" },
 355
 356   { "time.h", ANSI_SYMBOL,
 357       "asctime\0clock\0ctime\0difftime\0gmtime\0localtime\0mktime\0strftime\0time\0" },
 358   { CONTINUED, POSIX1_SYMBOL, "tzset\0" },
 359
 360   { "unistd.h", POSIX1_SYMBOL,
 361       "_exit\0access\0alarm\0chdir\0chown\0close\0ctermid\0cuserid\0\
 362 dup\0dup2\0execl\0execle\0execlp\0execv\0execve\0execvp\0fork\0fpathconf\0\
 363 getcwd\0getegid\0geteuid\0getgid\0getlogin\0getpgrp\0getpid\0\
 364 getppid\0getuid\0isatty\0link\0lseek\0pathconf\0pause\0pipe\0read\0rmdir\0\
 365 setgid\0setpgid\0setsid\0setuid\0sleep\0sysconf\0tcgetpgrp\0tcsetpgrp\0\
 366 ttyname\0unlink\0write\0" },
 367   { CONTINUED, POSIX2_SYMBOL, "getopt\0" },
 368   { CONTINUED, XOPEN_EXTENDED_SYMBOL,
 369       "lockf\0gethostid\0gethostname\0readlink\0symlink\0" },
 370
 371   { "utime.h", POSIX1_SYMBOL, "utime\0" },
 372
 373   { NULL, 0, NONE }
 374 };
 375
 376 enum special_file special_file_handling = no_special;
 377
 378 /* They are set if the corresponding macro has been seen.  */
 379 /* The following are only used when handling sys/stat.h */
 380 int seen_S_IFBLK = 0, seen_S_ISBLK  = 0;
 381 int seen_S_IFCHR = 0, seen_S_ISCHR  = 0;
 382 int seen_S_IFDIR = 0, seen_S_ISDIR  = 0;
 383 int seen_S_IFIFO = 0, seen_S_ISFIFO = 0;
 384 int seen_S_IFLNK = 0, seen_S_ISLNK  = 0;
 385 int seen_S_IFREG = 0, seen_S_ISREG  = 0;
 386 /* The following are only used when handling errno.h */
 387 int seen_errno = 0;
 388 /* The following are only used when handling stdlib.h */
 389 int seen_EXIT_FAILURE = 0, seen_EXIT_SUCCESS = 0;
 390 \f
 391 struct obstack scan_file_obstack;
 392
 393 /* NOTE:  If you edit this, also edit gen-protos.c !! */
 394
 395 static struct fn_decl *
 396 lookup_std_proto (const char *name, int name_length)
 397 {
 398   int i = hashstr (name, name_length) % HASH_SIZE;
 399   int i0 = i;
 400   for (;;)
 401     {
 402       struct fn_decl *fn;
 403       if (hash_tab[i] == 0)
 404         return NULL;
 405       fn = &std_protos[hash_tab[i]];
 406       if ((int) strlen (fn->fname) == name_length
 407           && strncmp (fn->fname, name, name_length) == 0)
 408         return fn;
 409       i = (i+1) % HASH_SIZE;
 410       gcc_assert (i != i0);
 411     }
 412 }
 413
 414 char *inc_filename;
 415 int inc_filename_length;
 416 FILE *outf;
 417 sstring line;
 418
 419 int lbrac_line, rbrac_line;
 420
 421 int required_unseen_count = 0;
 422 int required_other = 0;
 423
 424 static void
 425 write_lbrac (void)
 426 {
 427   if (partial_count)
 428     {
 429       fprintf (outf, "#ifndef _PARAMS\n");
 430       fprintf (outf, "#if defined(__STDC__) || defined(__cplusplus)\n");
 431       fprintf (outf, "#define _PARAMS(ARGS) ARGS\n");
 432       fprintf (outf, "#else\n");
 433       fprintf (outf, "#define _PARAMS(ARGS) ()\n");
 434       fprintf (outf, "#endif\n#endif /* _PARAMS */\n");
 435     }
 436 }
 437
 438 struct partial_proto
 439 {
 440   struct partial_proto *next;
 441   struct fn_decl *fn;
 442   int line_seen;
 443 };
 444
 445 struct partial_proto *partial_proto_list = NULL;
 446
 447 struct partial_proto required_dummy_proto, seen_dummy_proto;
 448 #define REQUIRED(FN) ((FN)->partial == &required_dummy_proto)
 449 #define SET_REQUIRED(FN) ((FN)->partial = &required_dummy_proto)
 450 #define SET_SEEN(FN) ((FN)->partial = &seen_dummy_proto)
 451 #define SEEN(FN) ((FN)->partial == &seen_dummy_proto)
 452
 453 static void
 454 recognized_macro (const char *fname)
 455 {
 456   /* The original include file defines fname as a macro.  */
 457   struct fn_decl *fn = lookup_std_proto (fname, strlen (fname));
 458
 459   /* Since fname is a macro, don't require a prototype for it.  */
 460   if (fn)
 461     {
 462       if (REQUIRED (fn))
 463         required_unseen_count--;
 464       SET_SEEN (fn);
 465     }
 466
 467   switch (special_file_handling)
 468     {
 469     case errno_h:
 470       if (strcmp (fname, "errno") == 0 && !seen_errno)
 471         seen_errno = 1, required_other--;
 472       break;
 473     case stdlib_h:
 474       if (strcmp (fname, "EXIT_FAILURE") == 0 && !seen_EXIT_FAILURE)
 475         seen_EXIT_FAILURE = 1, required_other--;
 476       if (strcmp (fname, "EXIT_SUCCESS") == 0 && !seen_EXIT_SUCCESS)
 477         seen_EXIT_SUCCESS = 1, required_other--;
 478       break;
 479     case sys_stat_h:
 480       if (fname[0] == 'S' && fname[1] == '_')
 481         {
 482           if (strcmp (fname, "S_IFBLK") == 0) seen_S_IFBLK++;
 483           else if (strcmp (fname, "S_ISBLK") == 0) seen_S_ISBLK++;
 484           else if (strcmp (fname, "S_IFCHR") == 0) seen_S_IFCHR++;
 485           else if (strcmp (fname, "S_ISCHR") == 0) seen_S_ISCHR++;
 486           else if (strcmp (fname, "S_IFDIR") == 0) seen_S_IFDIR++;
 487           else if (strcmp (fname, "S_ISDIR") == 0) seen_S_ISDIR++;
 488           else if (strcmp (fname, "S_IFIFO") == 0) seen_S_IFIFO++;
 489           else if (strcmp (fname, "S_ISFIFO") == 0) seen_S_ISFIFO++;
 490           else if (strcmp (fname, "S_IFLNK") == 0) seen_S_IFLNK++;
 491           else if (strcmp (fname, "S_ISLNK") == 0) seen_S_ISLNK++;
 492           else if (strcmp (fname, "S_IFREG") == 0) seen_S_IFREG++;
 493           else if (strcmp (fname, "S_ISREG") == 0) seen_S_ISREG++;
 494         }
 495       break;
 496
 497     default:
 498       break;
 499     }
 500 }
 501
 502 void
 503 recognized_extern (const cpp_token *name)
 504 {
 505   switch (special_file_handling)
 506     {
 507     case errno_h:
 508       if (cpp_ideq (name, "errno"))
 509         seen_errno = 1, required_other--;
 510       break;
 511
 512     default:
 513       break;
 514     }
 515 }
 516
 517 /* Called by scan_decls if it saw a function definition for a function
 518    named FNAME.  KIND is 'I' for an inline function; 'F' if a normal
 519    function declaration preceded by 'extern "C"' (or nested inside
 520    'extern "C"' braces); or 'f' for other function declarations.  */
 521
 522 void
 523 recognized_function (const cpp_token *fname, unsigned int line, int kind,
 524                      int have_arg_list)
 525 {
 526   struct partial_proto *partial;
 527   int i;
 528   struct fn_decl *fn;
 529
 530   fn = lookup_std_proto ((const char *) NODE_NAME (fname->val.node),
 531                          NODE_LEN (fname->val.node));
 532
 533   /* Remove the function from the list of required function.  */
 534   if (fn)
 535     {
 536       if (REQUIRED (fn))
 537         required_unseen_count--;
 538       SET_SEEN (fn);
 539     }
 540
 541   /* If we have a full prototype, we're done.  */
 542   if (have_arg_list)
 543     return;
 544
 545   if (kind == 'I')  /* don't edit inline function */
 546     return;
 547
 548   /* If the partial prototype was included from some other file,
 549      we don't need to patch it up (in this run).  */
 550   i = strlen (cur_file);
 551   if (i < inc_filename_length
 552       || strcmp (inc_filename, cur_file + (i - inc_filename_length)) != 0)
 553     return;
 554
 555   if (fn == NULL)
 556     return;
 557   if (fn->params[0] == '\0')
 558     return;
 559
 560   /* We only have a partial function declaration,
 561      so remember that we have to add a complete prototype.  */
 562   partial_count++;
 563   partial = obstack_alloc (&scan_file_obstack, sizeof (struct partial_proto));
 564   partial->line_seen = line;
 565   partial->fn = fn;
 566   fn->partial = partial;
 567   partial->next = partial_proto_list;
 568   partial_proto_list = partial;
 569   if (verbose)
 570     {
 571       fprintf (stderr, "(%s: %s non-prototype function declaration.)\n",
 572                inc_filename, fn->fname);
 573     }
 574 }
 575
 576 /* For any name in NAMES that is defined as a macro,
 577    call recognized_macro on it.  */
 578
 579 static void
 580 check_macro_names (cpp_reader *pfile, namelist names)
 581 {
 582   size_t len;
 583   while (*names)
 584     {
 585       len = strlen (names);
 586       if (cpp_defined (pfile, (const unsigned char *)names, len))
 587         recognized_macro (names);
 588       names += len + 1;
 589     }
 590 }
 591
 592 static void
 593 cb_file_change (cpp_reader *pfile ATTRIBUTE_UNUSED,
 594                 const struct line_map *map)
 595 {
 596   /* Just keep track of current file name.  */
 597   cur_file = map == NULL ? NULL : map->to_file;
 598 }
 599
 600 static void
 601 read_scan_file (char *in_fname, int argc, char **argv)
 602 {
 603   cpp_reader *scan_in;
 604   cpp_callbacks *cb;
 605   cpp_options *options;
 606   struct fn_decl *fn;
 607   int i, strings_processed;
 608   struct symbol_list *cur_symbols;
 609
 610   obstack_init (&scan_file_obstack);
 611
 612   linemap_init (&line_table);
 613   scan_in = cpp_create_reader (CLK_GNUC89, NULL, &line_table);
 614   cb = cpp_get_callbacks (scan_in);
 615   cb->file_change = cb_file_change;
 616
 617   /* We are going to be scanning a header file out of its proper context,
 618      so ignore warnings and errors.  */
 619   options = cpp_get_options (scan_in);
 620   options->inhibit_warnings = 1;
 621   options->inhibit_errors = 1;
 622   cpp_post_options (scan_in);
 623
 624   if (!cpp_read_main_file (scan_in, in_fname))
 625     exit (FATAL_EXIT_CODE);
 626
 627   cpp_change_file (scan_in, LC_RENAME, "<built-in>");
 628   cpp_init_builtins (scan_in, true);
 629   cpp_change_file (scan_in, LC_RENAME, in_fname);
 630
 631   /* Process switches after builtins so -D can override them.  */
 632   for (i = 0; i < argc; i += strings_processed)
 633     {
 634       strings_processed = 0;
 635       if (argv[i][0] == '-')
 636         {
 637           if (argv[i][1] == 'I')
 638             {
 639               if (argv[i][2] != '\0')
 640                 {
 641                   strings_processed = 1;
 642                   add_path (xstrdup (argv[i] + 2), BRACKET, false, false);
 643                 }
 644               else if (i + 1 != argc)
 645                 {
 646                   strings_processed = 2;
 647                   add_path (xstrdup (argv[i + 1]), BRACKET, false, false);
 648                 }
 649             }
 650           else if (argv[i][1] == 'D')
 651             {
 652               if (argv[i][2] != '\0')
 653                 strings_processed = 1, cpp_define (scan_in, argv[i] + 2);
 654               else if (i + 1 != argc)
 655                 strings_processed = 2, cpp_define (scan_in, argv[i + 1]);
 656             }
 657         }
 658
 659       if (strings_processed == 0)
 660         break;
 661     }
 662
 663   if (i < argc)
 664     cpp_error (scan_in, CPP_DL_ERROR, "invalid option `%s'", argv[i]);
 665   if (cpp_errors (scan_in))
 666     exit (FATAL_EXIT_CODE);
 667
 668   register_include_chains (scan_in, NULL /* sysroot */, NULL /* iprefix */,
 669                            NULL /* imultilib */, true /* stdinc */,
 670                            false /* cxx_stdinc */, false /* verbose */);
 671
 672   /* We are scanning a system header, so mark it as such.  */
 673   cpp_make_system_header (scan_in, 1, 0);
 674
 675   scan_decls (scan_in, argc, argv);
 676   for (cur_symbols = &symbol_table[0]; cur_symbols->names; cur_symbols++)
 677     check_macro_names (scan_in, cur_symbols->names);
 678
 679   /* Traditionally, getc and putc are defined in terms of _filbuf and _flsbuf.
 680      If so, those functions are also required.  */
 681   if (special_file_handling == stdio_h
 682       && (fn = lookup_std_proto ("_filbuf", 7)) != NULL)
 683     {
 684       unsigned char getchar_call[] = "getchar();\n";
 685       int seen_filbuf = 0;
 686
 687       /* Scan the macro expansion of "getchar();".  */
 688       cpp_push_buffer (scan_in, getchar_call, sizeof(getchar_call) - 1,
 689                        /* from_stage3 */ true);
 690       for (;;)
 691         {
 692           const cpp_token *t = cpp_get_token (scan_in);
 693
 694           if (t->type == CPP_EOF)
 695             break;
 696           else if (cpp_ideq (t, "_filbuf"))
 697             seen_filbuf++;
 698         }
 699
 700       if (seen_filbuf)
 701         {
 702           int need_filbuf = !SEEN (fn) && !REQUIRED (fn);
 703           struct fn_decl *flsbuf_fn = lookup_std_proto ("_flsbuf", 7);
 704           int need_flsbuf
 705             = flsbuf_fn && !SEEN (flsbuf_fn) && !REQUIRED (flsbuf_fn);
 706
 707           /* Append "_filbuf" and/or "_flsbuf" to the required functions.  */
 708           if (need_filbuf + need_flsbuf)
 709             {
 710               const char *new_list;
 711               if (need_filbuf)
 712                 SET_REQUIRED (fn);
 713               if (need_flsbuf)
 714                 SET_REQUIRED (flsbuf_fn);
 715               if (need_flsbuf && need_filbuf)
 716                 new_list = "_filbuf\0_flsbuf\0";
 717               else if (need_flsbuf)
 718                 new_list = "_flsbuf\0";
 719               else /* if (need_flsbuf) */
 720                 new_list = "_filbuf\0";
 721               add_symbols (ANSI_SYMBOL, new_list);
 722               required_unseen_count += need_filbuf + need_flsbuf;
 723             }
 724         }
 725     }
 726
 727   if (required_unseen_count + partial_count + required_other == 0)
 728     {
 729       if (verbose)
 730         fprintf (stderr, "%s: OK, nothing needs to be done.\n", inc_filename);
 731       exit (SUCCESS_EXIT_CODE);
 732     }
 733   if (!verbose)
 734     fprintf (stderr, "%s: fixing %s\n", progname, inc_filename);
 735   else
 736     {
 737       if (required_unseen_count)
 738         fprintf (stderr, "%s: %d missing function declarations.\n",
 739                  inc_filename, required_unseen_count);
 740       if (partial_count)
 741         fprintf (stderr, "%s: %d non-prototype function declarations.\n",
 742                  inc_filename, partial_count);
 743     }
 744 }
 745
 746 static void
 747 write_rbrac (void)
 748 {
 749   struct fn_decl *fn;
 750   const char *cptr;
 751   struct symbol_list *cur_symbols;
 752
 753   if (required_unseen_count)
 754     {
 755 #ifdef NO_IMPLICIT_EXTERN_C
 756       fprintf (outf, "#ifdef __cplusplus\nextern \"C\" {\n#endif\n");
 757 #endif
 758     }
 759
 760   /* Now we print out prototypes for those functions that we haven't seen.  */
 761   for (cur_symbols = &symbol_table[0]; cur_symbols->names; cur_symbols++)
 762     {
 763       int if_was_emitted = 0;
 764       int name_len;
 765       cptr = cur_symbols->names;
 766       for ( ; (name_len = strlen (cptr)) != 0; cptr+= name_len + 1)
 767         {
 768           int macro_protect = 0;
 769
 770           if (cur_symbols->flags & MACRO_SYMBOL)
 771             continue;
 772
 773           fn = lookup_std_proto (cptr, name_len);
 774           if (fn == NULL || !REQUIRED (fn))
 775             continue;
 776
 777           if (!if_was_emitted)
 778             {
 779 /*            what about curses. ??? or _flsbuf/_filbuf ??? */
 780               if (cur_symbols->flags & ANSI_SYMBOL)
 781                 fprintf (outf,
 782          "#if defined(__USE_FIXED_PROTOTYPES__) || defined(__cplusplus) || defined (__STRICT_ANSI__)\n");
 783               else if (cur_symbols->flags & (POSIX1_SYMBOL|POSIX2_SYMBOL))
 784                 fprintf (outf,
 785        "#if defined(__USE_FIXED_PROTOTYPES__) || (defined(__cplusplus) \\\n\
 786     ? (!defined(__STRICT_ANSI__) || defined(_POSIX_SOURCE)) \\\n\
 787     : (defined(__STRICT_ANSI__) && defined(_POSIX_SOURCE)))\n");
 788               else if (cur_symbols->flags & XOPEN_SYMBOL)
 789                 {
 790                 fprintf (outf,
 791        "#if defined(__USE_FIXED_PROTOTYPES__) \\\n\
 792    || (defined(__STRICT_ANSI__) && defined(_XOPEN_SOURCE))\n");
 793                 }
 794               else if (cur_symbols->flags & XOPEN_EXTENDED_SYMBOL)
 795                 {
 796                 fprintf (outf,
 797        "#if defined(__USE_FIXED_PROTOTYPES__) \\\n\
 798    || (defined(__STRICT_ANSI__) && defined(_XOPEN_EXTENDED_SOURCE))\n");
 799                 }
 800               else
 801                 {
 802                   fatal ("internal error for function %s", fn->fname);
 803                 }
 804               if_was_emitted = 1;
 805             }
 806
 807           /* In the case of memmove, protect in case the application
 808              defines it as a macro before including the header.  */
 809           if (!strcmp (fn->fname, "memmove")
 810               || !strcmp (fn->fname, "putc")
 811               || !strcmp (fn->fname, "getc")
 812               || !strcmp (fn->fname, "vprintf")
 813               || !strcmp (fn->fname, "vfprintf")
 814               || !strcmp (fn->fname, "vsprintf")
 815               || !strcmp (fn->fname, "rewinddir")
 816               || !strcmp (fn->fname, "abort"))
 817             macro_protect = 1;
 818
 819           if (macro_protect)
 820             fprintf (outf, "#ifndef %s\n", fn->fname);
 821           fprintf (outf, "extern %s %s (%s);\n",
 822                    fn->rtype, fn->fname, fn->params);
 823           if (macro_protect)
 824             fprintf (outf, "#endif\n");
 825         }
 826       if (if_was_emitted)
 827         fprintf (outf,
 828                  "#endif /* defined(__USE_FIXED_PROTOTYPES__) || ... */\n");
 829     }
 830   if (required_unseen_count)
 831     {
 832 #ifdef NO_IMPLICIT_EXTERN_C
 833       fprintf (outf, "#ifdef __cplusplus\n}\n#endif\n");
 834 #endif
 835     }
 836
 837   switch (special_file_handling)
 838     {
 839     case errno_h:
 840       if (!seen_errno)
 841         fprintf (outf, "extern int errno;\n");
 842       break;
 843     case stdlib_h:
 844       if (!seen_EXIT_FAILURE)
 845         fprintf (outf, "#define EXIT_FAILURE 1\n");
 846       if (!seen_EXIT_SUCCESS)
 847         fprintf (outf, "#define EXIT_SUCCESS 0\n");
 848       break;
 849     case sys_stat_h:
 850       if (!seen_S_ISBLK && seen_S_IFBLK)
 851         fprintf (outf,
 852                  "#define S_ISBLK(mode) (((mode) & S_IFMT) == S_IFBLK)\n");
 853       if (!seen_S_ISCHR && seen_S_IFCHR)
 854         fprintf (outf,
 855                  "#define S_ISCHR(mode) (((mode) & S_IFMT) == S_IFCHR)\n");
 856       if (!seen_S_ISDIR && seen_S_IFDIR)
 857         fprintf (outf,
 858                  "#define S_ISDIR(mode) (((mode) & S_IFMT) == S_IFDIR)\n");
 859       if (!seen_S_ISFIFO && seen_S_IFIFO)
 860         fprintf (outf,
 861                  "#define S_ISFIFO(mode) (((mode) & S_IFMT) == S_IFIFO)\n");
 862       if (!seen_S_ISLNK && seen_S_IFLNK)
 863         fprintf (outf,
 864                  "#define S_ISLNK(mode) (((mode) & S_IFMT) == S_IFLNK)\n");
 865       if (!seen_S_ISREG && seen_S_IFREG)
 866         fprintf (outf,
 867                  "#define S_ISREG(mode) (((mode) & S_IFMT) == S_IFREG)\n");
 868       break;
 869
 870     default:
 871       break;
 872     }
 873
 874 }
 875
 876 /* Returns 1 iff the file is properly protected from multiple inclusion:
 877    #ifndef PROTECT_NAME
 878    #define PROTECT_NAME
 879    #endif
 880
 881  */
 882
 883 #define INF_GET() (inf_ptr < inf_limit ? *(unsigned char *) inf_ptr++ : EOF)
 884 #define INF_UNGET(c) ((c)!=EOF && inf_ptr--)
 885
 886 static int
 887 inf_skip_spaces (int c)
 888 {
 889   for (;;)
 890     {
 891       if (c == ' ' || c == '\t')
 892         c = INF_GET ();
 893       else if (c == '/')
 894         {
 895           c = INF_GET ();
 896           if (c != '*')
 897             {
 898               (void) INF_UNGET (c);
 899               return '/';
 900             }
 901           c = INF_GET ();
 902           for (;;)
 903             {
 904               if (c == EOF)
 905                 return EOF;
 906               else if (c != '*')
 907                 {
 908                   if (c == '\n')
 909                     source_lineno++, lineno++;
 910                   c = INF_GET ();
 911                 }
 912               else if ((c = INF_GET ()) == '/')
 913                 return INF_GET ();
 914             }
 915         }
 916       else
 917         break;
 918     }
 919   return c;
 920 }
 921
 922 /* Read into STR from inf_buffer upto DELIM.  */
 923
 924 static int
 925 inf_read_upto (sstring *str, int delim)
 926 {
 927   int ch;
 928   for (;;)
 929     {
 930       ch = INF_GET ();
 931       if (ch == EOF || ch == delim)
 932         break;
 933       SSTRING_PUT (str, ch);
 934     }
 935   MAKE_SSTRING_SPACE (str, 1);
 936   *str->ptr = 0;
 937   return ch;
 938 }
 939
 940 static int
 941 inf_scan_ident (sstring *s, int c)
 942 {
 943   s->ptr = s->base;
 944   if (ISIDST (c))
 945     {
 946       for (;;)
 947         {
 948           SSTRING_PUT (s, c);
 949           c = INF_GET ();
 950           if (c == EOF || !(ISIDNUM (c)))
 951             break;
 952         }
 953     }
 954   MAKE_SSTRING_SPACE (s, 1);
 955   *s->ptr = 0;
 956   return c;
 957 }
 958
 959 /* Returns 1 if the file is correctly protected against multiple
 960    inclusion, setting *ifndef_line to the line number of the initial #ifndef
 961    and setting *endif_line to the final #endif.
 962    Otherwise return 0.  */
 963
 964 static int
 965 check_protection (int *ifndef_line, int *endif_line)
 966 {
 967   int c;
 968   int if_nesting = 1; /* Level of nesting of #if's */
 969   char *protect_name = NULL; /* Identifier following initial #ifndef */
 970   int define_seen = 0;
 971
 972   /* Skip initial white space (including comments).  */
 973   for (;; lineno++)
 974     {
 975       c = inf_skip_spaces (' ');
 976       if (c == EOF)
 977         return 0;
 978       if (c != '\n')
 979         break;
 980     }
 981   if (c != '#')
 982     return 0;
 983   c = inf_scan_ident (&buf, inf_skip_spaces (' '));
 984   if (SSTRING_LENGTH (&buf) == 0 || strcmp (buf.base, "ifndef") != 0)
 985     return 0;
 986
 987   /* So far so good: We've seen an initial #ifndef.  */
 988   *ifndef_line = lineno;
 989   c = inf_scan_ident (&buf, inf_skip_spaces (c));
 990   if (SSTRING_LENGTH (&buf) == 0 || c == EOF)
 991     return 0;
 992   protect_name = xstrdup (buf.base);
 993
 994   (void) INF_UNGET (c);
 995   c = inf_read_upto (&buf, '\n');
 996   if (c == EOF)
 997     return 0;
 998   lineno++;
 999
1000   for (;;)
1001     {
1002       c = inf_skip_spaces (' ');
1003       if (c == EOF)
1004         return 0;
1005       if (c == '\n')
1006         {
1007           lineno++;
1008           continue;
1009         }
1010       if (c != '#')
1011         goto skip_to_eol;
1012       c = inf_scan_ident (&buf, inf_skip_spaces (' '));
1013       if (SSTRING_LENGTH (&buf) == 0)
1014         ;
1015       else if (!strcmp (buf.base, "ifndef")
1016           || !strcmp (buf.base, "ifdef") || !strcmp (buf.base, "if"))
1017         {
1018           if_nesting++;
1019         }
1020       else if (!strcmp (buf.base, "endif"))
1021         {
1022           if_nesting--;
1023           if (if_nesting == 0)
1024             break;
1025         }
1026       else if (!strcmp (buf.base, "else"))
1027         {
1028           if (if_nesting == 1)
1029             return 0;
1030         }
1031       else if (!strcmp (buf.base, "define"))
1032         {
1033           c = inf_skip_spaces (c);
1034           c = inf_scan_ident (&buf, c);
1035           if (buf.base[0] > 0 && strcmp (buf.base, protect_name) == 0)
1036             define_seen = 1;
1037         }
1038     skip_to_eol:
1039       for (;;)
1040         {
1041           if (c == '\n' || c == EOF)
1042             break;
1043           c = INF_GET ();
1044         }
1045       if (c == EOF)
1046         return 0;
1047       lineno++;
1048     }
1049
1050   if (!define_seen)
1051      return 0;
1052   *endif_line = lineno;
1053   /* Skip final white space (including comments).  */
1054   for (;;)
1055     {
1056       c = inf_skip_spaces (' ');
1057       if (c == EOF)
1058         break;
1059       if (c != '\n')
1060         return 0;
1061     }
1062
1063   return 1;
1064 }
1065
1066 extern int main (int, char **);
1067
1068 int
1069 main (int argc, char **argv)
1070 {
1071   int inf_fd;
1072   struct stat sbuf;
1073   int c;
1074 #ifdef FIXPROTO_IGNORE_LIST
1075   int i;
1076 #endif
1077   const char *cptr;
1078   int ifndef_line;
1079   int endif_line;
1080   long to_read;
1081   long int inf_size;
1082   struct symbol_list *cur_symbols;
1083
1084   progname = "fix-header";
1085   if (argv[0] && argv[0][0])
1086     {
1087       char *p;
1088
1089       progname = 0;
1090       for (p = argv[0]; *p; p++)
1091         if (*p == '/')
1092           progname = p;
1093       progname = progname ? progname+1 : argv[0];
1094     }
1095
1096   if (argc < 4)
1097     {
1098       fprintf (stderr, "%s: Usage: foo.h infile.h outfile.h options\n",
1099                progname);
1100       exit (FATAL_EXIT_CODE);
1101     }
1102
1103   inc_filename = argv[1];
1104   inc_filename_length = strlen (inc_filename);
1105
1106 #ifdef FIXPROTO_IGNORE_LIST
1107   for (i = 0; files_to_ignore[i] != NULL; i++)
1108     {
1109       const char *const ignore_name = files_to_ignore[i];
1110       int ignore_len = strlen (ignore_name);
1111       if (strncmp (inc_filename, ignore_name, ignore_len) == 0)
1112         {
1113           if (ignore_name[ignore_len-1] == '/'
1114               || inc_filename[ignore_len] == '\0')
1115             {
1116               if (verbose)
1117                 fprintf (stderr, "%s: ignoring %s\n", progname, inc_filename);
1118               exit (SUCCESS_EXIT_CODE);
1119             }
1120         }
1121
1122     }
1123 #endif
1124
1125   if (strcmp (inc_filename, "sys/stat.h") == 0)
1126     special_file_handling = sys_stat_h;
1127   else if (strcmp (inc_filename, "errno.h") == 0)
1128     special_file_handling = errno_h, required_other++;
1129   else if (strcmp (inc_filename, "stdlib.h") == 0)
1130     special_file_handling = stdlib_h, required_other+=2;
1131   else if (strcmp (inc_filename, "stdio.h") == 0)
1132     special_file_handling = stdio_h;
1133   include_entry = std_include_table;
1134   while (include_entry->name != NULL
1135          && ((strcmp (include_entry->name, CONTINUED) == 0)
1136              || strcmp (inc_filename, include_entry->name) != 0))
1137     include_entry++;
1138
1139   if (include_entry->name != NULL)
1140     {
1141       const struct std_include_entry *entry;
1142       cur_symbol_table_size = 0;
1143       for (entry = include_entry; ;)
1144         {
1145           if (entry->flags)
1146             add_symbols (entry->flags, entry->names);
1147           entry++;
1148           if (!entry->name || strcmp (entry->name, CONTINUED) != 0)
1149             break;
1150         }
1151     }
1152   else
1153     symbol_table[0].names = NULL;
1154
1155   /* Count and mark the prototypes required for this include file.  */
1156   for (cur_symbols = &symbol_table[0]; cur_symbols->names; cur_symbols++)
1157     {
1158       int name_len;
1159       if (cur_symbols->flags & MACRO_SYMBOL)
1160         continue;
1161       cptr = cur_symbols->names;
1162       for ( ; (name_len = strlen (cptr)) != 0; cptr+= name_len + 1)
1163         {
1164           struct fn_decl *fn = lookup_std_proto (cptr, name_len);
1165           required_unseen_count++;
1166           if (fn == NULL)
1167             fprintf (stderr, "Internal error:  No prototype for %s\n", cptr);
1168           else
1169             SET_REQUIRED (fn);
1170         }
1171     }
1172
1173   read_scan_file (argv[2], argc - 4, argv + 4);
1174
1175   inf_fd = open (argv[2], O_RDONLY, 0666);
1176   if (inf_fd < 0)
1177     {
1178       fprintf (stderr, "%s: Cannot open '%s' for reading -",
1179                progname, argv[2]);
1180       perror (NULL);
1181       exit (FATAL_EXIT_CODE);
1182     }
1183   if (fstat (inf_fd, &sbuf) < 0)
1184     {
1185       fprintf (stderr, "%s: Cannot get size of '%s' -", progname, argv[2]);
1186       perror (NULL);
1187       exit (FATAL_EXIT_CODE);
1188     }
1189   inf_size = sbuf.st_size;
1190   inf_buffer = XNEWVEC (char, inf_size + 2);
1191   inf_ptr = inf_buffer;
1192
1193   to_read = inf_size;
1194   while (to_read > 0)
1195     {
1196       long i = read (inf_fd, inf_buffer + inf_size - to_read, to_read);
1197       if (i < 0)
1198         {
1199           fprintf (stderr, "%s: Failed to read '%s' -", progname, argv[2]);
1200           perror (NULL);
1201           exit (FATAL_EXIT_CODE);
1202         }
1203       if (i == 0)
1204         {
1205           inf_size -= to_read;
1206           break;
1207         }
1208       to_read -= i;
1209     }
1210
1211   close (inf_fd);
1212
1213   /* Inf_size may have changed if read was short (as on VMS) */
1214   inf_buffer[inf_size] = '\n';
1215   inf_buffer[inf_size + 1] = '\0';
1216   inf_limit = inf_buffer + inf_size;
1217
1218   /* If file doesn't end with '\n', add one.  */
1219   if (inf_limit > inf_buffer && inf_limit[-1] != '\n')
1220     inf_limit++;
1221
1222   unlink (argv[3]);
1223   outf = fopen (argv[3], "w");
1224   if (outf == NULL)
1225     {
1226       fprintf (stderr, "%s: Cannot open '%s' for writing -",
1227                progname, argv[3]);
1228       perror (NULL);
1229       exit (FATAL_EXIT_CODE);
1230     }
1231
1232   lineno = 1;
1233
1234   if (check_protection (&ifndef_line, &endif_line))
1235     {
1236       lbrac_line = ifndef_line+1;
1237       rbrac_line = endif_line;
1238     }
1239   else
1240     {
1241       lbrac_line = 1;
1242       rbrac_line = -1;
1243     }
1244
1245   /* Reset input file.  */
1246   inf_ptr = inf_buffer;
1247   lineno = 1;
1248
1249   for (;;)
1250     {
1251       if (lineno == lbrac_line)
1252         write_lbrac ();
1253       if (lineno == rbrac_line)
1254         write_rbrac ();
1255       for (;;)
1256         {
1257           struct fn_decl *fn;
1258           c = INF_GET ();
1259           if (c == EOF)
1260             break;
1261           if (ISIDST (c))
1262             {
1263               c = inf_scan_ident (&buf, c);
1264               (void) INF_UNGET (c);
1265               fputs (buf.base, outf);
1266               fn = lookup_std_proto (buf.base, strlen (buf.base));
1267               /* We only want to edit the declaration matching the one
1268                  seen by scan-decls, as there can be multiple
1269                  declarations, selected by #ifdef __STDC__ or whatever.  */
1270               if (fn && fn->partial && fn->partial->line_seen == lineno)
1271                 {
1272                   c = inf_skip_spaces (' ');
1273                   if (c == EOF)
1274                     break;
1275                   if (c == '(')
1276                     {
1277                       c = inf_skip_spaces (' ');
1278                       if (c == ')')
1279                         {
1280                           fprintf (outf, " _PARAMS((%s))", fn->params);
1281                         }
1282                       else
1283                         {
1284                           putc ('(', outf);
1285                           (void) INF_UNGET (c);
1286                         }
1287                     }
1288                   else
1289                     fprintf (outf, " %c", c);
1290                 }
1291             }
1292           else
1293             {
1294               putc (c, outf);
1295               if (c == '\n')
1296                 break;
1297             }
1298         }
1299       if (c == EOF)
1300         break;
1301       lineno++;
1302     }
1303   if (rbrac_line < 0)
1304     write_rbrac ();
1305
1306   fclose (outf);
1307
1308   return 0;
1309 }