1 /* Protoize program - Original version by Ron Guilmette (rfg@segfault.us.com).
2 Copyright (C) 1989, 92-96, 1997 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 /* Any reasonable C++ compiler should have all of the same features
22 as __STDC__ plus more, so make sure that __STDC__ is defined if
23 __cplusplus is defined. */
25 #if defined(__cplusplus) && !defined(__STDC__)
27 #endif /* defined(__cplusplus) && !defined(__STDC__) */
29 #if defined(__GNUC__) || defined (__GNUG__)
30 #define VOLATILE volatile
43 /* Users are not supposed to use _POSIX_SOURCE to say the
44 system is a POSIX system. That is not what _POSIX_SOURCE means! -- rms */
45 /* If the user asked for POSIX via _POSIX_SOURCE, turn on POSIX code. */
46 #if defined(_POSIX_SOURCE) && !defined(POSIX)
51 #ifdef POSIX /* We should be able to define _POSIX_SOURCE unconditionally,
52 but some systems respond in buggy ways to it,
53 including SunOS 4.1.1. Which we don't classify as POSIX. */
54 /* In case this is a POSIX system with an ANSI C compiler,
55 ask for definition of all POSIX facilities. */
61 /* On some systems stdio.h includes stdarg.h;
62 we must bring in varargs.h first. */
66 #include <sys/types.h>
68 #if ! defined (_WIN32) || defined (__CYGWIN32__)
69 #if defined(POSIX) || defined(CONCURRENT)
77 #include "gansidecl.h"
79 /* Include getopt.h for the sake of getopt_long.
80 We don't need the declaration of getopt, and it could conflict
81 with something from a system header file, so effectively nullify that. */
82 #define getopt getopt_loser
92 extern char *sys_errlist[];
94 extern char *strerror();
97 extern char *version_string;
99 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
100 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
101 const qualifiers in the prototypes in the system include files.
102 Unfortunately, this can lead to GCC issuing lots of warnings for
103 calls to the following functions. To eliminate these warnings we
104 provide the following #defines. */
106 #define my_access(file,flag) access((char *)file, flag)
107 #define my_stat(file,pkt) stat((char *)file, pkt)
108 #define my_link(file1, file2) link((char *)file1, (char *)file2)
109 #define my_unlink(file) unlink((char *)file)
110 #define my_open(file, mode, flag) open((char *)file, mode, flag)
111 #define my_chmod(file, mode) chmod((char *)file, mode)
113 extern char *getpwd ();
115 extern char *choose_temp_base PROTO ((void));
117 extern int pexecute PROTO ((const char *, char * const *, const char *,
118 const char *, char **, char **, int));
119 extern int pwait PROTO ((int, int *, int));
120 /* Flag arguments to pexecute. */
121 #define PEXECUTE_FIRST 1
122 #define PEXECUTE_LAST 2
123 #define PEXECUTE_SEARCH 4
125 /* Aliases for pointers to void.
126 These were made to facilitate compilation with old brain-dead DEC C
127 compilers which didn't properly grok `void*' types. */
130 typedef void * pointer_type;
131 typedef const void * const_pointer_type;
133 typedef char * pointer_type;
134 typedef char * const_pointer_type;
143 #include <sys/wait.h>
145 #else /* !defined(POSIX) */
147 #define R_OK 4 /* Test for Read permission */
148 #define W_OK 2 /* Test for Write permission */
149 #define X_OK 1 /* Test for eXecute permission */
150 #define F_OK 0 /* Test for existence of File */
161 #define WIFSIGNALED(S) (((S) & 0xff) != 0 && ((S) & 0xff) != 0x7f)
164 #define WTERMSIG(S) ((S) & 0x7f)
167 #define WIFEXITED(S) (((S) & 0xff) == 0)
170 #define WEXITSTATUS(S) (((S) & 0xff00) >> 8)
173 /* Declaring stat or __flsbuf with a prototype
174 causes conflicts with system headers on some systems. */
177 typedef void voidfn ();
178 extern VOLATILE voidfn abort;
181 #if 0 /* These conflict with stdio.h on some systems. */
182 extern int fprintf (FILE *, const char *, ...);
183 extern int printf (const char *, ...);
184 extern int open (const char *, int, ...);
191 extern int fflush ();
199 extern int unlink ();
200 extern int access ();
202 #if 0 /* size_t from sys/types.h may fail to match GCC.
203 If so, we would get a warning from this. */
204 extern size_t strlen ()
207 /* Fork is not declared because the declaration caused a conflict
209 #if !(defined (USG) || defined (VMS))
211 #endif /* (defined (USG) || defined (VMS)) */
213 #endif /* !defined (POSIX) */
215 extern char *rindex ();
217 /* Look for these where the `const' qualifier is intentionally cast aside. */
221 /* Define a STRINGIFY macro that's right for ANSI or traditional C. */
224 #define STRINGIFY(STRING) #STRING
226 #define STRINGIFY(STRING) "STRING"
229 /* Define a default place to find the SYSCALLS.X file. */
231 #ifndef STD_PROTO_DIR
232 #define STD_PROTO_DIR "/usr/local/lib"
233 #endif /* !defined (STD_PROTO_DIR) */
235 /* Suffix of aux_info files. */
237 static const char * const aux_info_suffix = ".X";
239 /* String to attach to filenames for saved versions of original files. */
241 static const char * const save_suffix = ".save";
245 /* File name of the file which contains descriptions of standard system
246 routines. Note that we never actually do anything with this file per se,
247 but we do read in its corresponding aux_info file. */
249 static const char syscalls_filename[] = "SYSCALLS.c";
251 /* Default place to find the above file. */
253 static const char * const default_syscalls_dir = STD_PROTO_DIR;
255 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
258 static char * syscalls_absolute_filename;
260 #endif /* !defined (UNPROTOIZE) */
262 /* Type of the structure that holds information about macro unexpansions. */
264 struct unexpansion_struct {
265 const char *expanded;
266 const char *contracted;
268 typedef struct unexpansion_struct unexpansion;
270 /* A table of conversions that may need to be made for some (stupid) older
271 operating systems where these types are preprocessor macros rather than
272 typedefs (as they really ought to be).
274 WARNING: The contracted forms must be as small (or smaller) as the
275 expanded forms, or else havoc will ensue. */
277 static const unexpansion unexpansions[] = {
278 { "struct _iobuf", "FILE" },
282 /* The number of "primary" slots in the hash tables for filenames and for
283 function names. This can be as big or as small as you like, except that
284 it must be a power of two. */
286 #define HASH_TABLE_SIZE (1 << 9)
288 /* Bit mask to use when computing hash values. */
290 static const int hash_mask = (HASH_TABLE_SIZE - 1);
292 /* Make a table of default system include directories
293 just as it is done in cccp.c. */
295 #ifndef STANDARD_INCLUDE_DIR
296 #define STANDARD_INCLUDE_DIR "/usr/include"
299 #ifndef LOCAL_INCLUDE_DIR
300 #define LOCAL_INCLUDE_DIR "/usr/local/include"
303 struct default_include { const char *fname; int x1, x2; } include_defaults[]
304 #ifdef INCLUDE_DEFAULTS
308 /* Pick up GNU C++ specific include files. */
309 { GPLUSPLUS_INCLUDE_DIR, 1, 1 },
311 /* This is the dir for fixincludes. Put it just before
312 the files that we fix. */
313 { GCC_INCLUDE_DIR, 0, 0 },
314 /* For cross-compilation, this dir name is generated
315 automatically in Makefile.in. */
316 { CROSS_INCLUDE_DIR, 0, 0 },
317 /* This is another place that the target system's headers might be. */
318 { TOOL_INCLUDE_DIR, 0, 0 },
319 #else /* not CROSS_COMPILE */
320 /* This should be /use/local/include and should come before
321 the fixincludes-fixed header files. */
322 { LOCAL_INCLUDE_DIR, 0, 1 },
323 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
324 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
325 { TOOL_INCLUDE_DIR, 0, 0 },
326 /* This is the dir for fixincludes. Put it just before
327 the files that we fix. */
328 { GCC_INCLUDE_DIR, 0, 0 },
329 /* Some systems have an extra dir of include files. */
330 #ifdef SYSTEM_INCLUDE_DIR
331 { SYSTEM_INCLUDE_DIR, 0, 0 },
333 { STANDARD_INCLUDE_DIR, 0, 0},
334 #endif /* not CROSS_COMPILE */
337 #endif /* no INCLUDE_DEFAULTS */
339 /* Datatype for lists of directories or filenames. */
343 struct string_list *next;
346 /* List of directories in which files should be converted. */
348 struct string_list *directory_list;
350 /* List of file names which should not be converted.
351 A file is excluded if the end of its name, following a /,
352 matches one of the names in this list. */
354 struct string_list *exclude_list;
356 /* The name of the other style of variable-number-of-parameters functions
357 (i.e. the style that we want to leave unconverted because we don't yet
358 know how to convert them to this style. This string is used in warning
361 /* Also define here the string that we can search for in the parameter lists
362 taken from the .X files which will unambiguously indicate that we have
363 found a varargs style function. */
366 static const char * const other_var_style = "stdarg";
367 #else /* !defined (UNPROTOIZE) */
368 static const char * const other_var_style = "varargs";
369 /* Note that this is a string containing the expansion of va_alist.
370 But in `main' we discard all but the first token. */
371 static const char *varargs_style_indicator = STRINGIFY (va_alist);
372 #endif /* !defined (UNPROTOIZE) */
374 /* The following two types are used to create hash tables. In this program,
375 there are two hash tables which are used to store and quickly lookup two
376 different classes of strings. The first type of strings stored in the
377 first hash table are absolute filenames of files which protoize needs to
378 know about. The second type of strings (stored in the second hash table)
379 are function names. It is this second class of strings which really
380 inspired the use of the hash tables, because there may be a lot of them. */
382 typedef struct hash_table_entry_struct hash_table_entry;
384 /* Do some typedefs so that we don't have to write "struct" so often. */
386 typedef struct def_dec_info_struct def_dec_info;
387 typedef struct file_info_struct file_info;
388 typedef struct f_list_chain_item_struct f_list_chain_item;
390 /* In the struct below, note that the "_info" field has two different uses
391 depending on the type of hash table we are in (i.e. either the filenames
392 hash table or the function names hash table). In the filenames hash table
393 the info fields of the entries point to the file_info struct which is
394 associated with each filename (1 per filename). In the function names
395 hash table, the info field points to the head of a singly linked list of
396 def_dec_info entries which are all defs or decs of the function whose
397 name is pointed to by the "symbol" field. Keeping all of the defs/decs
398 for a given function name on a special list specifically for that function
399 name makes it quick and easy to find out all of the important information
400 about a given (named) function. */
402 struct hash_table_entry_struct {
403 hash_table_entry * hash_next; /* -> to secondary entries */
404 const char * symbol; /* -> to the hashed string */
406 const def_dec_info * _ddip;
410 #define ddip _info._ddip
411 #define fip _info._fip
413 /* Define a type specifically for our two hash tables. */
415 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
417 /* The following struct holds all of the important information about any
418 single filename (e.g. file) which we need to know about. */
420 struct file_info_struct {
421 const hash_table_entry * hash_entry; /* -> to associated hash entry */
422 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
423 time_t mtime; /* Time of last modification. */
426 /* Due to the possibility that functions may return pointers to functions,
427 (which may themselves have their own parameter lists) and due to the
428 fact that returned pointers-to-functions may be of type "pointer-to-
429 function-returning-pointer-to-function" (ad nauseum) we have to keep
430 an entire chain of ANSI style formal parameter lists for each function.
432 Normally, for any given function, there will only be one formals list
433 on the chain, but you never know.
435 Note that the head of each chain of formals lists is pointed to by the
436 `f_list_chain' field of the corresponding def_dec_info record.
438 For any given chain, the item at the head of the chain is the *leftmost*
439 parameter list seen in the actual C language function declaration. If
440 there are other members of the chain, then these are linked in left-to-right
441 order from the head of the chain. */
443 struct f_list_chain_item_struct {
444 const f_list_chain_item * chain_next; /* -> to next item on chain */
445 const char * formals_list; /* -> to formals list string */
448 /* The following struct holds all of the important information about any
449 single function definition or declaration which we need to know about.
450 Note that for unprotoize we don't need to know very much because we
451 never even create records for stuff that we don't intend to convert
452 (like for instance defs and decs which are already in old K&R format
453 and "implicit" function declarations). */
455 struct def_dec_info_struct {
456 const def_dec_info * next_in_file; /* -> to rest of chain for file */
457 file_info * file; /* -> file_info for containing file */
458 int line; /* source line number of def/dec */
459 const char * ansi_decl; /* -> left end of ansi decl */
460 hash_table_entry * hash_entry; /* -> hash entry for function name */
461 unsigned int is_func_def; /* = 0 means this is a declaration */
462 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
463 unsigned int f_list_count; /* count of formals lists we expect */
464 char prototyped; /* = 0 means already prototyped */
466 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
467 const def_dec_info * definition; /* -> def/dec containing related def */
468 char is_static; /* = 0 means visibility is "extern" */
469 char is_implicit; /* != 0 for implicit func decl's */
470 char written; /* != 0 means written for implicit */
471 #else /* !defined (UNPROTOIZE) */
472 const char * formal_names; /* -> to list of names of formals */
473 const char * formal_decls; /* -> to string of formal declarations */
474 #endif /* !defined (UNPROTOIZE) */
477 /* Pointer to the tail component of the filename by which this program was
478 invoked. Used everywhere in error and warning messages. */
480 static const char *pname;
482 /* Error counter. Will be non-zero if we should give up at the next convenient
485 static int errors = 0;
488 /* ??? These comments should say what the flag mean as well as the options
491 /* File name to use for running gcc. Allows GCC 2 to be named
492 something other than gcc. */
493 static const char *compiler_file_name = "gcc";
495 static int version_flag = 0; /* Print our version number. */
496 static int quiet_flag = 0; /* Don't print messages normally. */
497 static int nochange_flag = 0; /* Don't convert, just say what files
498 we would have converted. */
499 static int nosave_flag = 0; /* Don't save the old version. */
500 static int keep_flag = 0; /* Don't delete the .X files. */
501 static const char ** compile_params = 0; /* Option string for gcc. */
503 static const char *indent_string = " "; /* Indentation for newly
504 inserted parm decls. */
505 #else /* !defined (UNPROTOIZE) */
506 static int local_flag = 0; /* Insert new local decls (when?). */
507 static int global_flag = 0; /* set by -g option */
508 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
509 static const char *nondefault_syscalls_dir = 0; /* Dir to look for
511 #endif /* !defined (UNPROTOIZE) */
513 /* An index into the compile_params array where we should insert the source
514 file name when we are ready to exec the C compiler. A zero value indicates
515 that we have not yet called munge_compile_params. */
517 static int input_file_name_index = 0;
519 /* An index into the compile_params array where we should insert the filename
520 for the aux info file, when we run the C compiler. */
521 static int aux_info_file_name_index = 0;
523 /* Count of command line arguments which were "filename" arguments. */
525 static int n_base_source_files = 0;
527 /* Points to a malloc'ed list of pointers to all of the filenames of base
528 source files which were specified on the command line. */
530 static const char **base_source_filenames;
532 /* Line number of the line within the current aux_info file that we
533 are currently processing. Used for error messages in case the prototypes
534 info file is corrupted somehow. */
536 static int current_aux_info_lineno;
538 /* Pointer to the name of the source file currently being converted. */
540 static const char *convert_filename;
542 /* Pointer to relative root string (taken from aux_info file) which indicates
543 where directory the user was in when he did the compilation step that
544 produced the containing aux_info file. */
546 static const char *invocation_filename;
548 /* Pointer to the base of the input buffer that holds the original text for the
549 source file currently being converted. */
551 static const char *orig_text_base;
553 /* Pointer to the byte just beyond the end of the input buffer that holds the
554 original text for the source file currently being converted. */
556 static const char *orig_text_limit;
558 /* Pointer to the base of the input buffer that holds the cleaned text for the
559 source file currently being converted. */
561 static const char *clean_text_base;
563 /* Pointer to the byte just beyond the end of the input buffer that holds the
564 cleaned text for the source file currently being converted. */
566 static const char *clean_text_limit;
568 /* Pointer to the last byte in the cleaned text buffer that we have already
569 (virtually) copied to the output buffer (or decided to ignore). */
571 static const char * clean_read_ptr;
573 /* Pointer to the base of the output buffer that holds the replacement text
574 for the source file currently being converted. */
576 static char *repl_text_base;
578 /* Pointer to the byte just beyond the end of the output buffer that holds the
579 replacement text for the source file currently being converted. */
581 static char *repl_text_limit;
583 /* Pointer to the last byte which has been stored into the output buffer.
584 The next byte to be stored should be stored just past where this points
587 static char * repl_write_ptr;
589 /* Pointer into the cleaned text buffer for the source file we are currently
590 converting. This points to the first character of the line that we last
591 did a "seek_to_line" to (see below). */
593 static const char *last_known_line_start;
595 /* Number of the line (in the cleaned text buffer) that we last did a
596 "seek_to_line" to. Will be one if we just read a new source file
597 into the cleaned text buffer. */
599 static int last_known_line_number;
601 /* The filenames hash table. */
603 static hash_table filename_primary;
605 /* The function names hash table. */
607 static hash_table function_name_primary;
609 /* The place to keep the recovery address which is used only in cases where
610 we get hopelessly confused by something in the cleaned original text. */
612 static jmp_buf source_confusion_recovery;
614 /* A pointer to the current directory filename (used by abspath). */
616 static char *cwd_buffer;
618 /* A place to save the read pointer until we are sure that an individual
619 attempt at editing will succeed. */
621 static const char * saved_clean_read_ptr;
623 /* A place to save the write pointer until we are sure that an individual
624 attempt at editing will succeed. */
626 static char * saved_repl_write_ptr;
628 /* Forward declaration. */
630 static const char *shortpath ();
642 static char buffer[30];
646 if (e > 0 && e < sys_nerr)
647 return sys_errlist[e];
649 sprintf (buffer, "Unknown error %d", e);
654 /* Allocate some space, but check that the allocation was successful. */
655 /* alloca.c uses this, so don't make it static. */
663 rv = (pointer_type) malloc (byte_count);
666 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
667 exit (FATAL_EXIT_CODE);
668 return 0; /* avoid warnings */
674 /* Reallocate some space, but check that the reallocation was successful. */
677 xrealloc (old_space, byte_count)
678 pointer_type old_space;
683 rv = (pointer_type) realloc (old_space, byte_count);
686 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
687 exit (FATAL_EXIT_CODE);
688 return 0; /* avoid warnings */
694 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
695 the `const' qualifier from it and also make sure that the pointer value
700 const_pointer_type p;
703 free ((NONCONST pointer_type) p);
706 /* Make a copy of a string INPUT with size SIZE. */
709 savestring (input, size)
713 char *output = (char *) xmalloc (size + 1);
714 strcpy (output, input);
718 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
721 savestring2 (input1, size1, input2, size2)
727 char *output = (char *) xmalloc (size1 + size2 + 1);
728 strcpy (output, input1);
729 strcpy (&output[size1], input2);
733 /* More 'friendly' abort that prints the line and file.
734 config.h can #define abort fancy_abort if you like that sort of thing. */
739 fprintf (stderr, "%s: internal abort\n", pname);
740 exit (FATAL_EXIT_CODE);
743 /* Make a duplicate of the first N bytes of a given string in a newly
751 char *ret_val = (char *) xmalloc (n + 1);
753 strncpy (ret_val, s, n);
758 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
759 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
764 const char *const s2;
772 for (p1 = s1, p2 = s2; c = *p2; p1++, p2++)
782 /* Read LEN bytes at PTR from descriptor DESC, for file FILENAME,
783 retrying if necessary. Return the actual number of bytes read. */
786 safe_read (desc, ptr, len)
793 int nchars = read (desc, ptr, left);
810 /* Write LEN bytes at PTR to descriptor DESC,
811 retrying if necessary, and treating any real error as fatal. */
814 safe_write (desc, ptr, len, out_fname)
821 int written = write (desc, ptr, len);
828 fprintf (stderr, "%s: error writing file `%s': %s\n",
829 pname, shortpath (NULL, out_fname), my_strerror(errno));
837 /* Get setup to recover in case the edit we are about to do goes awry. */
842 saved_clean_read_ptr = clean_read_ptr;
843 saved_repl_write_ptr = repl_write_ptr;
846 /* Call this routine to recover our previous state whenever something looks
847 too confusing in the source code we are trying to edit. */
852 clean_read_ptr = saved_clean_read_ptr;
853 repl_write_ptr = saved_repl_write_ptr;
856 /* Return true if the given character is a valid identifier character. */
862 return (isalnum (ch) || (ch == '_') || (ch == '$'));
865 /* Give a message indicating the proper way to invoke this program and then
866 exit with non-zero status. */
872 fprintf (stderr, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
874 #else /* !defined (UNPROTOIZE) */
875 fprintf (stderr, "%s: usage '%s [ -VqfnkNlgC ] [ -B <dirname> ] [ filename ... ]'\n",
877 #endif /* !defined (UNPROTOIZE) */
878 exit (FATAL_EXIT_CODE);
881 /* Return true if the given filename (assumed to be an absolute filename)
882 designates a file residing anywhere beneath any one of the "system"
883 include directories. */
886 in_system_include_dir (path)
889 struct default_include *p;
892 abort (); /* Must be an absolutized filename. */
894 for (p = include_defaults; p->fname; p++)
895 if (!strncmp (path, p->fname, strlen (p->fname))
896 && path[strlen (p->fname)] == '/')
902 /* Return true if the given filename designates a file that the user has
903 read access to and for which the user has write access to the containing
907 file_could_be_converted (const char *path)
909 char *const dir_name = (char *) alloca (strlen (path) + 1);
911 if (my_access (path, R_OK))
915 char *dir_last_slash;
917 strcpy (dir_name, path);
918 dir_last_slash = rindex (dir_name, '/');
920 *dir_last_slash = '\0';
922 abort (); /* Should have been an absolutized filename. */
925 if (my_access (path, W_OK))
931 /* Return true if the given filename designates a file that we are allowed
932 to modify. Files which we should not attempt to modify are (a) "system"
933 include files, and (b) files which the user doesn't have write access to,
934 and (c) files which reside in directories which the user doesn't have
935 write access to. Unless requested to be quiet, give warnings about
936 files that we will not try to convert for one reason or another. An
937 exception is made for "system" include files, which we never try to
938 convert and for which we don't issue the usual warnings. */
941 file_normally_convertible (const char *path)
943 char *const dir_name = alloca (strlen (path) + 1);
945 if (in_system_include_dir (path))
949 char *dir_last_slash;
951 strcpy (dir_name, path);
952 dir_last_slash = rindex (dir_name, '/');
954 *dir_last_slash = '\0';
956 abort (); /* Should have been an absolutized filename. */
959 if (my_access (path, R_OK))
962 fprintf (stderr, "%s: warning: no read access for file `%s'\n",
963 pname, shortpath (NULL, path));
967 if (my_access (path, W_OK))
970 fprintf (stderr, "%s: warning: no write access for file `%s'\n",
971 pname, shortpath (NULL, path));
975 if (my_access (dir_name, W_OK))
978 fprintf (stderr, "%s: warning: no write access for dir containing `%s'\n",
979 pname, shortpath (NULL, path));
989 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
990 file. Return false otherwise. */
993 is_syscalls_file (fi_p)
994 const file_info *fi_p;
996 char const *f = fi_p->hash_entry->symbol;
997 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
998 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
1001 #endif /* !defined (UNPROTOIZE) */
1003 /* Check to see if this file will need to have anything done to it on this
1004 run. If there is nothing in the given file which both needs conversion
1005 and for which we have the necessary stuff to do the conversion, return
1006 false. Otherwise, return true.
1008 Note that (for protoize) it is only valid to call this function *after*
1009 the connections between declarations and definitions have all been made
1010 by connect_defs_and_decs. */
1013 needs_to_be_converted (file_p)
1014 const file_info *file_p;
1016 const def_dec_info *ddp;
1020 if (is_syscalls_file (file_p))
1023 #endif /* !defined (UNPROTOIZE) */
1025 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
1031 /* ... and if we a protoizing and this function is in old style ... */
1033 /* ... and if this a definition or is a decl with an associated def ... */
1034 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
1036 #else /* defined (UNPROTOIZE) */
1038 /* ... and if we are unprotoizing and this function is in new style ... */
1041 #endif /* defined (UNPROTOIZE) */
1043 /* ... then the containing file needs converting. */
1048 /* Return 1 if the file name NAME is in a directory
1049 that should be converted. */
1052 directory_specified_p (name)
1055 struct string_list *p;
1057 for (p = directory_list; p; p = p->next)
1058 if (!strncmp (name, p->name, strlen (p->name))
1059 && name[strlen (p->name)] == '/')
1061 const char *q = name + strlen (p->name) + 1;
1063 /* If there are more slashes, it's in a subdir, so
1064 this match doesn't count. */
1076 /* Return 1 if the file named NAME should be excluded from conversion. */
1079 file_excluded_p (name)
1082 struct string_list *p;
1083 int len = strlen (name);
1085 for (p = exclude_list; p; p = p->next)
1086 if (!strcmp (name + len - strlen (p->name), p->name)
1087 && name[len - strlen (p->name) - 1] == '/')
1093 /* Construct a new element of a string_list.
1094 STRING is the new element value, and REST holds the remaining elements. */
1096 static struct string_list *
1097 string_list_cons (string, rest)
1099 struct string_list *rest;
1101 struct string_list *temp
1102 = (struct string_list *) xmalloc (sizeof (struct string_list));
1105 temp->name = string;
1109 /* ??? The GNU convention for mentioning function args in its comments
1110 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1111 Likewise for all the other functions. */
1113 /* Given a hash table, apply some function to each node in the table. The
1114 table to traverse is given as the "hash_tab_p" argument, and the
1115 function to be applied to each node in the table is given as "func"
1119 visit_each_hash_node (hash_tab_p, func)
1120 const hash_table_entry *hash_tab_p;
1123 const hash_table_entry *primary;
1125 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
1126 if (primary->symbol)
1128 hash_table_entry *second;
1131 for (second = primary->hash_next; second; second = second->hash_next)
1136 /* Initialize all of the fields of a new hash table entry, pointed
1137 to by the "p" parameter. Note that the space to hold the entry
1138 is assumed to have already been allocated before this routine is
1141 static hash_table_entry *
1143 hash_table_entry *p;
1146 p->hash_next = NULL;
1147 p->symbol = savestring (s, strlen (s));
1153 /* Look for a particular function name or filename in the particular
1154 hash table indicated by "hash_tab_p". If the name is not in the
1155 given hash table, add it. Either way, return a pointer to the
1156 hash table entry for the given name. */
1158 static hash_table_entry *
1159 lookup (hash_tab_p, search_symbol)
1160 hash_table_entry *hash_tab_p;
1161 const char *search_symbol;
1164 const char *search_symbol_char_p = search_symbol;
1165 hash_table_entry *p;
1167 while (*search_symbol_char_p)
1168 hash_value += *search_symbol_char_p++;
1169 hash_value &= hash_mask;
1170 p = &hash_tab_p[hash_value];
1172 return add_symbol (p, search_symbol);
1173 if (!strcmp (p->symbol, search_symbol))
1175 while (p->hash_next)
1178 if (!strcmp (p->symbol, search_symbol))
1181 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1183 return add_symbol (p, search_symbol);
1186 /* Throw a def/dec record on the junk heap.
1188 Also, since we are not using this record anymore, free up all of the
1189 stuff it pointed to. */
1195 xfree (p->ansi_decl);
1199 const f_list_chain_item * curr;
1200 const f_list_chain_item * next;
1202 for (curr = p->f_list_chain; curr; curr = next)
1204 next = curr->chain_next;
1208 #endif /* !defined (UNPROTOIZE) */
1213 /* Unexpand as many macro symbol as we can find.
1215 If the given line must be unexpanded, make a copy of it in the heap and
1216 return a pointer to the unexpanded copy. Otherwise return NULL. */
1219 unexpand_if_needed (aux_info_line)
1220 const char *aux_info_line;
1222 static char *line_buf = 0;
1223 static int line_buf_size = 0;
1224 const unexpansion *unexp_p;
1225 int got_unexpanded = 0;
1227 char *copy_p = line_buf;
1231 line_buf_size = 1024;
1232 line_buf = (char *) xmalloc (line_buf_size);
1237 /* Make a copy of the input string in line_buf, expanding as necessary. */
1239 for (s = aux_info_line; *s != '\n'; )
1241 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1243 const char *in_p = unexp_p->expanded;
1244 size_t len = strlen (in_p);
1246 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1248 int size = strlen (unexp_p->contracted);
1250 if (copy_p + size - line_buf >= line_buf_size)
1252 int offset = copy_p - line_buf;
1254 line_buf_size += size;
1255 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1256 copy_p = line_buf + offset;
1258 strcpy (copy_p, unexp_p->contracted);
1261 /* Assume the there will not be another replacement required
1262 within the text just replaced. */
1265 goto continue_outer;
1268 if (copy_p - line_buf == line_buf_size)
1270 int offset = copy_p - line_buf;
1272 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1273 copy_p = line_buf + offset;
1278 if (copy_p + 2 - line_buf >= line_buf_size)
1280 int offset = copy_p - line_buf;
1282 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1283 copy_p = line_buf + offset;
1288 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1291 /* Return the absolutized filename for the given relative
1292 filename. Note that if that filename is already absolute, it may
1293 still be returned in a modified form because this routine also
1294 eliminates redundant slashes and single dots and eliminates double
1295 dots to get a shortest possible filename from the given input
1296 filename. The absolutization of relative filenames is made by
1297 assuming that the given filename is to be taken as relative to
1298 the first argument (cwd) or to the current directory if cwd is
1302 abspath (cwd, rel_filename)
1304 const char *rel_filename;
1306 /* Setup the current working directory as needed. */
1307 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1308 char *const abs_buffer
1309 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1310 char *endp = abs_buffer;
1313 /* Copy the filename (possibly preceded by the current working
1314 directory name) into the absolutization buffer. */
1319 if (rel_filename[0] != '/')
1322 while (*endp++ = *src_p++)
1324 *(endp-1) = '/'; /* overwrite null */
1326 src_p = rel_filename;
1327 while (*endp++ = *src_p++)
1331 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1332 filename (by taking out slashes and dots) as we go. */
1334 outp = inp = abs_buffer;
1335 *outp++ = *inp++; /* copy first slash */
1338 *outp++ = *inp++; /* copy second slash */
1344 else if (inp[0] == '/' && outp[-1] == '/')
1349 else if (inp[0] == '.' && outp[-1] == '/')
1353 else if (inp[1] == '/')
1358 else if ((inp[1] == '.') && (inp[2] == 0 || inp[2] == '/'))
1360 inp += (inp[2] == '/') ? 3 : 2;
1362 while (outp >= abs_buffer && *outp != '/')
1364 if (outp < abs_buffer)
1366 /* Catch cases like /.. where we try to backup to a
1367 point above the absolute root of the logical file
1370 fprintf (stderr, "%s: invalid file name: %s\n",
1371 pname, rel_filename);
1372 exit (FATAL_EXIT_CODE);
1381 /* On exit, make sure that there is a trailing null, and make sure that
1382 the last character of the returned string is *not* a slash. */
1385 if (outp[-1] == '/')
1388 /* Make a copy (in the heap) of the stuff left in the absolutization
1389 buffer and return a pointer to the copy. */
1391 return savestring (abs_buffer, outp - abs_buffer);
1394 /* Given a filename (and possibly a directory name from which the filename
1395 is relative) return a string which is the shortest possible
1396 equivalent for the corresponding full (absolutized) filename. The
1397 shortest possible equivalent may be constructed by converting the
1398 absolutized filename to be a relative filename (i.e. relative to
1399 the actual current working directory). However if a relative filename
1400 is longer, then the full absolute filename is returned.
1404 Note that "simple-minded" conversion of any given type of filename (either
1405 relative or absolute) may not result in a valid equivalent filename if any
1406 subpart of the original filename is actually a symbolic link. */
1409 shortpath (cwd, filename)
1411 const char *filename;
1415 char *cwd_p = cwd_buffer;
1417 int unmatched_slash_count = 0;
1418 size_t filename_len = strlen (filename);
1420 path_p = abspath (cwd, filename);
1421 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1423 while (*cwd_p && (*cwd_p == *path_p))
1428 if (!*cwd_p && (!*path_p || *path_p == '/')) /* whole pwd matched */
1430 if (!*path_p) /* input *is* the current path! */
1441 while (*cwd_p != '/') /* backup to last slash */
1448 unmatched_slash_count++;
1451 /* Find out how many directory levels in cwd were *not* matched. */
1453 if (*cwd_p++ == '/')
1454 unmatched_slash_count++;
1456 /* Now we know how long the "short name" will be.
1457 Reject it if longer than the input. */
1458 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1461 /* For each of them, put a `../' at the beginning of the short name. */
1462 while (unmatched_slash_count--)
1464 /* Give up if the result gets to be longer
1465 than the absolute path name. */
1466 if (rel_buffer + filename_len <= rel_buf_p + 3)
1473 /* Then tack on the unmatched part of the desired file's name. */
1476 if (rel_buffer + filename_len <= rel_buf_p)
1479 while (*rel_buf_p++ = *path_p++);
1482 if (*(rel_buf_p-1) == '/')
1483 *--rel_buf_p = '\0';
1488 /* Lookup the given filename in the hash table for filenames. If it is a
1489 new one, then the hash table info pointer will be null. In this case,
1490 we create a new file_info record to go with the filename, and we initialize
1491 that record with some reasonable values. */
1493 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1494 That is probably a bug in AIX, but might as well avoid the warning. */
1497 find_file (filename, do_not_stat)
1501 hash_table_entry *hash_entry_p;
1503 hash_entry_p = lookup (filename_primary, filename);
1504 if (hash_entry_p->fip)
1505 return hash_entry_p->fip;
1508 struct stat stat_buf;
1509 file_info *file_p = (file_info *) xmalloc (sizeof (file_info));
1511 /* If we cannot get status on any given source file, give a warning
1512 and then just set its time of last modification to infinity. */
1515 stat_buf.st_mtime = (time_t) 0;
1518 if (my_stat (filename, &stat_buf) == -1)
1520 fprintf (stderr, "%s: %s: can't get status: %s\n",
1521 pname, shortpath (NULL, filename), my_strerror(errno));
1522 stat_buf.st_mtime = (time_t) -1;
1526 hash_entry_p->fip = file_p;
1527 file_p->hash_entry = hash_entry_p;
1528 file_p->defs_decs = NULL;
1529 file_p->mtime = stat_buf.st_mtime;
1534 /* Generate a fatal error because some part of the aux_info file is
1538 aux_info_corrupted ()
1540 fprintf (stderr, "\n%s: fatal error: aux info file corrupted at line %d\n",
1541 pname, current_aux_info_lineno);
1542 exit (FATAL_EXIT_CODE);
1545 /* ??? This comment is vague. Say what the condition is for. */
1546 /* Check to see that a condition is true. This is kind of like an assert. */
1549 check_aux_info (cond)
1553 aux_info_corrupted ();
1556 /* Given a pointer to the closing right parenthesis for a particular formals
1557 list (in an aux_info file) find the corresponding left parenthesis and
1558 return a pointer to it. */
1561 find_corresponding_lparen (p)
1567 for (paren_depth = 1, q = p-1; paren_depth; q--)
1582 /* Given a line from an aux info file, and a time at which the aux info
1583 file it came from was created, check to see if the item described in
1584 the line comes from a file which has been modified since the aux info
1585 file was created. If so, return non-zero, else return zero. */
1588 referenced_file_is_newer (l, aux_info_mtime)
1590 time_t aux_info_mtime;
1596 check_aux_info (l[0] == '/');
1597 check_aux_info (l[1] == '*');
1598 check_aux_info (l[2] == ' ');
1601 const char *filename_start = p = l + 3;
1605 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1606 strncpy (filename, filename_start, (size_t) (p - filename_start));
1607 filename[p-filename_start] = '\0';
1610 /* Call find_file to find the file_info record associated with the file
1611 which contained this particular def or dec item. Note that this call
1612 may cause a new file_info record to be created if this is the first time
1613 that we have ever known about this particular file. */
1615 fi_p = find_file (abspath (invocation_filename, filename), 0);
1617 return (fi_p->mtime > aux_info_mtime);
1620 /* Given a line of info from the aux_info file, create a new
1621 def_dec_info record to remember all of the important information about
1622 a function definition or declaration.
1624 Link this record onto the list of such records for the particular file in
1625 which it occurred in proper (descending) line number order (for now).
1627 If there is an identical record already on the list for the file, throw
1628 this one away. Doing so takes care of the (useless and troublesome)
1629 duplicates which are bound to crop up due to multiple inclusions of any
1630 given individual header file.
1632 Finally, link the new def_dec record onto the list of such records
1633 pertaining to this particular function name. */
1636 save_def_or_dec (l, is_syscalls)
1641 const char *semicolon_p;
1642 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1645 def_dec_p->written = 0;
1646 #endif /* !defined (UNPROTOIZE) */
1648 /* Start processing the line by picking off 5 pieces of information from
1649 the left hand end of the line. These are filename, line number,
1650 new/old/implicit flag (new = ANSI prototype format), definition or
1651 declaration flag, and extern/static flag). */
1653 check_aux_info (l[0] == '/');
1654 check_aux_info (l[1] == '*');
1655 check_aux_info (l[2] == ' ');
1658 const char *filename_start = p = l + 3;
1663 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1664 strncpy (filename, filename_start, (size_t) (p - filename_start));
1665 filename[p-filename_start] = '\0';
1667 /* Call find_file to find the file_info record associated with the file
1668 which contained this particular def or dec item. Note that this call
1669 may cause a new file_info record to be created if this is the first time
1670 that we have ever known about this particular file.
1672 Note that we started out by forcing all of the base source file names
1673 (i.e. the names of the aux_info files with the .X stripped off) into the
1674 filenames hash table, and we simultaneously setup file_info records for
1675 all of these base file names (even if they may be useless later).
1676 The file_info records for all of these "base" file names (properly)
1677 act as file_info records for the "original" (i.e. un-included) files
1678 which were submitted to gcc for compilation (when the -aux-info
1679 option was used). */
1681 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1685 const char *line_number_start = ++p;
1686 char line_number[10];
1690 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1691 line_number[p-line_number_start] = '\0';
1692 def_dec_p->line = atoi (line_number);
1695 /* Check that this record describes a new-style, old-style, or implicit
1696 definition or declaration. */
1698 p++; /* Skip over the `:'. */
1699 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1701 /* Is this a new style (ANSI prototyped) definition or declaration? */
1703 def_dec_p->prototyped = (*p == 'N');
1707 /* Is this an implicit declaration? */
1709 def_dec_p->is_implicit = (*p == 'I');
1711 #endif /* !defined (UNPROTOIZE) */
1715 check_aux_info ((*p == 'C') || (*p == 'F'));
1717 /* Is this item a function definition (F) or a declaration (C). Note that
1718 we treat item taken from the syscalls file as though they were function
1719 definitions regardless of what the stuff in the file says. */
1721 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1724 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1725 #endif /* !defined (UNPROTOIZE) */
1727 check_aux_info (*p++ == ' ');
1728 check_aux_info (*p++ == '*');
1729 check_aux_info (*p++ == '/');
1730 check_aux_info (*p++ == ' ');
1733 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1734 #else /* !defined (UNPROTOIZE) */
1735 if (!strncmp (p, "static", 6))
1736 def_dec_p->is_static = -1;
1737 else if (!strncmp (p, "extern", 6))
1738 def_dec_p->is_static = 0;
1740 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1741 #endif /* !defined (UNPROTOIZE) */
1744 const char *ansi_start = p;
1746 p += 6; /* Pass over the "static" or "extern". */
1748 /* We are now past the initial stuff. Search forward from here to find
1749 the terminating semicolon that should immediately follow the entire
1750 ANSI format function declaration. */
1757 /* Make a copy of the ansi declaration part of the line from the aux_info
1760 def_dec_p->ansi_decl
1761 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1763 /* Backup and point at the final right paren of the final argument list. */
1768 def_dec_p->f_list_chain = NULL;
1769 #endif /* !defined (UNPROTOIZE) */
1771 while (p != ansi_start && (p[-1] == ' ' || p[-1] == '\t')) p--;
1774 free_def_dec (def_dec_p);
1779 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1780 there will only be one list to isolate, but there could be more. */
1782 def_dec_p->f_list_count = 0;
1786 const char *left_paren_p = find_corresponding_lparen (p);
1789 f_list_chain_item *cip
1790 = (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1793 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1795 /* Add the new chain item at the head of the current list. */
1797 cip->chain_next = def_dec_p->f_list_chain;
1798 def_dec_p->f_list_chain = cip;
1800 #endif /* !defined (UNPROTOIZE) */
1801 def_dec_p->f_list_count++;
1803 p = left_paren_p - 2;
1805 /* p must now point either to another right paren, or to the last
1806 character of the name of the function that was declared/defined.
1807 If p points to another right paren, then this indicates that we
1808 are dealing with multiple formals lists. In that case, there
1809 really should be another right paren preceding this right paren. */
1814 check_aux_info (*--p == ')');
1819 const char *past_fn = p + 1;
1821 check_aux_info (*past_fn == ' ');
1823 /* Scan leftwards over the identifier that names the function. */
1825 while (is_id_char (*p))
1829 /* p now points to the leftmost character of the function name. */
1832 char *fn_string = (char *) alloca (past_fn - p + 1);
1834 strncpy (fn_string, p, (size_t) (past_fn - p));
1835 fn_string[past_fn-p] = '\0';
1836 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1840 /* Look at all of the defs and decs for this function name that we have
1841 collected so far. If there is already one which is at the same
1842 line number in the same file, then we can discard this new def_dec_info
1845 As an extra assurance that any such pair of (nominally) identical
1846 function declarations are in fact identical, we also compare the
1847 ansi_decl parts of the lines from the aux_info files just to be on
1850 This comparison will fail if (for instance) the user was playing
1851 messy games with the preprocessor which ultimately causes one
1852 function declaration in one header file to look differently when
1853 that file is included by two (or more) other files. */
1856 const def_dec_info *other;
1858 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1860 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1862 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1864 fprintf (stderr, "%s:%d: declaration of function `%s' takes different forms\n",
1865 def_dec_p->file->hash_entry->symbol,
1867 def_dec_p->hash_entry->symbol);
1868 exit (FATAL_EXIT_CODE);
1870 free_def_dec (def_dec_p);
1878 /* If we are doing unprotoizing, we must now setup the pointers that will
1879 point to the K&R name list and to the K&R argument declarations list.
1881 Note that if this is only a function declaration, then we should not
1882 expect to find any K&R style formals list following the ANSI-style
1883 formals list. This is because GCC knows that such information is
1884 useless in the case of function declarations (function definitions
1885 are a different story however).
1887 Since we are unprotoizing, we don't need any such lists anyway.
1888 All we plan to do is to delete all characters between ()'s in any
1891 def_dec_p->formal_names = NULL;
1892 def_dec_p->formal_decls = NULL;
1894 if (def_dec_p->is_func_def)
1897 check_aux_info (*++p == ' ');
1898 check_aux_info (*++p == '/');
1899 check_aux_info (*++p == '*');
1900 check_aux_info (*++p == ' ');
1901 check_aux_info (*++p == '(');
1904 const char *kr_names_start = ++p; /* Point just inside '('. */
1908 p--; /* point to closing right paren */
1910 /* Make a copy of the K&R parameter names list. */
1912 def_dec_p->formal_names
1913 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1916 check_aux_info (*++p == ' ');
1919 /* p now points to the first character of the K&R style declarations
1920 list (if there is one) or to the star-slash combination that ends
1921 the comment in which such lists get embedded. */
1923 /* Make a copy of the K&R formal decls list and set the def_dec record
1926 if (*p == '*') /* Are there no K&R declarations? */
1928 check_aux_info (*++p == '/');
1929 def_dec_p->formal_decls = "";
1933 const char *kr_decls_start = p;
1935 while (p[0] != '*' || p[1] != '/')
1939 check_aux_info (*p == ' ');
1941 def_dec_p->formal_decls
1942 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1945 /* Handle a special case. If we have a function definition marked as
1946 being in "old" style, and if it's formal names list is empty, then
1947 it may actually have the string "void" in its real formals list
1948 in the original source code. Just to make sure, we will get setup
1949 to convert such things anyway.
1951 This kludge only needs to be here because of an insurmountable
1952 problem with generating .X files. */
1954 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1955 def_dec_p->prototyped = 1;
1958 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1959 we can just ignore it. If that is true, throw away the itme now. */
1961 if (!def_dec_p->prototyped)
1963 free_def_dec (def_dec_p);
1967 #endif /* defined (UNPROTOIZE) */
1969 /* Add this record to the head of the list of records pertaining to this
1970 particular function name. */
1972 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1973 def_dec_p->hash_entry->ddip = def_dec_p;
1975 /* Add this new def_dec_info record to the sorted list of def_dec_info
1976 records for this file. Note that we don't have to worry about duplicates
1977 (caused by multiple inclusions of header files) here because we have
1978 already eliminated duplicates above. */
1980 if (!def_dec_p->file->defs_decs)
1982 def_dec_p->file->defs_decs = def_dec_p;
1983 def_dec_p->next_in_file = NULL;
1987 int line = def_dec_p->line;
1988 const def_dec_info *prev = NULL;
1989 const def_dec_info *curr = def_dec_p->file->defs_decs;
1990 const def_dec_info *next = curr->next_in_file;
1992 while (next && (line < curr->line))
1996 next = next->next_in_file;
1998 if (line >= curr->line)
2000 def_dec_p->next_in_file = curr;
2002 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
2004 def_dec_p->file->defs_decs = def_dec_p;
2006 else /* assert (next == NULL); */
2008 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
2009 /* assert (next == NULL); */
2010 def_dec_p->next_in_file = next;
2015 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
2016 Also set input_file_name_index and aux_info_file_name_index
2017 to the indices of the slots where the file names should go. */
2019 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
2020 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
2023 munge_compile_params (params_list)
2024 const char *params_list;
2026 /* Build up the contents in a temporary vector
2027 that is so big that to has to be big enough. */
2028 const char **temp_params
2029 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
2030 int param_count = 0;
2033 temp_params[param_count++] = compiler_file_name;
2036 while (isspace (*params_list))
2040 param = params_list;
2041 while (*params_list && !isspace (*params_list))
2043 if (param[0] != '-')
2044 temp_params[param_count++]
2045 = dupnstr (param, (size_t) (params_list - param));
2054 break; /* Don't copy these. */
2056 while (isspace (*params_list))
2058 while (*params_list && !isspace (*params_list))
2062 temp_params[param_count++]
2063 = dupnstr (param, (size_t) (params_list - param));
2069 temp_params[param_count++] = "-aux-info";
2071 /* Leave room for the aux-info file name argument. */
2072 aux_info_file_name_index = param_count;
2073 temp_params[param_count++] = NULL;
2075 temp_params[param_count++] = "-S";
2076 temp_params[param_count++] = "-o";
2077 temp_params[param_count++] = "/dev/null";
2079 /* Leave room for the input file name argument. */
2080 input_file_name_index = param_count;
2081 temp_params[param_count++] = NULL;
2082 /* Terminate the list. */
2083 temp_params[param_count++] = NULL;
2085 /* Make a copy of the compile_params in heap space. */
2088 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
2089 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
2092 /* Do a recompilation for the express purpose of generating a new aux_info
2093 file to go with a specific base source file.
2095 The result is a boolean indicating success. */
2098 gen_aux_info_file (base_filename)
2099 const char *base_filename;
2101 if (!input_file_name_index)
2102 munge_compile_params ("");
2104 /* Store the full source file name in the argument vector. */
2105 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
2106 /* Add .X to source file name to get aux-info file name. */
2107 compile_params[aux_info_file_name_index]
2108 = savestring2 (compile_params[input_file_name_index],
2109 strlen (compile_params[input_file_name_index]),
2114 fprintf (stderr, "%s: compiling `%s'\n",
2115 pname, compile_params[input_file_name_index]);
2118 char *errmsg_fmt, *errmsg_arg;
2119 int wait_status, pid;
2120 char *temp_base = choose_temp_base ();
2122 pid = pexecute (compile_params[0], (char * const *) compile_params,
2123 pname, temp_base, &errmsg_fmt, &errmsg_arg,
2124 PEXECUTE_FIRST | PEXECUTE_LAST | PEXECUTE_SEARCH);
2128 int errno_val = errno;
2129 fprintf (stderr, "%s: ", pname);
2130 fprintf (stderr, errmsg_fmt, errmsg_arg);
2131 fprintf (stderr, ": %s\n", my_strerror (errno_val));
2135 pid = pwait (pid, &wait_status, 0);
2138 fprintf (stderr, "%s: wait: %s\n", pname, my_strerror (errno));
2141 if (WIFSIGNALED (wait_status))
2143 fprintf (stderr, "%s: subprocess got fatal signal %d\n",
2144 pname, WTERMSIG (wait_status));
2147 if (WIFEXITED (wait_status))
2149 if (WEXITSTATUS (wait_status) != 0)
2151 fprintf (stderr, "%s: %s exited with status %d\n",
2152 pname, compile_params[0], WEXITSTATUS (wait_status));
2161 /* Read in all of the information contained in a single aux_info file.
2162 Save all of the important stuff for later. */
2165 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2166 const char *base_source_filename;
2170 size_t base_len = strlen (base_source_filename);
2171 char * aux_info_filename
2172 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2173 char *aux_info_base;
2174 char *aux_info_limit;
2175 char *aux_info_relocated_name;
2176 const char *aux_info_second_line;
2177 time_t aux_info_mtime;
2178 size_t aux_info_size;
2181 /* Construct the aux_info filename from the base source filename. */
2183 strcpy (aux_info_filename, base_source_filename);
2184 strcat (aux_info_filename, aux_info_suffix);
2186 /* Check that the aux_info file exists and is readable. If it does not
2187 exist, try to create it (once only). */
2189 /* If file doesn't exist, set must_create.
2190 Likewise if it exists and we can read it but it is obsolete.
2191 Otherwise, report an error. */
2194 /* Come here with must_create set to 1 if file is out of date. */
2197 if (my_access (aux_info_filename, R_OK) == -1)
2199 if (errno == ENOENT)
2203 fprintf (stderr, "%s: warning: missing SYSCALLS file `%s'\n",
2204 pname, aux_info_filename);
2211 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2212 pname, shortpath (NULL, aux_info_filename),
2213 my_strerror(errno));
2218 #if 0 /* There is code farther down to take care of this. */
2222 stat (aux_info_file_name, &s1);
2223 stat (base_source_file_name, &s2);
2224 if (s2.st_mtime > s1.st_mtime)
2229 /* If we need a .X file, create it, and verify we can read it. */
2232 if (!gen_aux_info_file (base_source_filename))
2237 if (my_access (aux_info_filename, R_OK) == -1)
2239 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2240 pname, shortpath (NULL, aux_info_filename),
2241 my_strerror(errno));
2248 struct stat stat_buf;
2250 /* Get some status information about this aux_info file. */
2252 if (my_stat (aux_info_filename, &stat_buf) == -1)
2254 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2255 pname, shortpath (NULL, aux_info_filename),
2256 my_strerror(errno));
2261 /* Check on whether or not this aux_info file is zero length. If it is,
2262 then just ignore it and return. */
2264 if ((aux_info_size = stat_buf.st_size) == 0)
2267 /* Get the date/time of last modification for this aux_info file and
2268 remember it. We will have to check that any source files that it
2269 contains information about are at least this old or older. */
2271 aux_info_mtime = stat_buf.st_mtime;
2275 /* Compare mod time with the .c file; update .X file if obsolete.
2276 The code later on can fail to check the .c file
2277 if it did not directly define any functions. */
2279 if (my_stat (base_source_filename, &stat_buf) == -1)
2281 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2282 pname, shortpath (NULL, base_source_filename),
2283 my_strerror(errno));
2287 if (stat_buf.st_mtime > aux_info_mtime)
2298 /* Open the aux_info file. */
2300 if ((aux_info_file = my_open (aux_info_filename, O_RDONLY, 0444 )) == -1)
2302 fprintf (stderr, "%s: can't open aux info file `%s' for reading: %s\n",
2303 pname, shortpath (NULL, aux_info_filename),
2304 my_strerror(errno));
2308 /* Allocate space to hold the aux_info file in memory. */
2310 aux_info_base = xmalloc (aux_info_size + 1);
2311 aux_info_limit = aux_info_base + aux_info_size;
2312 *aux_info_limit = '\0';
2314 /* Read the aux_info file into memory. */
2316 if (safe_read (aux_info_file, aux_info_base, aux_info_size) != aux_info_size)
2318 fprintf (stderr, "%s: error reading aux info file `%s': %s\n",
2319 pname, shortpath (NULL, aux_info_filename),
2320 my_strerror(errno));
2321 free (aux_info_base);
2322 close (aux_info_file);
2326 /* Close the aux info file. */
2328 if (close (aux_info_file))
2330 fprintf (stderr, "%s: error closing aux info file `%s': %s\n",
2331 pname, shortpath (NULL, aux_info_filename),
2332 my_strerror(errno));
2333 free (aux_info_base);
2334 close (aux_info_file);
2339 /* Delete the aux_info file (unless requested not to). If the deletion
2340 fails for some reason, don't even worry about it. */
2342 if (must_create && !keep_it)
2343 if (my_unlink (aux_info_filename) == -1)
2344 fprintf (stderr, "%s: can't delete aux info file `%s': %s\n",
2345 pname, shortpath (NULL, aux_info_filename),
2346 my_strerror(errno));
2348 /* Save a pointer into the first line of the aux_info file which
2349 contains the filename of the directory from which the compiler
2350 was invoked when the associated source file was compiled.
2351 This information is used later to help create complete
2352 filenames out of the (potentially) relative filenames in
2353 the aux_info file. */
2356 char *p = aux_info_base;
2363 invocation_filename = p; /* Save a pointer to first byte of path. */
2368 while (*p++ != '\n')
2370 aux_info_second_line = p;
2371 aux_info_relocated_name = 0;
2372 if (invocation_filename[0] != '/')
2374 /* INVOCATION_FILENAME is relative;
2375 append it to BASE_SOURCE_FILENAME's dir. */
2377 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2378 strcpy (aux_info_relocated_name, base_source_filename);
2379 dir_end = rindex (aux_info_relocated_name, '/');
2383 dir_end = aux_info_relocated_name;
2384 strcpy (dir_end, invocation_filename);
2385 invocation_filename = aux_info_relocated_name;
2391 const char *aux_info_p;
2393 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2394 of the source files referenced in there are at least as old as this
2395 aux_info file itself. If not, go back and regenerate the aux_info
2396 file anew. Don't do any of this for the syscalls file. */
2400 current_aux_info_lineno = 2;
2402 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2404 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2406 free (aux_info_base);
2407 xfree (aux_info_relocated_name);
2408 if (keep_it && my_unlink (aux_info_filename) == -1)
2410 fprintf (stderr, "%s: can't delete file `%s': %s\n",
2411 pname, shortpath (NULL, aux_info_filename),
2412 my_strerror(errno));
2419 /* Skip over the rest of this line to start of next line. */
2421 while (*aux_info_p != '\n')
2424 current_aux_info_lineno++;
2428 /* Now do the real pass on the aux_info lines. Save their information in
2429 the in-core data base. */
2431 current_aux_info_lineno = 2;
2433 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2435 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2437 if (unexpanded_line)
2439 save_def_or_dec (unexpanded_line, is_syscalls);
2440 free (unexpanded_line);
2443 save_def_or_dec (aux_info_p, is_syscalls);
2445 /* Skip over the rest of this line and get to start of next line. */
2447 while (*aux_info_p != '\n')
2450 current_aux_info_lineno++;
2454 free (aux_info_base);
2455 xfree (aux_info_relocated_name);
2460 /* Check an individual filename for a .c suffix. If the filename has this
2461 suffix, rename the file such that its suffix is changed to .C. This
2462 function implements the -C option. */
2466 const hash_table_entry *hp;
2468 const char *filename = hp->symbol;
2469 int last_char_index = strlen (filename) - 1;
2470 char *const new_filename = (char *) alloca (strlen (filename) + 1);
2472 /* Note that we don't care here if the given file was converted or not. It
2473 is possible that the given file was *not* converted, simply because there
2474 was nothing in it which actually required conversion. Even in this case,
2475 we want to do the renaming. Note that we only rename files with the .c
2478 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.')
2481 strcpy (new_filename, filename);
2482 new_filename[last_char_index] = 'C';
2484 if (my_link (filename, new_filename) == -1)
2486 fprintf (stderr, "%s: warning: can't link file `%s' to `%s': %s\n",
2487 pname, shortpath (NULL, filename),
2488 shortpath (NULL, new_filename), my_strerror(errno));
2493 if (my_unlink (filename) == -1)
2495 fprintf (stderr, "%s: warning: can't delete file `%s': %s\n",
2496 pname, shortpath (NULL, filename), my_strerror(errno));
2502 #endif /* !defined (UNPROTOIZE) */
2504 /* Take the list of definitions and declarations attached to a particular
2505 file_info node and reverse the order of the list. This should get the
2506 list into an order such that the item with the lowest associated line
2507 number is nearest the head of the list. When these lists are originally
2508 built, they are in the opposite order. We want to traverse them in
2509 normal line number order later (i.e. lowest to highest) so reverse the
2513 reverse_def_dec_list (hp)
2514 const hash_table_entry *hp;
2516 file_info *file_p = hp->fip;
2517 def_dec_info *prev = NULL;
2518 def_dec_info *current = (def_dec_info *)file_p->defs_decs;
2521 return; /* no list to reverse */
2524 if (! (current = (def_dec_info *)current->next_in_file))
2525 return; /* can't reverse a single list element */
2527 prev->next_in_file = NULL;
2531 def_dec_info *next = (def_dec_info *)current->next_in_file;
2533 current->next_in_file = prev;
2538 file_p->defs_decs = prev;
2543 /* Find the (only?) extern definition for a particular function name, starting
2544 from the head of the linked list of entries for the given name. If we
2545 cannot find an extern definition for the given function name, issue a
2546 warning and scrounge around for the next best thing, i.e. an extern
2547 function declaration with a prototype attached to it. Note that we only
2548 allow such substitutions for extern declarations and never for static
2549 declarations. That's because the only reason we allow them at all is
2550 to let un-prototyped function declarations for system-supplied library
2551 functions get their prototypes from our own extra SYSCALLS.c.X file which
2552 contains all of the correct prototypes for system functions. */
2554 static const def_dec_info *
2555 find_extern_def (head, user)
2556 const def_dec_info *head;
2557 const def_dec_info *user;
2559 const def_dec_info *dd_p;
2560 const def_dec_info *extern_def_p = NULL;
2561 int conflict_noted = 0;
2563 /* Don't act too stupid here. Somebody may try to convert an entire system
2564 in one swell fwoop (rather than one program at a time, as should be done)
2565 and in that case, we may find that there are multiple extern definitions
2566 of a given function name in the entire set of source files that we are
2567 converting. If however one of these definitions resides in exactly the
2568 same source file as the reference we are trying to satisfy then in that
2569 case it would be stupid for us to fail to realize that this one definition
2570 *must* be the precise one we are looking for.
2572 To make sure that we don't miss an opportunity to make this "same file"
2573 leap of faith, we do a prescan of the list of records relating to the
2574 given function name, and we look (on this first scan) *only* for a
2575 definition of the function which is in the same file as the reference
2576 we are currently trying to satisfy. */
2578 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2579 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2582 /* Now, since we have not found a definition in the same file as the
2583 reference, we scan the list again and consider all possibilities from
2584 all files. Here we may get conflicts with the things listed in the
2585 SYSCALLS.c.X file, but if that happens it only means that the source
2586 code being converted contains its own definition of a function which
2587 could have been supplied by libc.a. In such cases, we should avoid
2588 issuing the normal warning, and defer to the definition given in the
2591 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2592 if (dd_p->is_func_def && !dd_p->is_static)
2594 if (!extern_def_p) /* Previous definition? */
2595 extern_def_p = dd_p; /* Remember the first definition found. */
2598 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2600 if (is_syscalls_file (dd_p->file))
2603 /* Quietly replace the definition previously found with the one
2604 just found if the previous one was from SYSCALLS.c.X. */
2606 if (is_syscalls_file (extern_def_p->file))
2608 extern_def_p = dd_p;
2612 /* If we get here, then there is a conflict between two function
2613 declarations for the same function, both of which came from the
2616 if (!conflict_noted) /* first time we noticed? */
2619 fprintf (stderr, "%s: conflicting extern definitions of '%s'\n",
2620 pname, head->hash_entry->symbol);
2623 fprintf (stderr, "%s: declarations of '%s' will not be converted\n",
2624 pname, head->hash_entry->symbol);
2625 fprintf (stderr, "%s: conflict list for '%s' follows:\n",
2626 pname, head->hash_entry->symbol);
2627 fprintf (stderr, "%s: %s(%d): %s\n",
2629 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2630 extern_def_p->line, extern_def_p->ansi_decl);
2634 fprintf (stderr, "%s: %s(%d): %s\n",
2636 shortpath (NULL, dd_p->file->hash_entry->symbol),
2637 dd_p->line, dd_p->ansi_decl);
2641 /* We want to err on the side of caution, so if we found multiple conflicting
2642 definitions for the same function, treat this as being that same as if we
2643 had found no definitions (i.e. return NULL). */
2650 /* We have no definitions for this function so do the next best thing.
2651 Search for an extern declaration already in prototype form. */
2653 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2654 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2656 extern_def_p = dd_p; /* save a pointer to the definition */
2658 fprintf (stderr, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2660 shortpath (NULL, dd_p->file->hash_entry->symbol),
2661 dd_p->line, dd_p->hash_entry->symbol);
2665 /* Gripe about unprototyped function declarations that we found no
2666 corresponding definition (or other source of prototype information)
2669 Gripe even if the unprototyped declaration we are worried about
2670 exists in a file in one of the "system" include directories. We
2671 can gripe about these because we should have at least found a
2672 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2673 didn't, then that means that the SYSCALLS.c.X file is missing some
2674 needed prototypes for this particular system. That is worth telling
2679 const char *file = user->file->hash_entry->symbol;
2682 if (in_system_include_dir (file))
2684 /* Why copy this string into `needed' at all?
2685 Why not just use user->ansi_decl without copying? */
2686 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2689 strcpy (needed, user->ansi_decl);
2690 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2691 + strlen (user->hash_entry->symbol) + 2;
2692 /* Avoid having ??? in the string. */
2698 fprintf (stderr, "%s: %d: `%s' used but missing from SYSCALLS\n",
2699 shortpath (NULL, file), user->line,
2700 needed+7); /* Don't print "extern " */
2704 fprintf (stderr, "%s: %d: warning: no extern definition for `%s'\n",
2705 shortpath (NULL, file), user->line,
2706 user->hash_entry->symbol);
2710 return extern_def_p;
2713 /* Find the (only?) static definition for a particular function name in a
2714 given file. Here we get the function-name and the file info indirectly
2715 from the def_dec_info record pointer which is passed in. */
2717 static const def_dec_info *
2718 find_static_definition (user)
2719 const def_dec_info *user;
2721 const def_dec_info *head = user->hash_entry->ddip;
2722 const def_dec_info *dd_p;
2723 int num_static_defs = 0;
2724 const def_dec_info *static_def_p = NULL;
2726 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2727 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2729 static_def_p = dd_p; /* save a pointer to the definition */
2732 if (num_static_defs == 0)
2735 fprintf (stderr, "%s: warning: no static definition for `%s' in file `%s'\n",
2736 pname, head->hash_entry->symbol,
2737 shortpath (NULL, user->file->hash_entry->symbol));
2739 else if (num_static_defs > 1)
2741 fprintf (stderr, "%s: multiple static defs of `%s' in file `%s'\n",
2742 pname, head->hash_entry->symbol,
2743 shortpath (NULL, user->file->hash_entry->symbol));
2746 return static_def_p;
2749 /* Find good prototype style formal argument lists for all of the function
2750 declarations which didn't have them before now.
2752 To do this we consider each function name one at a time. For each function
2753 name, we look at the items on the linked list of def_dec_info records for
2754 that particular name.
2756 Somewhere on this list we should find one (and only one) def_dec_info
2757 record which represents the actual function definition, and this record
2758 should have a nice formal argument list already associated with it.
2760 Thus, all we have to do is to connect up all of the other def_dec_info
2761 records for this particular function name to the special one which has
2762 the full-blown formals list.
2764 Of course it is a little more complicated than just that. See below for
2768 connect_defs_and_decs (hp)
2769 const hash_table_entry *hp;
2771 const def_dec_info *dd_p;
2772 const def_dec_info *extern_def_p = NULL;
2773 int first_extern_reference = 1;
2775 /* Traverse the list of definitions and declarations for this particular
2776 function name. For each item on the list, if it is a function
2777 definition (either old style or new style) then GCC has already been
2778 kind enough to produce a prototype for us, and it is associated with
2779 the item already, so declare the item as its own associated "definition".
2781 Also, for each item which is only a function declaration, but which
2782 nonetheless has its own prototype already (obviously supplied by the user)
2783 declare the item as it's own definition.
2785 Note that when/if there are multiple user-supplied prototypes already
2786 present for multiple declarations of any given function, these multiple
2787 prototypes *should* all match exactly with one another and with the
2788 prototype for the actual function definition. We don't check for this
2789 here however, since we assume that the compiler must have already done
2790 this consistency checking when it was creating the .X files. */
2792 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2793 if (dd_p->prototyped)
2794 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2796 /* Traverse the list of definitions and declarations for this particular
2797 function name. For each item on the list, if it is an extern function
2798 declaration and if it has no associated definition yet, go try to find
2799 the matching extern definition for the declaration.
2801 When looking for the matching function definition, warn the user if we
2804 If we find more that one function definition also issue a warning.
2806 Do the search for the matching definition only once per unique function
2807 name (and only when absolutely needed) so that we can avoid putting out
2808 redundant warning messages, and so that we will only put out warning
2809 messages when there is actually a reference (i.e. a declaration) for
2810 which we need to find a matching definition. */
2812 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2813 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2815 if (first_extern_reference)
2817 extern_def_p = find_extern_def (hp->ddip, dd_p);
2818 first_extern_reference = 0;
2820 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2823 /* Traverse the list of definitions and declarations for this particular
2824 function name. For each item on the list, if it is a static function
2825 declaration and if it has no associated definition yet, go try to find
2826 the matching static definition for the declaration within the same file.
2828 When looking for the matching function definition, warn the user if we
2829 fail to find one in the same file with the declaration, and refuse to
2830 convert this kind of cross-file static function declaration. After all,
2831 this is stupid practice and should be discouraged.
2833 We don't have to worry about the possibility that there is more than one
2834 matching function definition in the given file because that would have
2835 been flagged as an error by the compiler.
2837 Do the search for the matching definition only once per unique
2838 function-name/source-file pair (and only when absolutely needed) so that
2839 we can avoid putting out redundant warning messages, and so that we will
2840 only put out warning messages when there is actually a reference (i.e. a
2841 declaration) for which we actually need to find a matching definition. */
2843 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2844 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2846 const def_dec_info *dd_p2;
2847 const def_dec_info *static_def;
2849 /* We have now found a single static declaration for which we need to
2850 find a matching definition. We want to minimize the work (and the
2851 number of warnings), so we will find an appropriate (matching)
2852 static definition for this declaration, and then distribute it
2853 (as the definition for) any and all other static declarations
2854 for this function name which occur within the same file, and which
2855 do not already have definitions.
2857 Note that a trick is used here to prevent subsequent attempts to
2858 call find_static_definition for a given function-name & file
2859 if the first such call returns NULL. Essentially, we convert
2860 these NULL return values to -1, and put the -1 into the definition
2861 field for each other static declaration from the same file which
2862 does not already have an associated definition.
2863 This makes these other static declarations look like they are
2864 actually defined already when the outer loop here revisits them
2865 later on. Thus, the outer loop will skip over them. Later, we
2866 turn the -1's back to NULL's. */
2868 ((NONCONST def_dec_info *) dd_p)->definition =
2869 (static_def = find_static_definition (dd_p))
2871 : (const def_dec_info *) -1;
2873 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2874 if (!dd_p2->is_func_def && dd_p2->is_static
2875 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2876 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2879 /* Convert any dummy (-1) definitions we created in the step above back to
2880 NULL's (as they should be). */
2882 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2883 if (dd_p->definition == (def_dec_info *) -1)
2884 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2887 #endif /* !defined (UNPROTOIZE) */
2889 /* Give a pointer into the clean text buffer, return a number which is the
2890 original source line number that the given pointer points into. */
2893 identify_lineno (clean_p)
2894 const char *clean_p;
2899 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2900 if (*scan_p == '\n')
2905 /* Issue an error message and give up on doing this particular edit. */
2908 declare_source_confusing (clean_p)
2909 const char *clean_p;
2914 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2915 shortpath (NULL, convert_filename), last_known_line_number);
2917 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2918 shortpath (NULL, convert_filename),
2919 identify_lineno (clean_p));
2921 longjmp (source_confusion_recovery, 1);
2924 /* Check that a condition which is expected to be true in the original source
2925 code is in fact true. If not, issue an error message and give up on
2926 converting this particular source file. */
2929 check_source (cond, clean_p)
2931 const char *clean_p;
2934 declare_source_confusing (clean_p);
2937 /* If we think of the in-core cleaned text buffer as a memory mapped
2938 file (with the variable last_known_line_start acting as sort of a
2939 file pointer) then we can imagine doing "seeks" on the buffer. The
2940 following routine implements a kind of "seek" operation for the in-core
2941 (cleaned) copy of the source file. When finished, it returns a pointer to
2942 the start of a given (numbered) line in the cleaned text buffer.
2944 Note that protoize only has to "seek" in the forward direction on the
2945 in-core cleaned text file buffers, and it never needs to back up.
2947 This routine is made a little bit faster by remembering the line number
2948 (and pointer value) supplied (and returned) from the previous "seek".
2949 This prevents us from always having to start all over back at the top
2950 of the in-core cleaned buffer again. */
2956 if (n < last_known_line_number)
2959 while (n > last_known_line_number)
2961 while (*last_known_line_start != '\n')
2962 check_source (++last_known_line_start < clean_text_limit, 0);
2963 last_known_line_start++;
2964 last_known_line_number++;
2966 return last_known_line_start;
2969 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2970 to the next non-whitespace character which follows it. */
2973 forward_to_next_token_char (ptr)
2976 for (++ptr; isspace (*ptr); check_source (++ptr < clean_text_limit, 0))
2981 /* Copy a chunk of text of length `len' and starting at `str' to the current
2982 output buffer. Note that all attempts to add stuff to the current output
2983 buffer ultimately go through here. */
2986 output_bytes (str, len)
2990 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2992 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2993 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2995 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2996 repl_text_base = new_buf;
2997 repl_text_limit = new_buf + new_size;
2999 memcpy (repl_write_ptr + 1, str, len);
3000 repl_write_ptr += len;
3003 /* Copy all bytes (except the trailing null) of a null terminated string to
3004 the current output buffer. */
3010 output_bytes (str, strlen (str));
3013 /* Copy some characters from the original text buffer to the current output
3016 This routine takes a pointer argument `p' which is assumed to be a pointer
3017 into the cleaned text buffer. The bytes which are copied are the `original'
3018 equivalents for the set of bytes between the last value of `clean_read_ptr'
3019 and the argument value `p'.
3021 The set of bytes copied however, comes *not* from the cleaned text buffer,
3022 but rather from the direct counterparts of these bytes within the original
3025 Thus, when this function is called, some bytes from the original text
3026 buffer (which may include original comments and preprocessing directives)
3027 will be copied into the output buffer.
3029 Note that the request implied when this routine is called includes the
3030 byte pointed to by the argument pointer `p'. */
3036 size_t copy_length = (size_t) (p - clean_read_ptr);
3037 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
3039 if (copy_length == 0)
3042 output_bytes (copy_start, copy_length);
3046 /* Given a pointer to a def_dec_info record which represents some form of
3047 definition of a function (perhaps a real definition, or in lieu of that
3048 perhaps just a declaration with a full prototype) return true if this
3049 function is one which we should avoid converting. Return false
3053 other_variable_style_function (ansi_header)
3054 const char *ansi_header;
3058 /* See if we have a stdarg function, or a function which has stdarg style
3059 parameters or a stdarg style return type. */
3061 return substr (ansi_header, "...") != 0;
3063 #else /* !defined (UNPROTOIZE) */
3065 /* See if we have a varargs function, or a function which has varargs style
3066 parameters or a varargs style return type. */
3069 int len = strlen (varargs_style_indicator);
3071 for (p = ansi_header; p; )
3073 const char *candidate;
3075 if ((candidate = substr (p, varargs_style_indicator)) == 0)
3078 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
3084 #endif /* !defined (UNPROTOIZE) */
3087 /* Do the editing operation specifically for a function "declaration". Note
3088 that editing for function "definitions" are handled in a separate routine
3092 edit_fn_declaration (def_dec_p, clean_text_p)
3093 const def_dec_info *def_dec_p;
3094 const char *volatile clean_text_p;
3096 const char *start_formals;
3097 const char *end_formals;
3098 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3099 size_t func_name_len = strlen (function_to_edit);
3100 const char *end_of_fn_name;
3104 const f_list_chain_item *this_f_list_chain_item;
3105 const def_dec_info *definition = def_dec_p->definition;
3107 /* If we are protoizing, and if we found no corresponding definition for
3108 this particular function declaration, then just leave this declaration
3109 exactly as it is. */
3114 /* If we are protoizing, and if the corresponding definition that we found
3115 for this particular function declaration defined an old style varargs
3116 function, then we want to issue a warning and just leave this function
3117 declaration unconverted. */
3119 if (other_variable_style_function (definition->ansi_decl))
3122 fprintf (stderr, "%s: %d: warning: varargs function declaration not converted\n",
3123 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3128 #endif /* !defined (UNPROTOIZE) */
3130 /* Setup here to recover from confusing source code detected during this
3131 particular "edit". */
3134 if (setjmp (source_confusion_recovery))
3136 restore_pointers ();
3137 fprintf (stderr, "%s: declaration of function `%s' not converted\n",
3138 pname, function_to_edit);
3142 /* We are editing a function declaration. The line number we did a seek to
3143 contains the comma or semicolon which follows the declaration. Our job
3144 now is to scan backwards looking for the function name. This name *must*
3145 be followed by open paren (ignoring whitespace, of course). We need to
3146 replace everything between that open paren and the corresponding closing
3147 paren. If we are protoizing, we need to insert the prototype-style
3148 formals lists. If we are unprotoizing, we need to just delete everything
3149 between the pairs of opening and closing parens. */
3151 /* First move up to the end of the line. */
3153 while (*clean_text_p != '\n')
3154 check_source (++clean_text_p < clean_text_limit, 0);
3155 clean_text_p--; /* Point to just before the newline character. */
3157 /* Now we can scan backwards for the function name. */
3163 /* Scan leftwards until we find some character which can be
3164 part of an identifier. */
3166 while (!is_id_char (*clean_text_p))
3167 check_source (--clean_text_p > clean_read_ptr, 0);
3169 /* Scan backwards until we find a char that cannot be part of an
3172 while (is_id_char (*clean_text_p))
3173 check_source (--clean_text_p > clean_read_ptr, 0);
3175 /* Having found an "id break", see if the following id is the one
3176 that we are looking for. If so, then exit from this loop. */
3178 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3180 char ch = *(clean_text_p + 1 + func_name_len);
3182 /* Must also check to see that the name in the source text
3183 ends where it should (in order to prevent bogus matches
3184 on similar but longer identifiers. */
3186 if (! is_id_char (ch))
3187 break; /* exit from loop */
3191 /* We have now found the first perfect match for the function name in
3192 our backward search. This may or may not be the actual function
3193 name at the start of the actual function declaration (i.e. we could
3194 have easily been mislead). We will try to avoid getting fooled too
3195 often by looking forward for the open paren which should follow the
3196 identifier we just found. We ignore whitespace while hunting. If
3197 the next non-whitespace byte we see is *not* an open left paren,
3198 then we must assume that we have been fooled and we start over
3199 again accordingly. Note that there is no guarantee, that even if
3200 we do see the open paren, that we are in the right place.
3201 Programmers do the strangest things sometimes! */
3203 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3204 start_formals = forward_to_next_token_char (end_of_fn_name);
3206 while (*start_formals != '(');
3208 /* start_of_formals now points to the opening left paren which immediately
3209 follows the name of the function. */
3211 /* Note that there may be several formals lists which need to be modified
3212 due to the possibility that the return type of this function is a
3213 pointer-to-function type. If there are several formals lists, we
3214 convert them in left-to-right order here. */
3217 this_f_list_chain_item = definition->f_list_chain;
3218 #endif /* !defined (UNPROTOIZE) */
3225 end_formals = start_formals + 1;
3227 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3229 switch (*end_formals)
3242 /* end_formals now points to the closing right paren of the formals
3243 list whose left paren is pointed to by start_formals. */
3245 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3246 attached to the associated definition of this function. If however
3247 we are unprotoizing, then we simply delete any formals list which
3250 output_up_to (start_formals);
3252 if (this_f_list_chain_item)
3254 output_string (this_f_list_chain_item->formals_list);
3255 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3260 fprintf (stderr, "%s: warning: too many parameter lists in declaration of `%s'\n",
3261 pname, def_dec_p->hash_entry->symbol);
3262 check_source (0, end_formals); /* leave the declaration intact */
3264 #endif /* !defined (UNPROTOIZE) */
3265 clean_read_ptr = end_formals - 1;
3267 /* Now see if it looks like there may be another formals list associated
3268 with the function declaration that we are converting (following the
3269 formals list that we just converted. */
3272 const char *another_r_paren = forward_to_next_token_char (end_formals);
3274 if ((*another_r_paren != ')')
3275 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3278 if (this_f_list_chain_item)
3281 fprintf (stderr, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3282 pname, def_dec_p->hash_entry->symbol);
3283 check_source (0, start_formals); /* leave the decl intact */
3285 #endif /* !defined (UNPROTOIZE) */
3291 /* There does appear to be yet another formals list, so loop around
3292 again, and convert it also. */
3296 /* Edit a whole group of formals lists, starting with the rightmost one
3297 from some set of formals lists. This routine is called once (from the
3298 outside) for each function declaration which is converted. It is
3299 recursive however, and it calls itself once for each remaining formal
3300 list that lies to the left of the one it was originally called to work
3301 on. Thus, a whole set gets done in right-to-left order.
3303 This routine returns non-zero if it thinks that it should not be trying
3304 to convert this particular function definition (because the name of the
3305 function doesn't match the one expected). */
3308 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3309 const char *end_formals;
3310 unsigned int f_list_count;
3311 const def_dec_info *def_dec_p;
3313 const char *start_formals;
3316 start_formals = end_formals - 1;
3318 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3320 switch (*start_formals)
3332 /* start_formals now points to the opening left paren of the formals list. */
3338 const char *next_end;
3340 /* There should be more formal lists to the left of here. */
3342 next_end = start_formals - 1;
3343 check_source (next_end > clean_read_ptr, 0);
3344 while (isspace (*next_end))
3345 check_source (--next_end > clean_read_ptr, 0);
3346 check_source (*next_end == ')', next_end);
3347 check_source (--next_end > clean_read_ptr, 0);
3348 check_source (*next_end == ')', next_end);
3349 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3353 /* Check that the function name in the header we are working on is the same
3354 as the one we would expect to find. If not, issue a warning and return
3357 if (f_list_count == 0)
3359 const char *expected = def_dec_p->hash_entry->symbol;
3360 const char *func_name_start;
3361 const char *func_name_limit;
3362 size_t func_name_len;
3364 for (func_name_limit = start_formals-1; isspace (*func_name_limit); )
3365 check_source (--func_name_limit > clean_read_ptr, 0);
3367 for (func_name_start = func_name_limit++;
3368 is_id_char (*func_name_start);
3370 check_source (func_name_start > clean_read_ptr, 0);
3372 func_name_len = func_name_limit - func_name_start;
3373 if (func_name_len == 0)
3374 check_source (0, func_name_start);
3375 if (func_name_len != strlen (expected)
3376 || strncmp (func_name_start, expected, func_name_len))
3378 fprintf (stderr, "%s: %d: warning: found `%s' but expected `%s'\n",
3379 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3380 identify_lineno (func_name_start),
3381 dupnstr (func_name_start, func_name_len),
3387 output_up_to (start_formals);
3390 if (f_list_count == 0)
3391 output_string (def_dec_p->formal_names);
3392 #else /* !defined (UNPROTOIZE) */
3394 unsigned f_list_depth;
3395 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3397 /* At this point, the current value of f_list count says how many
3398 links we have to follow through the f_list_chain to get to the
3399 particular formals list that we need to output next. */
3401 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3402 flci_p = flci_p->chain_next;
3403 output_string (flci_p->formals_list);
3405 #endif /* !defined (UNPROTOIZE) */
3407 clean_read_ptr = end_formals - 1;
3411 /* Given a pointer to a byte in the clean text buffer which points to
3412 the beginning of a line that contains a "follower" token for a
3413 function definition header, do whatever is necessary to find the
3414 right closing paren for the rightmost formals list of the function
3415 definition header. */
3418 find_rightmost_formals_list (clean_text_p)
3419 const char *clean_text_p;
3421 const char *end_formals;
3423 /* We are editing a function definition. The line number we did a seek
3424 to contains the first token which immediately follows the entire set of
3425 formals lists which are part of this particular function definition
3428 Our job now is to scan leftwards in the clean text looking for the
3429 right-paren which is at the end of the function header's rightmost
3432 If we ignore whitespace, this right paren should be the first one we
3433 see which is (ignoring whitespace) immediately followed either by the
3434 open curly-brace beginning the function body or by an alphabetic
3435 character (in the case where the function definition is in old (K&R)
3436 style and there are some declarations of formal parameters). */
3438 /* It is possible that the right paren we are looking for is on the
3439 current line (together with its following token). Just in case that
3440 might be true, we start out here by skipping down to the right end of
3441 the current line before starting our scan. */
3443 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3449 /* Now scan backwards while looking for the right end of the rightmost
3450 formals list associated with this function definition. */
3454 const char *l_brace_p;
3456 /* Look leftward and try to find a right-paren. */
3458 while (*end_formals != ')')
3460 if (isspace (*end_formals))
3461 while (isspace (*end_formals))
3462 check_source (--end_formals > clean_read_ptr, 0);
3464 check_source (--end_formals > clean_read_ptr, 0);
3467 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3468 /* Since we are unprotoizing an ANSI-style (prototyped) function
3469 definition, there had better not be anything (except whitespace)
3470 between the end of the ANSI formals list and the beginning of the
3471 function body (i.e. the '{'). */
3473 check_source (ch == '{', l_brace_p);
3476 #else /* !defined (UNPROTOIZE) */
3478 /* Now scan backwards while looking for the right end of the rightmost
3479 formals list associated with this function definition. */
3484 const char *l_brace_p;
3486 /* Look leftward and try to find a right-paren. */
3488 while (*end_formals != ')')
3490 if (isspace (*end_formals))
3491 while (isspace (*end_formals))
3492 check_source (--end_formals > clean_read_ptr, 0);
3494 check_source (--end_formals > clean_read_ptr, 0);
3497 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3499 /* Since it is possible that we found a right paren before the starting
3500 '{' of the body which IS NOT the one at the end of the real K&R
3501 formals list (say for instance, we found one embedded inside one of
3502 the old K&R formal parameter declarations) we have to check to be
3503 sure that this is in fact the right paren that we were looking for.
3505 The one we were looking for *must* be followed by either a '{' or
3506 by an alphabetic character, while others *cannot* validly be followed
3507 by such characters. */
3509 if ((ch == '{') || isalpha (ch))
3512 /* At this point, we have found a right paren, but we know that it is
3513 not the one we were looking for, so backup one character and keep
3516 check_source (--end_formals > clean_read_ptr, 0);
3519 #endif /* !defined (UNPROTOIZE) */
3526 /* Insert into the output file a totally new declaration for a function
3527 which (up until now) was being called from within the current block
3528 without having been declared at any point such that the declaration
3529 was visible (i.e. in scope) at the point of the call.
3531 We need to add in explicit declarations for all such function calls
3532 in order to get the full benefit of prototype-based function call
3533 parameter type checking. */
3536 add_local_decl (def_dec_p, clean_text_p)
3537 const def_dec_info *def_dec_p;
3538 const char *clean_text_p;
3540 const char *start_of_block;
3541 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3543 /* Don't insert new local explicit declarations unless explicitly requested
3549 /* Setup here to recover from confusing source code detected during this
3550 particular "edit". */
3553 if (setjmp (source_confusion_recovery))
3555 restore_pointers ();
3556 fprintf (stderr, "%s: local declaration for function `%s' not inserted\n",
3557 pname, function_to_edit);
3561 /* We have already done a seek to the start of the line which should
3562 contain *the* open curly brace which begins the block in which we need
3563 to insert an explicit function declaration (to replace the implicit one).
3565 Now we scan that line, starting from the left, until we find the
3566 open curly brace we are looking for. Note that there may actually be
3567 multiple open curly braces on the given line, but we will be happy
3568 with the leftmost one no matter what. */
3570 start_of_block = clean_text_p;
3571 while (*start_of_block != '{' && *start_of_block != '\n')
3572 check_source (++start_of_block < clean_text_limit, 0);
3574 /* Note that the line from the original source could possibly
3575 contain *no* open curly braces! This happens if the line contains
3576 a macro call which expands into a chunk of text which includes a
3577 block (and that block's associated open and close curly braces).
3578 In cases like this, we give up, issue a warning, and do nothing. */
3580 if (*start_of_block != '{')
3584 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3585 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3586 def_dec_p->hash_entry->symbol);
3590 /* Figure out what a nice (pretty) indentation would be for the new
3591 declaration we are adding. In order to do this, we must scan forward
3592 from the '{' until we find the first line which starts with some
3593 non-whitespace characters (i.e. real "token" material). */
3596 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3599 /* Now we have ep pointing at the rightmost byte of some existing indent
3600 stuff. At least that is the hope.
3602 We can now just scan backwards and find the left end of the existing
3603 indentation string, and then copy it to the output buffer. */
3605 for (sp = ep; isspace (*sp) && *sp != '\n'; sp--)
3608 /* Now write out the open { which began this block, and any following
3609 trash up to and including the last byte of the existing indent that
3614 /* Now we go ahead and insert the new declaration at this point.
3616 If the definition of the given function is in the same file that we
3617 are currently editing, and if its full ANSI declaration normally
3618 would start with the keyword `extern', suppress the `extern'. */
3621 const char *decl = def_dec_p->definition->ansi_decl;
3623 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3625 output_string (decl);
3628 /* Finally, write out a new indent string, just like the preceding one
3629 that we found. This will typically include a newline as the first
3630 character of the indent string. */
3632 output_bytes (sp, (size_t) (ep - sp) + 1);
3636 /* Given a pointer to a file_info record, and a pointer to the beginning
3637 of a line (in the clean text buffer) which is assumed to contain the
3638 first "follower" token for the first function definition header in the
3639 given file, find a good place to insert some new global function
3640 declarations (which will replace scattered and imprecise implicit ones)
3641 and then insert the new explicit declaration at that point in the file. */
3644 add_global_decls (file_p, clean_text_p)
3645 const file_info *file_p;
3646 const char *clean_text_p;
3648 const def_dec_info *dd_p;
3651 /* Setup here to recover from confusing source code detected during this
3652 particular "edit". */
3655 if (setjmp (source_confusion_recovery))
3657 restore_pointers ();
3658 fprintf (stderr, "%s: global declarations for file `%s' not inserted\n",
3659 pname, shortpath (NULL, file_p->hash_entry->symbol));
3663 /* Start by finding a good location for adding the new explicit function
3664 declarations. To do this, we scan backwards, ignoring whitespace
3665 and comments and other junk until we find either a semicolon, or until
3666 we hit the beginning of the file. */
3668 scan_p = find_rightmost_formals_list (clean_text_p);
3671 if (scan_p < clean_text_base)
3673 check_source (scan_p > clean_read_ptr, 0);
3678 /* scan_p now points either to a semicolon, or to just before the start
3679 of the whole file. */
3681 /* Now scan forward for the first non-whitespace character. In theory,
3682 this should be the first character of the following function definition
3683 header. We will put in the added declarations just prior to that. */
3686 while (isspace (*scan_p))
3690 output_up_to (scan_p);
3692 /* Now write out full prototypes for all of the things that had been
3693 implicitly declared in this file (but only those for which we were
3694 actually able to find unique matching definitions). Avoid duplicates
3695 by marking things that we write out as we go. */
3698 int some_decls_added = 0;
3700 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3701 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3703 const char *decl = dd_p->definition->ansi_decl;
3705 /* If the function for which we are inserting a declaration is
3706 actually defined later in the same file, then suppress the
3707 leading `extern' keyword (if there is one). */
3709 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3712 output_string ("\n");
3713 output_string (decl);
3714 some_decls_added = 1;
3715 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3717 if (some_decls_added)
3718 output_string ("\n\n");
3721 /* Unmark all of the definitions that we just marked. */
3723 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3724 if (dd_p->definition)
3725 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3728 #endif /* !defined (UNPROTOIZE) */
3730 /* Do the editing operation specifically for a function "definition". Note
3731 that editing operations for function "declarations" are handled by a
3732 separate routine above. */
3735 edit_fn_definition (def_dec_p, clean_text_p)
3736 const def_dec_info *def_dec_p;
3737 const char *clean_text_p;
3739 const char *end_formals;
3740 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3742 /* Setup here to recover from confusing source code detected during this
3743 particular "edit". */
3746 if (setjmp (source_confusion_recovery))
3748 restore_pointers ();
3749 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3750 pname, function_to_edit);
3754 end_formals = find_rightmost_formals_list (clean_text_p);
3756 /* end_of_formals now points to the closing right paren of the rightmost
3757 formals list which is actually part of the `header' of the function
3758 definition that we are converting. */
3760 /* If the header of this function definition looks like it declares a
3761 function with a variable number of arguments, and if the way it does
3762 that is different from that way we would like it (i.e. varargs vs.
3763 stdarg) then issue a warning and leave the header unconverted. */
3765 if (other_variable_style_function (def_dec_p->ansi_decl))
3768 fprintf (stderr, "%s: %d: warning: definition of %s not converted\n",
3769 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3770 identify_lineno (end_formals),
3772 output_up_to (end_formals);
3776 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3778 restore_pointers ();
3779 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3780 pname, function_to_edit);
3784 /* Have to output the last right paren because this never gets flushed by
3785 edit_formals_list. */
3787 output_up_to (end_formals);
3792 const char *semicolon_p;
3793 const char *limit_p;
3795 int had_newlines = 0;
3797 /* Now write out the K&R style formal declarations, one per line. */
3799 decl_p = def_dec_p->formal_decls;
3800 limit_p = decl_p + strlen (decl_p);
3801 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3803 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3805 output_string ("\n");
3806 output_string (indent_string);
3807 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3810 /* If there are no newlines between the end of the formals list and the
3811 start of the body, we should insert one now. */
3813 for (scan_p = end_formals+1; *scan_p != '{'; )
3815 if (*scan_p == '\n')
3820 check_source (++scan_p < clean_text_limit, 0);
3823 output_string ("\n");
3825 #else /* !defined (UNPROTOIZE) */
3826 /* If we are protoizing, there may be some flotsam & jetsam (like comments
3827 and preprocessing directives) after the old formals list but before
3828 the following { and we would like to preserve that stuff while effectively
3829 deleting the existing K&R formal parameter declarations. We do so here
3830 in a rather tricky way. Basically, we white out any stuff *except*
3831 the comments/pp-directives in the original text buffer, then, if there
3832 is anything in this area *other* than whitespace, we output it. */
3834 const char *end_formals_orig;
3835 const char *start_body;
3836 const char *start_body_orig;
3838 const char *scan_orig;
3839 int have_flotsam = 0;
3840 int have_newlines = 0;
3842 for (start_body = end_formals + 1; *start_body != '{';)
3843 check_source (++start_body < clean_text_limit, 0);
3845 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3846 start_body_orig = orig_text_base + (start_body - clean_text_base);
3847 scan = end_formals + 1;
3848 scan_orig = end_formals_orig + 1;
3849 for (; scan < start_body; scan++, scan_orig++)
3851 if (*scan == *scan_orig)
3853 have_newlines |= (*scan_orig == '\n');
3854 /* Leave identical whitespace alone. */
3855 if (!isspace (*scan_orig))
3856 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3862 output_bytes (end_formals_orig + 1,
3863 (size_t) (start_body_orig - end_formals_orig) - 1);
3866 output_string ("\n");
3868 output_string (" ");
3869 clean_read_ptr = start_body - 1;
3871 #endif /* !defined (UNPROTOIZE) */
3874 /* Clean up the clean text buffer. Do this by converting comments and
3875 preprocessing directives into spaces. Also convert line continuations
3876 into whitespace. Also, whiteout string and character literals. */
3879 do_cleaning (new_clean_text_base, new_clean_text_limit)
3880 char *new_clean_text_base;
3881 char *new_clean_text_limit;
3884 int non_whitespace_since_newline = 0;
3886 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3890 case '/': /* Handle comments. */
3891 if (scan_p[1] != '*')
3893 non_whitespace_since_newline = 1;
3897 while (scan_p[1] != '/' || scan_p[0] != '*')
3899 if (!isspace (*scan_p))
3901 if (++scan_p >= new_clean_text_limit)
3908 case '#': /* Handle pp directives. */
3909 if (non_whitespace_since_newline)
3912 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3914 if (!isspace (*scan_p))
3916 if (++scan_p >= new_clean_text_limit)
3922 case '\'': /* Handle character literals. */
3923 non_whitespace_since_newline = 1;
3924 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3926 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3928 if (!isspace (*scan_p))
3930 if (++scan_p >= new_clean_text_limit)
3936 case '"': /* Handle string literals. */
3937 non_whitespace_since_newline = 1;
3938 while (scan_p[1] != '"' || scan_p[0] == '\\')
3940 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3942 if (!isspace (*scan_p))
3944 if (++scan_p >= new_clean_text_limit)
3947 if (!isspace (*scan_p))
3952 case '\\': /* Handle line continuations. */
3953 if (scan_p[1] != '\n')
3959 non_whitespace_since_newline = 0; /* Reset. */
3968 break; /* Whitespace characters. */
3972 non_whitespace_since_newline = 1;
3978 /* Given a pointer to the closing right parenthesis for a particular formals
3979 list (in the clean text buffer) find the corresponding left parenthesis
3980 and return a pointer to it. */
3983 careful_find_l_paren (p)
3989 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
4004 /* Scan the clean text buffer for cases of function definitions that we
4005 don't really know about because they were preprocessed out when the
4006 aux info files were created.
4008 In this version of protoize/unprotoize we just give a warning for each
4009 one found. A later version may be able to at least unprotoize such
4012 Note that we may easily find all function definitions simply by
4013 looking for places where there is a left paren which is (ignoring
4014 whitespace) immediately followed by either a left-brace or by an
4015 upper or lower case letter. Whenever we find this combination, we
4016 have also found a function definition header.
4018 Finding function *declarations* using syntactic clues is much harder.
4019 I will probably try to do this in a later version though. */
4022 scan_for_missed_items (file_p)
4023 const file_info *file_p;
4025 static const char *scan_p;
4026 const char *limit = clean_text_limit - 3;
4027 static const char *backup_limit;
4029 backup_limit = clean_text_base - 1;
4031 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
4035 static const char *last_r_paren;
4036 const char *ahead_p;
4038 last_r_paren = scan_p;
4040 for (ahead_p = scan_p + 1; isspace (*ahead_p); )
4041 check_source (++ahead_p < limit, limit);
4043 scan_p = ahead_p - 1;
4045 if (isalpha (*ahead_p) || *ahead_p == '{')
4047 const char *last_l_paren;
4048 const int lineno = identify_lineno (ahead_p);
4050 if (setjmp (source_confusion_recovery))
4053 /* We know we have a function definition header. Now skip
4054 leftwards over all of its associated formals lists. */
4058 last_l_paren = careful_find_l_paren (last_r_paren);
4059 for (last_r_paren = last_l_paren-1; isspace (*last_r_paren); )
4060 check_source (--last_r_paren >= backup_limit, backup_limit);
4062 while (*last_r_paren == ')');
4064 if (is_id_char (*last_r_paren))
4066 const char *id_limit = last_r_paren + 1;
4067 const char *id_start;
4069 const def_dec_info *dd_p;
4071 for (id_start = id_limit-1; is_id_char (*id_start); )
4072 check_source (--id_start >= backup_limit, backup_limit);
4074 backup_limit = id_start;
4075 if ((id_length = (size_t) (id_limit - id_start)) == 0)
4079 char *func_name = (char *) alloca (id_length + 1);
4080 static const char * const stmt_keywords[]
4081 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
4082 const char * const *stmt_keyword;
4084 strncpy (func_name, id_start, id_length);
4085 func_name[id_length] = '\0';
4087 /* We must check here to see if we are actually looking at
4088 a statement rather than an actual function call. */
4090 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
4091 if (!strcmp (func_name, *stmt_keyword))
4095 fprintf (stderr, "%s: found definition of `%s' at %s(%d)\n",
4098 shortpath (NULL, file_p->hash_entry->symbol),
4099 identify_lineno (id_start));
4101 /* We really should check for a match of the function name
4102 here also, but why bother. */
4104 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4105 if (dd_p->is_func_def && dd_p->line == lineno)
4108 /* If we make it here, then we did not know about this
4109 function definition. */
4111 fprintf (stderr, "%s: %d: warning: `%s' excluded by preprocessing\n",
4112 shortpath (NULL, file_p->hash_entry->symbol),
4113 identify_lineno (id_start), func_name);
4114 fprintf (stderr, "%s: function definition not converted\n",
4124 /* Do all editing operations for a single source file (either a "base" file
4125 or an "include" file). To do this we read the file into memory, keep a
4126 virgin copy there, make another cleaned in-core copy of the original file
4127 (i.e. one in which all of the comments and preprocessing directives have
4128 been replaced with whitespace), then use these two in-core copies of the
4129 file to make a new edited in-core copy of the file. Finally, rename the
4130 original file (as a way of saving it), and then write the edited version
4131 of the file from core to a disk file of the same name as the original.
4133 Note that the trick of making a copy of the original sans comments &
4134 preprocessing directives make the editing a whole lot easier. */
4138 const hash_table_entry *hp;
4140 struct stat stat_buf;
4141 const file_info *file_p = hp->fip;
4142 char *new_orig_text_base;
4143 char *new_orig_text_limit;
4144 char *new_clean_text_base;
4145 char *new_clean_text_limit;
4148 int first_definition_in_file;
4150 /* If we are not supposed to be converting this file, or if there is
4151 nothing in there which needs converting, just skip this file. */
4153 if (!needs_to_be_converted (file_p))
4156 convert_filename = file_p->hash_entry->symbol;
4158 /* Convert a file if it is in a directory where we want conversion
4159 and the file is not excluded. */
4161 if (!directory_specified_p (convert_filename)
4162 || file_excluded_p (convert_filename))
4166 /* Don't even mention "system" include files unless we are
4167 protoizing. If we are protoizing, we mention these as a
4168 gentle way of prodding the user to convert his "system"
4169 include files to prototype format. */
4170 && !in_system_include_dir (convert_filename)
4171 #endif /* defined (UNPROTOIZE) */
4173 fprintf (stderr, "%s: `%s' not converted\n",
4174 pname, shortpath (NULL, convert_filename));
4178 /* Let the user know what we are up to. */
4181 fprintf (stderr, "%s: would convert file `%s'\n",
4182 pname, shortpath (NULL, convert_filename));
4184 fprintf (stderr, "%s: converting file `%s'\n",
4185 pname, shortpath (NULL, convert_filename));
4188 /* Find out the size (in bytes) of the original file. */
4190 /* The cast avoids an erroneous warning on AIX. */
4191 if (my_stat ((char *)convert_filename, &stat_buf) == -1)
4193 fprintf (stderr, "%s: can't get status for file `%s': %s\n",
4194 pname, shortpath (NULL, convert_filename), my_strerror(errno));
4197 orig_size = stat_buf.st_size;
4199 /* Allocate a buffer to hold the original text. */
4201 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4202 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4204 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4206 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4207 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4208 clean_read_ptr = clean_text_base - 1;
4210 /* Allocate a buffer that will hopefully be large enough to hold the entire
4211 converted output text. As an initial guess for the maximum size of the
4212 output buffer, use 125% of the size of the original + some extra. This
4213 buffer can be expanded later as needed. */
4215 repl_size = orig_size + (orig_size >> 2) + 4096;
4216 repl_text_base = (char *) xmalloc (repl_size + 2);
4217 repl_text_limit = repl_text_base + repl_size - 1;
4218 repl_write_ptr = repl_text_base - 1;
4223 /* Open the file to be converted in READ ONLY mode. */
4225 if ((input_file = my_open (convert_filename, O_RDONLY, 0444)) == -1)
4227 fprintf (stderr, "%s: can't open file `%s' for reading: %s\n",
4228 pname, shortpath (NULL, convert_filename),
4229 my_strerror(errno));
4233 /* Read the entire original source text file into the original text buffer
4234 in one swell fwoop. Then figure out where the end of the text is and
4235 make sure that it ends with a newline followed by a null. */
4237 if (safe_read (input_file, new_orig_text_base, orig_size) != orig_size)
4240 fprintf (stderr, "\n%s: error reading input file `%s': %s\n",
4241 pname, shortpath (NULL, convert_filename),
4242 my_strerror(errno));
4249 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4251 *new_orig_text_limit++ = '\n';
4255 /* Create the cleaned up copy of the original text. */
4257 memcpy (new_clean_text_base, orig_text_base,
4258 (size_t) (orig_text_limit - orig_text_base));
4259 do_cleaning (new_clean_text_base, new_clean_text_limit);
4264 size_t clean_size = orig_text_limit - orig_text_base;
4265 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4267 /* Open (and create) the clean file. */
4269 strcpy (clean_filename, convert_filename);
4270 strcat (clean_filename, ".clean");
4271 if ((clean_file = creat (clean_filename, 0666)) == -1)
4273 fprintf (stderr, "%s: can't create/open clean file `%s': %s\n",
4274 pname, shortpath (NULL, clean_filename),
4275 my_strerror(errno));
4279 /* Write the clean file. */
4281 safe_write (clean_file, new_clean_text_base, clean_size, clean_filename);
4287 /* Do a simplified scan of the input looking for things that were not
4288 mentioned in the aux info files because of the fact that they were
4289 in a region of the source which was preprocessed-out (via #if or
4292 scan_for_missed_items (file_p);
4294 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4296 last_known_line_number = 1;
4297 last_known_line_start = clean_text_base;
4299 /* Now get down to business and make all of the necessary edits. */
4302 const def_dec_info *def_dec_p;
4304 first_definition_in_file = 1;
4305 def_dec_p = file_p->defs_decs;
4306 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4308 const char *clean_text_p = seek_to_line (def_dec_p->line);
4310 /* clean_text_p now points to the first character of the line which
4311 contains the `terminator' for the declaration or definition that
4312 we are about to process. */
4316 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4318 add_global_decls (def_dec_p->file, clean_text_p);
4319 first_definition_in_file = 0;
4322 /* Don't edit this item if it is already in prototype format or if it
4323 is a function declaration and we have found no corresponding
4326 if (def_dec_p->prototyped
4327 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4330 #endif /* !defined (UNPROTOIZE) */
4332 if (def_dec_p->is_func_def)
4333 edit_fn_definition (def_dec_p, clean_text_p);
4336 if (def_dec_p->is_implicit)
4337 add_local_decl (def_dec_p, clean_text_p);
4339 #endif /* !defined (UNPROTOIZE) */
4340 edit_fn_declaration (def_dec_p, clean_text_p);
4344 /* Finalize things. Output the last trailing part of the original text. */
4346 output_up_to (clean_text_limit - 1);
4348 /* If this is just a test run, stop now and just deallocate the buffers. */
4352 free (new_orig_text_base);
4353 free (new_clean_text_base);
4354 free (repl_text_base);
4358 /* Change the name of the original input file. This is just a quick way of
4359 saving the original file. */
4364 = (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4366 strcpy (new_filename, convert_filename);
4367 strcat (new_filename, save_suffix);
4368 if (my_link (convert_filename, new_filename) == -1)
4370 if (errno == EEXIST)
4373 fprintf (stderr, "%s: warning: file `%s' already saved in `%s'\n",
4375 shortpath (NULL, convert_filename),
4376 shortpath (NULL, new_filename));
4380 fprintf (stderr, "%s: can't link file `%s' to `%s': %s\n",
4382 shortpath (NULL, convert_filename),
4383 shortpath (NULL, new_filename),
4384 my_strerror(errno));
4390 if (my_unlink (convert_filename) == -1)
4392 fprintf (stderr, "%s: can't delete file `%s': %s\n",
4393 pname, shortpath (NULL, convert_filename), my_strerror(errno));
4400 /* Open (and create) the output file. */
4402 if ((output_file = creat (convert_filename, 0666)) == -1)
4404 fprintf (stderr, "%s: can't create/open output file `%s': %s\n",
4405 pname, shortpath (NULL, convert_filename),
4406 my_strerror(errno));
4410 /* Write the output file. */
4413 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4415 safe_write (output_file, repl_text_base, out_size, convert_filename);
4418 close (output_file);
4421 /* Deallocate the conversion buffers. */
4423 free (new_orig_text_base);
4424 free (new_clean_text_base);
4425 free (repl_text_base);
4427 /* Change the mode of the output file to match the original file. */
4429 /* The cast avoids an erroneous warning on AIX. */
4430 if (my_chmod ((char *)convert_filename, stat_buf.st_mode) == -1)
4431 fprintf (stderr, "%s: can't change mode of file `%s': %s\n",
4432 pname, shortpath (NULL, convert_filename), my_strerror(errno));
4434 /* Note: We would try to change the owner and group of the output file
4435 to match those of the input file here, except that may not be a good
4436 thing to do because it might be misleading. Also, it might not even
4437 be possible to do that (on BSD systems with quotas for instance). */
4440 /* Do all of the individual steps needed to do the protoization (or
4441 unprotoization) of the files referenced in the aux_info files given
4442 in the command line. */
4447 const char * const *base_pp;
4448 const char * const * const end_pps
4449 = &base_source_filenames[n_base_source_files];
4453 #endif /* !defined (UNPROTOIZE) */
4455 /* One-by-one, check (and create if necessary), open, and read all of the
4456 stuff in each aux_info file. After reading each aux_info file, the
4457 aux_info_file just read will be automatically deleted unless the
4458 keep_flag is set. */
4460 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4461 process_aux_info_file (*base_pp, keep_flag, 0);
4465 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4466 the prototypes for all of the standard system-supplied functions. */
4468 if (nondefault_syscalls_dir)
4470 syscalls_absolute_filename
4471 = (char *) xmalloc (strlen (nondefault_syscalls_dir)
4472 + sizeof (syscalls_filename) + 1);
4473 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4477 syscalls_absolute_filename
4478 = (char *) xmalloc (strlen (default_syscalls_dir)
4479 + sizeof (syscalls_filename) + 1);
4480 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4483 syscalls_len = strlen (syscalls_absolute_filename);
4484 if (*(syscalls_absolute_filename + syscalls_len - 1) != '/')
4486 *(syscalls_absolute_filename + syscalls_len++) = '/';
4487 *(syscalls_absolute_filename + syscalls_len) = '\0';
4489 strcat (syscalls_absolute_filename, syscalls_filename);
4491 /* Call process_aux_info_file in such a way that it does not try to
4492 delete the SYSCALLS aux_info file. */
4494 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4496 #endif /* !defined (UNPROTOIZE) */
4498 /* When we first read in all of the information from the aux_info files
4499 we saved in it descending line number order, because that was likely to
4500 be faster. Now however, we want the chains of def & dec records to
4501 appear in ascending line number order as we get further away from the
4502 file_info record that they hang from. The following line causes all of
4503 these lists to be rearranged into ascending line number order. */
4505 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4509 /* Now do the "real" work. The following line causes each declaration record
4510 to be "visited". For each of these nodes, an attempt is made to match
4511 up the function declaration with a corresponding function definition,
4512 which should have a full prototype-format formals list with it. Once
4513 these match-ups are made, the conversion of the function declarations
4514 to prototype format can be made. */
4516 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4518 #endif /* !defined (UNPROTOIZE) */
4520 /* Now convert each file that can be converted (and needs to be). */
4522 visit_each_hash_node (filename_primary, edit_file);
4526 /* If we are working in cplusplus mode, try to rename all .c files to .C
4527 files. Don't panic if some of the renames don't work. */
4529 if (cplusplus_flag && !nochange_flag)
4530 visit_each_hash_node (filename_primary, rename_c_file);
4532 #endif /* !defined (UNPROTOIZE) */
4535 static struct option longopts[] =
4537 {"version", 0, 0, 'V'},
4538 {"file_name", 0, 0, 'p'},
4539 {"quiet", 0, 0, 'q'},
4540 {"silent", 0, 0, 'q'},
4541 {"force", 0, 0, 'f'},
4542 {"keep", 0, 0, 'k'},
4543 {"nosave", 0, 0, 'N'},
4544 {"nochange", 0, 0, 'n'},
4545 {"compiler-options", 1, 0, 'c'},
4546 {"exclude", 1, 0, 'x'},
4547 {"directory", 1, 0, 'd'},
4549 {"indent", 1, 0, 'i'},
4551 {"local", 0, 0, 'l'},
4552 {"global", 0, 0, 'g'},
4554 {"syscalls-dir", 1, 0, 'B'},
4566 const char *params = "";
4568 pname = rindex (argv[0], '/');
4569 pname = pname ? pname+1 : argv[0];
4571 cwd_buffer = getpwd ();
4574 fprintf (stderr, "%s: cannot get working directory: %s\n",
4575 pname, my_strerror(errno));
4576 exit (FATAL_EXIT_CODE);
4579 /* By default, convert the files in the current directory. */
4580 directory_list = string_list_cons (cwd_buffer, NULL);
4582 while ((c = getopt_long (argc, argv,
4586 "B:c:Cd:gklnNp:qvVx:",
4588 longopts, &longind)) != EOF)
4590 if (c == 0) /* Long option. */
4591 c = longopts[longind].val;
4595 compiler_file_name = optarg;
4599 = string_list_cons (abspath (NULL, optarg), directory_list);
4602 exclude_list = string_list_cons (optarg, exclude_list);
4632 indent_string = optarg;
4634 #else /* !defined (UNPROTOIZE) */
4645 nondefault_syscalls_dir = optarg;
4647 #endif /* !defined (UNPROTOIZE) */
4653 /* Set up compile_params based on -p and -c options. */
4654 munge_compile_params (params);
4656 n_base_source_files = argc - optind;
4658 /* Now actually make a list of the base source filenames. */
4660 base_source_filenames
4661 = (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4662 n_base_source_files = 0;
4663 for (; optind < argc; optind++)
4665 const char *path = abspath (NULL, argv[optind]);
4666 int len = strlen (path);
4668 if (path[len-1] == 'c' && path[len-2] == '.')
4669 base_source_filenames[n_base_source_files++] = path;
4672 fprintf (stderr, "%s: input file names must have .c suffixes: %s\n",
4673 pname, shortpath (NULL, path));
4679 /* We are only interested in the very first identifier token in the
4680 definition of `va_list', so if there is more junk after that first
4681 identifier token, delete it from the `varargs_style_indicator'. */
4685 for (cp = varargs_style_indicator; isalnum (*cp) || *cp == '_'; cp++)
4688 varargs_style_indicator = savestring (varargs_style_indicator,
4689 cp - varargs_style_indicator);
4691 #endif /* !defined (UNPROTOIZE) */
4698 fprintf (stderr, "%s: %s\n", pname, version_string);
4702 exit (errors ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);