1 /* Protoize program - Original version by Ron Guilmette (rfg@segfault.us.com).
2 Copyright (C) 1989, 92-99, 2000 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. */
33 /* Include getopt.h for the sake of getopt_long. */
36 /* Macro to see if the path elements match. */
37 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
38 #define IS_SAME_PATH_CHAR(a,b) (toupper (a) == toupper (b))
40 #define IS_SAME_PATH_CHAR(a,b) ((a) == (b))
43 /* Macro to see if the paths match. */
44 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
45 #define IS_SAME_PATH(a,b) (strcasecmp (a, b) == 0)
47 #define IS_SAME_PATH(a,b) (strcmp (a, b) == 0)
50 /* Suffix for renamed C++ files. */
51 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
52 #define CPLUS_FILE_SUFFIX "cc"
54 #define CPLUS_FILE_SUFFIX "C"
57 static void usage PARAMS ((void)) ATTRIBUTE_NORETURN;
58 static void aux_info_corrupted PARAMS ((void)) ATTRIBUTE_NORETURN;
59 static void declare_source_confusing PARAMS ((const char *)) ATTRIBUTE_NORETURN;
60 static const char *shortpath PARAMS ((const char *, const char *));
61 extern void fancy_abort PARAMS ((void)) ATTRIBUTE_NORETURN;
62 static void notice PARAMS ((const char *, ...)) ATTRIBUTE_PRINTF_1;
63 static char *savestring PARAMS ((const char *, unsigned int));
64 static char *dupnstr PARAMS ((const char *, size_t));
65 static const char *substr PARAMS ((const char *, const char * const));
66 static int safe_read PARAMS ((int, PTR, int));
67 static void safe_write PARAMS ((int, PTR, int, const char *));
68 static void save_pointers PARAMS ((void));
69 static void restore_pointers PARAMS ((void));
70 static int is_id_char PARAMS ((int));
71 static int in_system_include_dir PARAMS ((const char *));
72 static int directory_specified_p PARAMS ((const char *));
73 static int file_excluded_p PARAMS ((const char *));
74 static char *unexpand_if_needed PARAMS ((const char *));
75 static char *abspath PARAMS ((const char *, const char *));
76 static int is_abspath PARAMS ((const char *));
77 static void check_aux_info PARAMS ((int));
78 static const char *find_corresponding_lparen PARAMS ((const char *));
79 static int referenced_file_is_newer PARAMS ((const char *, time_t));
80 static void save_def_or_dec PARAMS ((const char *, int));
81 static void munge_compile_params PARAMS ((const char *));
82 static int gen_aux_info_file PARAMS ((const char *));
83 static void process_aux_info_file PARAMS ((const char *, int, int));
84 static int identify_lineno PARAMS ((const char *));
85 static void check_source PARAMS ((int, const char *));
86 static const char *seek_to_line PARAMS ((int));
87 static const char *forward_to_next_token_char PARAMS ((const char *));
88 static void output_bytes PARAMS ((const char *, size_t));
89 static void output_string PARAMS ((const char *));
90 static void output_up_to PARAMS ((const char *));
91 static int other_variable_style_function PARAMS ((const char *));
92 static const char *find_rightmost_formals_list PARAMS ((const char *));
93 static void do_cleaning PARAMS ((char *, const char *));
94 static const char *careful_find_l_paren PARAMS ((const char *));
95 static void do_processing PARAMS ((void));
97 /* Look for these where the `const' qualifier is intentionally cast aside. */
100 /* Define a default place to find the SYSCALLS.X file. */
104 #ifndef STANDARD_EXEC_PREFIX
105 #define STANDARD_EXEC_PREFIX "/usr/local/lib/gcc-lib/"
106 #endif /* !defined STANDARD_EXEC_PREFIX */
108 static const char * const standard_exec_prefix = STANDARD_EXEC_PREFIX;
109 static const char * const target_machine = DEFAULT_TARGET_MACHINE;
110 static const char * const target_version = DEFAULT_TARGET_VERSION;
112 #ifndef GET_ENV_PATH_LIST
113 #define GET_ENV_PATH_LIST(VAR,NAME) do { (VAR) = getenv (NAME); } while (0)
116 #endif /* !defined (UNPROTOIZE) */
118 /* Suffix of aux_info files. */
120 static const char * const aux_info_suffix = ".X";
122 /* String to attach to filenames for saved versions of original files. */
124 static const char * const save_suffix = ".save";
126 /* String to attach to C filenames renamed to C++. */
128 static const char * const cplus_suffix = CPLUS_FILE_SUFFIX;
132 /* File name of the file which contains descriptions of standard system
133 routines. Note that we never actually do anything with this file per se,
134 but we do read in its corresponding aux_info file. */
136 static const char syscalls_filename[] = "SYSCALLS.c";
138 /* Default place to find the above file. */
140 static const char * default_syscalls_dir;
142 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
145 static char * syscalls_absolute_filename;
147 #endif /* !defined (UNPROTOIZE) */
149 /* Type of the structure that holds information about macro unexpansions. */
151 struct unexpansion_struct {
152 const char *expanded;
153 const char *contracted;
155 typedef struct unexpansion_struct unexpansion;
157 /* A table of conversions that may need to be made for some (stupid) older
158 operating systems where these types are preprocessor macros rather than
159 typedefs (as they really ought to be).
161 WARNING: The contracted forms must be as small (or smaller) as the
162 expanded forms, or else havoc will ensue. */
164 static const unexpansion unexpansions[] = {
165 { "struct _iobuf", "FILE" },
169 /* The number of "primary" slots in the hash tables for filenames and for
170 function names. This can be as big or as small as you like, except that
171 it must be a power of two. */
173 #define HASH_TABLE_SIZE (1 << 9)
175 /* Bit mask to use when computing hash values. */
177 static const int hash_mask = (HASH_TABLE_SIZE - 1);
179 /* Make a table of default system include directories
180 just as it is done in cccp.c. */
182 #ifndef STANDARD_INCLUDE_DIR
183 #define STANDARD_INCLUDE_DIR "/usr/include"
186 #ifndef LOCAL_INCLUDE_DIR
187 #define LOCAL_INCLUDE_DIR "/usr/local/include"
190 struct default_include { const char *fname;
191 const char *component;
192 int x1, x2; } include_defaults[]
193 #ifdef INCLUDE_DEFAULTS
197 /* Pick up GNU C++ specific include files. */
198 { GPLUSPLUS_INCLUDE_DIR, "G++", 1, 1 },
200 /* This is the dir for fixincludes. Put it just before
201 the files that we fix. */
202 { GCC_INCLUDE_DIR, "GCC", 0, 0 },
203 /* For cross-compilation, this dir name is generated
204 automatically in Makefile.in. */
205 { CROSS_INCLUDE_DIR, 0, 0, 0 },
206 /* This is another place that the target system's headers might be. */
207 { TOOL_INCLUDE_DIR, "BINUTILS", 0, 0 },
208 #else /* not CROSS_COMPILE */
209 /* This should be /use/local/include and should come before
210 the fixincludes-fixed header files. */
211 { LOCAL_INCLUDE_DIR, 0, 0, 1 },
212 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
213 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
214 { TOOL_INCLUDE_DIR, "BINUTILS", 0, 0 },
215 /* This is the dir for fixincludes. Put it just before
216 the files that we fix. */
217 { GCC_INCLUDE_DIR, "GCC", 0, 0 },
218 /* Some systems have an extra dir of include files. */
219 #ifdef SYSTEM_INCLUDE_DIR
220 { SYSTEM_INCLUDE_DIR, 0, 0, 0 },
222 { STANDARD_INCLUDE_DIR, 0, 0, 0},
223 #endif /* not CROSS_COMPILE */
226 #endif /* no INCLUDE_DEFAULTS */
228 /* Datatype for lists of directories or filenames. */
232 struct string_list *next;
235 static struct string_list *string_list_cons PARAMS ((const char *,
236 struct string_list *));
238 /* List of directories in which files should be converted. */
240 struct string_list *directory_list;
242 /* List of file names which should not be converted.
243 A file is excluded if the end of its name, following a /,
244 matches one of the names in this list. */
246 struct string_list *exclude_list;
248 /* The name of the other style of variable-number-of-parameters functions
249 (i.e. the style that we want to leave unconverted because we don't yet
250 know how to convert them to this style. This string is used in warning
253 /* Also define here the string that we can search for in the parameter lists
254 taken from the .X files which will unambiguously indicate that we have
255 found a varargs style function. */
258 static const char * const other_var_style = "stdarg";
259 #else /* !defined (UNPROTOIZE) */
260 static const char * const other_var_style = "varargs";
261 /* Note that this is a string containing the expansion of va_alist.
262 But in `main' we discard all but the first token. */
263 static const char *varargs_style_indicator = STRINGIFY (va_alist);
264 #endif /* !defined (UNPROTOIZE) */
266 /* The following two types are used to create hash tables. In this program,
267 there are two hash tables which are used to store and quickly lookup two
268 different classes of strings. The first type of strings stored in the
269 first hash table are absolute filenames of files which protoize needs to
270 know about. The second type of strings (stored in the second hash table)
271 are function names. It is this second class of strings which really
272 inspired the use of the hash tables, because there may be a lot of them. */
274 typedef struct hash_table_entry_struct hash_table_entry;
276 /* Do some typedefs so that we don't have to write "struct" so often. */
278 typedef struct def_dec_info_struct def_dec_info;
279 typedef struct file_info_struct file_info;
280 typedef struct f_list_chain_item_struct f_list_chain_item;
283 static int is_syscalls_file PARAMS ((const file_info *));
284 static void rename_c_file PARAMS ((const hash_table_entry *));
285 static const def_dec_info *find_extern_def PARAMS ((const def_dec_info *,
286 const def_dec_info *));
287 static const def_dec_info *find_static_definition PARAMS ((const def_dec_info *));
288 static void connect_defs_and_decs PARAMS ((const hash_table_entry *));
289 static void add_local_decl PARAMS ((const def_dec_info *, const char *));
290 static void add_global_decls PARAMS ((const file_info *, const char *));
291 #endif /* ! UNPROTOIZE */
292 static int needs_to_be_converted PARAMS ((const file_info *));
293 static void visit_each_hash_node PARAMS ((const hash_table_entry *,
294 void (*)(const hash_table_entry *)));
295 static hash_table_entry *add_symbol PARAMS ((hash_table_entry *, const char *));
296 static hash_table_entry *lookup PARAMS ((hash_table_entry *, const char *));
297 static void free_def_dec PARAMS ((def_dec_info *));
298 static file_info *find_file PARAMS ((const char *, int));
299 static void reverse_def_dec_list PARAMS ((const hash_table_entry *));
300 static void edit_fn_declaration PARAMS ((const def_dec_info *, const char *));
301 static int edit_formals_lists PARAMS ((const char *, unsigned int,
302 const def_dec_info *));
303 static void edit_fn_definition PARAMS ((const def_dec_info *, const char *));
304 static void scan_for_missed_items PARAMS ((const file_info *));
305 static void edit_file PARAMS ((const hash_table_entry *));
307 /* In the struct below, note that the "_info" field has two different uses
308 depending on the type of hash table we are in (i.e. either the filenames
309 hash table or the function names hash table). In the filenames hash table
310 the info fields of the entries point to the file_info struct which is
311 associated with each filename (1 per filename). In the function names
312 hash table, the info field points to the head of a singly linked list of
313 def_dec_info entries which are all defs or decs of the function whose
314 name is pointed to by the "symbol" field. Keeping all of the defs/decs
315 for a given function name on a special list specifically for that function
316 name makes it quick and easy to find out all of the important information
317 about a given (named) function. */
319 struct hash_table_entry_struct {
320 hash_table_entry * hash_next; /* -> to secondary entries */
321 const char * symbol; /* -> to the hashed string */
323 const def_dec_info * _ddip;
327 #define ddip _info._ddip
328 #define fip _info._fip
330 /* Define a type specifically for our two hash tables. */
332 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
334 /* The following struct holds all of the important information about any
335 single filename (e.g. file) which we need to know about. */
337 struct file_info_struct {
338 const hash_table_entry * hash_entry; /* -> to associated hash entry */
339 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
340 time_t mtime; /* Time of last modification. */
343 /* Due to the possibility that functions may return pointers to functions,
344 (which may themselves have their own parameter lists) and due to the
345 fact that returned pointers-to-functions may be of type "pointer-to-
346 function-returning-pointer-to-function" (ad nauseum) we have to keep
347 an entire chain of ANSI style formal parameter lists for each function.
349 Normally, for any given function, there will only be one formals list
350 on the chain, but you never know.
352 Note that the head of each chain of formals lists is pointed to by the
353 `f_list_chain' field of the corresponding def_dec_info record.
355 For any given chain, the item at the head of the chain is the *leftmost*
356 parameter list seen in the actual C language function declaration. If
357 there are other members of the chain, then these are linked in left-to-right
358 order from the head of the chain. */
360 struct f_list_chain_item_struct {
361 const f_list_chain_item * chain_next; /* -> to next item on chain */
362 const char * formals_list; /* -> to formals list string */
365 /* The following struct holds all of the important information about any
366 single function definition or declaration which we need to know about.
367 Note that for unprotoize we don't need to know very much because we
368 never even create records for stuff that we don't intend to convert
369 (like for instance defs and decs which are already in old K&R format
370 and "implicit" function declarations). */
372 struct def_dec_info_struct {
373 const def_dec_info * next_in_file; /* -> to rest of chain for file */
374 file_info * file; /* -> file_info for containing file */
375 int line; /* source line number of def/dec */
376 const char * ansi_decl; /* -> left end of ansi decl */
377 hash_table_entry * hash_entry; /* -> hash entry for function name */
378 unsigned int is_func_def; /* = 0 means this is a declaration */
379 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
380 unsigned int f_list_count; /* count of formals lists we expect */
381 char prototyped; /* = 0 means already prototyped */
383 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
384 const def_dec_info * definition; /* -> def/dec containing related def */
385 char is_static; /* = 0 means visibility is "extern" */
386 char is_implicit; /* != 0 for implicit func decl's */
387 char written; /* != 0 means written for implicit */
388 #else /* !defined (UNPROTOIZE) */
389 const char * formal_names; /* -> to list of names of formals */
390 const char * formal_decls; /* -> to string of formal declarations */
391 #endif /* !defined (UNPROTOIZE) */
394 /* Pointer to the tail component of the filename by which this program was
395 invoked. Used everywhere in error and warning messages. */
397 static const char *pname;
399 /* Error counter. Will be non-zero if we should give up at the next convenient
402 static int errors = 0;
405 /* ??? These comments should say what the flag mean as well as the options
408 /* File name to use for running gcc. Allows GCC 2 to be named
409 something other than gcc. */
410 static const char *compiler_file_name = "gcc";
412 static int version_flag = 0; /* Print our version number. */
413 static int quiet_flag = 0; /* Don't print messages normally. */
414 static int nochange_flag = 0; /* Don't convert, just say what files
415 we would have converted. */
416 static int nosave_flag = 0; /* Don't save the old version. */
417 static int keep_flag = 0; /* Don't delete the .X files. */
418 static const char ** compile_params = 0; /* Option string for gcc. */
420 static const char *indent_string = " "; /* Indentation for newly
421 inserted parm decls. */
422 #else /* !defined (UNPROTOIZE) */
423 static int local_flag = 0; /* Insert new local decls (when?). */
424 static int global_flag = 0; /* set by -g option */
425 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
426 static const char *nondefault_syscalls_dir = 0; /* Dir to look for
428 #endif /* !defined (UNPROTOIZE) */
430 /* An index into the compile_params array where we should insert the source
431 file name when we are ready to exec the C compiler. A zero value indicates
432 that we have not yet called munge_compile_params. */
434 static int input_file_name_index = 0;
436 /* An index into the compile_params array where we should insert the filename
437 for the aux info file, when we run the C compiler. */
438 static int aux_info_file_name_index = 0;
440 /* Count of command line arguments which were "filename" arguments. */
442 static int n_base_source_files = 0;
444 /* Points to a malloc'ed list of pointers to all of the filenames of base
445 source files which were specified on the command line. */
447 static const char **base_source_filenames;
449 /* Line number of the line within the current aux_info file that we
450 are currently processing. Used for error messages in case the prototypes
451 info file is corrupted somehow. */
453 static int current_aux_info_lineno;
455 /* Pointer to the name of the source file currently being converted. */
457 static const char *convert_filename;
459 /* Pointer to relative root string (taken from aux_info file) which indicates
460 where directory the user was in when he did the compilation step that
461 produced the containing aux_info file. */
463 static const char *invocation_filename;
465 /* Pointer to the base of the input buffer that holds the original text for the
466 source file currently being converted. */
468 static const char *orig_text_base;
470 /* Pointer to the byte just beyond the end of the input buffer that holds the
471 original text for the source file currently being converted. */
473 static const char *orig_text_limit;
475 /* Pointer to the base of the input buffer that holds the cleaned text for the
476 source file currently being converted. */
478 static const char *clean_text_base;
480 /* Pointer to the byte just beyond the end of the input buffer that holds the
481 cleaned text for the source file currently being converted. */
483 static const char *clean_text_limit;
485 /* Pointer to the last byte in the cleaned text buffer that we have already
486 (virtually) copied to the output buffer (or decided to ignore). */
488 static const char * clean_read_ptr;
490 /* Pointer to the base of the output buffer that holds the replacement text
491 for the source file currently being converted. */
493 static char *repl_text_base;
495 /* Pointer to the byte just beyond the end of the output buffer that holds the
496 replacement text for the source file currently being converted. */
498 static char *repl_text_limit;
500 /* Pointer to the last byte which has been stored into the output buffer.
501 The next byte to be stored should be stored just past where this points
504 static char * repl_write_ptr;
506 /* Pointer into the cleaned text buffer for the source file we are currently
507 converting. This points to the first character of the line that we last
508 did a "seek_to_line" to (see below). */
510 static const char *last_known_line_start;
512 /* Number of the line (in the cleaned text buffer) that we last did a
513 "seek_to_line" to. Will be one if we just read a new source file
514 into the cleaned text buffer. */
516 static int last_known_line_number;
518 /* The filenames hash table. */
520 static hash_table filename_primary;
522 /* The function names hash table. */
524 static hash_table function_name_primary;
526 /* The place to keep the recovery address which is used only in cases where
527 we get hopelessly confused by something in the cleaned original text. */
529 static jmp_buf source_confusion_recovery;
531 /* A pointer to the current directory filename (used by abspath). */
533 static char *cwd_buffer;
535 /* A place to save the read pointer until we are sure that an individual
536 attempt at editing will succeed. */
538 static const char * saved_clean_read_ptr;
540 /* A place to save the write pointer until we are sure that an individual
541 attempt at editing will succeed. */
543 static char * saved_repl_write_ptr;
545 /* Translate and output an error message. */
547 notice VPARAMS ((const char *msgid, ...))
549 #ifndef ANSI_PROTOTYPES
554 VA_START (ap, msgid);
556 #ifndef ANSI_PROTOTYPES
557 msgid = va_arg (ap, const char *);
560 vfprintf (stderr, _(msgid), ap);
565 /* Make a copy of a string INPUT with size SIZE. */
568 savestring (input, size)
572 char *output = (char *) xmalloc (size + 1);
573 strcpy (output, input);
577 /* More 'friendly' abort that prints the line and file.
578 config.h can #define abort fancy_abort if you like that sort of thing. */
583 notice ("%s: internal abort\n", pname);
584 exit (FATAL_EXIT_CODE);
587 /* Make a duplicate of the first N bytes of a given string in a newly
595 char *ret_val = (char *) xmalloc (n + 1);
597 strncpy (ret_val, s, n);
602 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
603 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
608 const char *const s2;
616 for (p1 = s1, p2 = s2; (c = *p2); p1++, p2++)
626 /* Read LEN bytes at PTR from descriptor DESC, for file FILENAME,
627 retrying if necessary. Return the actual number of bytes read. */
630 safe_read (desc, ptr, len)
637 int nchars = read (desc, ptr, left);
648 /* Arithmetic on void pointers is a gcc extention. */
649 ptr = (char *) ptr + nchars;
655 /* Write LEN bytes at PTR to descriptor DESC,
656 retrying if necessary, and treating any real error as fatal. */
659 safe_write (desc, ptr, len, out_fname)
663 const char *out_fname;
666 int written = write (desc, ptr, len);
669 int errno_val = errno;
671 if (errno_val == EINTR)
674 notice ("%s: error writing file `%s': %s\n",
675 pname, shortpath (NULL, out_fname), xstrerror (errno_val));
678 /* Arithmetic on void pointers is a gcc extention. */
679 ptr = (char *) ptr + written;
684 /* Get setup to recover in case the edit we are about to do goes awry. */
689 saved_clean_read_ptr = clean_read_ptr;
690 saved_repl_write_ptr = repl_write_ptr;
693 /* Call this routine to recover our previous state whenever something looks
694 too confusing in the source code we are trying to edit. */
699 clean_read_ptr = saved_clean_read_ptr;
700 repl_write_ptr = saved_repl_write_ptr;
703 /* Return true if the given character is a valid identifier character. */
709 return (ISALNUM (ch) || (ch == '_') || (ch == '$'));
712 /* Give a message indicating the proper way to invoke this program and then
713 exit with non-zero status. */
719 notice ("%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
721 #else /* !defined (UNPROTOIZE) */
722 notice ("%s: usage '%s [ -VqfnkNlgC ] [ -B <dirname> ] [ filename ... ]'\n",
724 #endif /* !defined (UNPROTOIZE) */
725 exit (FATAL_EXIT_CODE);
728 /* Return true if the given filename (assumed to be an absolute filename)
729 designates a file residing anywhere beneath any one of the "system"
730 include directories. */
733 in_system_include_dir (path)
736 struct default_include *p;
738 if (! is_abspath (path))
739 abort (); /* Must be an absolutized filename. */
741 for (p = include_defaults; p->fname; p++)
742 if (!strncmp (path, p->fname, strlen (p->fname))
743 && IS_DIR_SEPARATOR (path[strlen (p->fname)]))
749 /* Return true if the given filename designates a file that the user has
750 read access to and for which the user has write access to the containing
754 file_could_be_converted (const char *path)
756 char *const dir_name = (char *) alloca (strlen (path) + 1);
758 if (access (path, R_OK))
762 char *dir_last_slash;
764 strcpy (dir_name, path);
765 dir_last_slash = strrchr (dir_name, DIR_SEPARATOR);
766 #ifdef DIR_SEPARATOR_2
770 slash = strrchr (dir_last_slash ? dir_last_slash : dir_name,
773 dir_last_slash = slash;
777 *dir_last_slash = '\0';
779 abort (); /* Should have been an absolutized filename. */
782 if (access (path, W_OK))
788 /* Return true if the given filename designates a file that we are allowed
789 to modify. Files which we should not attempt to modify are (a) "system"
790 include files, and (b) files which the user doesn't have write access to,
791 and (c) files which reside in directories which the user doesn't have
792 write access to. Unless requested to be quiet, give warnings about
793 files that we will not try to convert for one reason or another. An
794 exception is made for "system" include files, which we never try to
795 convert and for which we don't issue the usual warnings. */
798 file_normally_convertible (const char *path)
800 char *const dir_name = alloca (strlen (path) + 1);
802 if (in_system_include_dir (path))
806 char *dir_last_slash;
808 strcpy (dir_name, path);
809 dir_last_slash = strrchr (dir_name, DIR_SEPARATOR);
810 #ifdef DIR_SEPARATOR_2
814 slash = strrchr (dir_last_slash ? dir_last_slash : dir_name,
817 dir_last_slash = slash;
821 *dir_last_slash = '\0';
823 abort (); /* Should have been an absolutized filename. */
826 if (access (path, R_OK))
829 notice ("%s: warning: no read access for file `%s'\n",
830 pname, shortpath (NULL, path));
834 if (access (path, W_OK))
837 notice ("%s: warning: no write access for file `%s'\n",
838 pname, shortpath (NULL, path));
842 if (access (dir_name, W_OK))
845 notice ("%s: warning: no write access for dir containing `%s'\n",
846 pname, shortpath (NULL, path));
856 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
857 file. Return false otherwise. */
860 is_syscalls_file (fi_p)
861 const file_info *fi_p;
863 char const *f = fi_p->hash_entry->symbol;
864 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
865 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
868 #endif /* !defined (UNPROTOIZE) */
870 /* Check to see if this file will need to have anything done to it on this
871 run. If there is nothing in the given file which both needs conversion
872 and for which we have the necessary stuff to do the conversion, return
873 false. Otherwise, return true.
875 Note that (for protoize) it is only valid to call this function *after*
876 the connections between declarations and definitions have all been made
877 by connect_defs_and_decs. */
880 needs_to_be_converted (file_p)
881 const file_info *file_p;
883 const def_dec_info *ddp;
887 if (is_syscalls_file (file_p))
890 #endif /* !defined (UNPROTOIZE) */
892 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
898 /* ... and if we a protoizing and this function is in old style ... */
900 /* ... and if this a definition or is a decl with an associated def ... */
901 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
903 #else /* defined (UNPROTOIZE) */
905 /* ... and if we are unprotoizing and this function is in new style ... */
908 #endif /* defined (UNPROTOIZE) */
910 /* ... then the containing file needs converting. */
915 /* Return 1 if the file name NAME is in a directory
916 that should be converted. */
919 directory_specified_p (name)
922 struct string_list *p;
924 for (p = directory_list; p; p = p->next)
925 if (!strncmp (name, p->name, strlen (p->name))
926 && IS_DIR_SEPARATOR (name[strlen (p->name)]))
928 const char *q = name + strlen (p->name) + 1;
930 /* If there are more slashes, it's in a subdir, so
931 this match doesn't count. */
933 if (IS_DIR_SEPARATOR (*(q-1)))
943 /* Return 1 if the file named NAME should be excluded from conversion. */
946 file_excluded_p (name)
949 struct string_list *p;
950 int len = strlen (name);
952 for (p = exclude_list; p; p = p->next)
953 if (!strcmp (name + len - strlen (p->name), p->name)
954 && IS_DIR_SEPARATOR (name[len - strlen (p->name) - 1]))
960 /* Construct a new element of a string_list.
961 STRING is the new element value, and REST holds the remaining elements. */
963 static struct string_list *
964 string_list_cons (string, rest)
966 struct string_list *rest;
968 struct string_list *temp
969 = (struct string_list *) xmalloc (sizeof (struct string_list));
976 /* ??? The GNU convention for mentioning function args in its comments
977 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
978 Likewise for all the other functions. */
980 /* Given a hash table, apply some function to each node in the table. The
981 table to traverse is given as the "hash_tab_p" argument, and the
982 function to be applied to each node in the table is given as "func"
986 visit_each_hash_node (hash_tab_p, func)
987 const hash_table_entry *hash_tab_p;
988 void (*func) PARAMS ((const hash_table_entry *));
990 const hash_table_entry *primary;
992 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
995 hash_table_entry *second;
998 for (second = primary->hash_next; second; second = second->hash_next)
1003 /* Initialize all of the fields of a new hash table entry, pointed
1004 to by the "p" parameter. Note that the space to hold the entry
1005 is assumed to have already been allocated before this routine is
1008 static hash_table_entry *
1010 hash_table_entry *p;
1013 p->hash_next = NULL;
1014 p->symbol = xstrdup (s);
1020 /* Look for a particular function name or filename in the particular
1021 hash table indicated by "hash_tab_p". If the name is not in the
1022 given hash table, add it. Either way, return a pointer to the
1023 hash table entry for the given name. */
1025 static hash_table_entry *
1026 lookup (hash_tab_p, search_symbol)
1027 hash_table_entry *hash_tab_p;
1028 const char *search_symbol;
1031 const char *search_symbol_char_p = search_symbol;
1032 hash_table_entry *p;
1034 while (*search_symbol_char_p)
1035 hash_value += *search_symbol_char_p++;
1036 hash_value &= hash_mask;
1037 p = &hash_tab_p[hash_value];
1039 return add_symbol (p, search_symbol);
1040 if (!strcmp (p->symbol, search_symbol))
1042 while (p->hash_next)
1045 if (!strcmp (p->symbol, search_symbol))
1048 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1050 return add_symbol (p, search_symbol);
1053 /* Throw a def/dec record on the junk heap.
1055 Also, since we are not using this record anymore, free up all of the
1056 stuff it pointed to. */
1062 free ((NONCONST PTR) p->ansi_decl);
1066 const f_list_chain_item * curr;
1067 const f_list_chain_item * next;
1069 for (curr = p->f_list_chain; curr; curr = next)
1071 next = curr->chain_next;
1072 free ((NONCONST PTR) curr);
1075 #endif /* !defined (UNPROTOIZE) */
1080 /* Unexpand as many macro symbol as we can find.
1082 If the given line must be unexpanded, make a copy of it in the heap and
1083 return a pointer to the unexpanded copy. Otherwise return NULL. */
1086 unexpand_if_needed (aux_info_line)
1087 const char *aux_info_line;
1089 static char *line_buf = 0;
1090 static int line_buf_size = 0;
1091 const unexpansion *unexp_p;
1092 int got_unexpanded = 0;
1094 char *copy_p = line_buf;
1098 line_buf_size = 1024;
1099 line_buf = (char *) xmalloc (line_buf_size);
1104 /* Make a copy of the input string in line_buf, expanding as necessary. */
1106 for (s = aux_info_line; *s != '\n'; )
1108 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1110 const char *in_p = unexp_p->expanded;
1111 size_t len = strlen (in_p);
1113 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1115 int size = strlen (unexp_p->contracted);
1117 if (copy_p + size - line_buf >= line_buf_size)
1119 int offset = copy_p - line_buf;
1121 line_buf_size += size;
1122 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1123 copy_p = line_buf + offset;
1125 strcpy (copy_p, unexp_p->contracted);
1128 /* Assume the there will not be another replacement required
1129 within the text just replaced. */
1132 goto continue_outer;
1135 if (copy_p - line_buf == line_buf_size)
1137 int offset = copy_p - line_buf;
1139 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1140 copy_p = line_buf + offset;
1145 if (copy_p + 2 - line_buf >= line_buf_size)
1147 int offset = copy_p - line_buf;
1149 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1150 copy_p = line_buf + offset;
1155 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1158 /* Return 1 if pathname is absolute. */
1164 return (IS_DIR_SEPARATOR (path[0])
1165 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1166 /* Check for disk name on MS-DOS-based systems. */
1167 || (path[0] && path[1] == ':' && IS_DIR_SEPARATOR (path[2]))
1172 /* Return the absolutized filename for the given relative
1173 filename. Note that if that filename is already absolute, it may
1174 still be returned in a modified form because this routine also
1175 eliminates redundant slashes and single dots and eliminates double
1176 dots to get a shortest possible filename from the given input
1177 filename. The absolutization of relative filenames is made by
1178 assuming that the given filename is to be taken as relative to
1179 the first argument (cwd) or to the current directory if cwd is
1183 abspath (cwd, rel_filename)
1185 const char *rel_filename;
1187 /* Setup the current working directory as needed. */
1188 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1189 char *const abs_buffer
1190 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1191 char *endp = abs_buffer;
1194 /* Copy the filename (possibly preceded by the current working
1195 directory name) into the absolutization buffer. */
1200 if (! is_abspath (rel_filename))
1203 while ((*endp++ = *src_p++))
1205 *(endp-1) = DIR_SEPARATOR; /* overwrite null */
1207 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1208 else if (IS_DIR_SEPARATOR (rel_filename[0]))
1210 /* A path starting with a directory separator is considered absolute
1211 for dos based filesystems, but it's really not -- it's just the
1212 convention used throughout GCC and it works. However, in this
1213 case, we still need to prepend the drive spec from cwd_buffer. */
1218 src_p = rel_filename;
1219 while ((*endp++ = *src_p++))
1223 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1224 filename (by taking out slashes and dots) as we go. */
1226 outp = inp = abs_buffer;
1227 *outp++ = *inp++; /* copy first slash */
1228 #if defined (apollo) || defined (_WIN32) || defined (__INTERIX)
1229 if (IS_DIR_SEPARATOR (inp[0]))
1230 *outp++ = *inp++; /* copy second slash */
1236 else if (IS_DIR_SEPARATOR (inp[0]) && IS_DIR_SEPARATOR (outp[-1]))
1241 else if (inp[0] == '.' && IS_DIR_SEPARATOR (outp[-1]))
1245 else if (IS_DIR_SEPARATOR (inp[1]))
1250 else if ((inp[1] == '.') && (inp[2] == 0
1251 || IS_DIR_SEPARATOR (inp[2])))
1253 inp += (IS_DIR_SEPARATOR (inp[2])) ? 3 : 2;
1255 while (outp >= abs_buffer && ! IS_DIR_SEPARATOR (*outp))
1257 if (outp < abs_buffer)
1259 /* Catch cases like /.. where we try to backup to a
1260 point above the absolute root of the logical file
1263 notice ("%s: invalid file name: %s\n",
1264 pname, rel_filename);
1265 exit (FATAL_EXIT_CODE);
1274 /* On exit, make sure that there is a trailing null, and make sure that
1275 the last character of the returned string is *not* a slash. */
1278 if (IS_DIR_SEPARATOR (outp[-1]))
1281 /* Make a copy (in the heap) of the stuff left in the absolutization
1282 buffer and return a pointer to the copy. */
1284 return savestring (abs_buffer, outp - abs_buffer);
1287 /* Given a filename (and possibly a directory name from which the filename
1288 is relative) return a string which is the shortest possible
1289 equivalent for the corresponding full (absolutized) filename. The
1290 shortest possible equivalent may be constructed by converting the
1291 absolutized filename to be a relative filename (i.e. relative to
1292 the actual current working directory). However if a relative filename
1293 is longer, then the full absolute filename is returned.
1297 Note that "simple-minded" conversion of any given type of filename (either
1298 relative or absolute) may not result in a valid equivalent filename if any
1299 subpart of the original filename is actually a symbolic link. */
1302 shortpath (cwd, filename)
1304 const char *filename;
1308 char *cwd_p = cwd_buffer;
1310 int unmatched_slash_count = 0;
1311 size_t filename_len = strlen (filename);
1313 path_p = abspath (cwd, filename);
1314 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1316 while (*cwd_p && IS_SAME_PATH_CHAR (*cwd_p, *path_p))
1321 if (!*cwd_p && (!*path_p || IS_DIR_SEPARATOR (*path_p)))
1323 /* whole pwd matched */
1324 if (!*path_p) /* input *is* the current path! */
1335 while (! IS_DIR_SEPARATOR (*cwd_p)) /* backup to last slash */
1342 unmatched_slash_count++;
1345 /* Find out how many directory levels in cwd were *not* matched. */
1347 if (IS_DIR_SEPARATOR (*(cwd_p-1)))
1348 unmatched_slash_count++;
1350 /* Now we know how long the "short name" will be.
1351 Reject it if longer than the input. */
1352 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1355 /* For each of them, put a `../' at the beginning of the short name. */
1356 while (unmatched_slash_count--)
1358 /* Give up if the result gets to be longer
1359 than the absolute path name. */
1360 if (rel_buffer + filename_len <= rel_buf_p + 3)
1364 *rel_buf_p++ = DIR_SEPARATOR;
1367 /* Then tack on the unmatched part of the desired file's name. */
1370 if (rel_buffer + filename_len <= rel_buf_p)
1373 while ((*rel_buf_p++ = *path_p++));
1376 if (IS_DIR_SEPARATOR (*(rel_buf_p-1)))
1377 *--rel_buf_p = '\0';
1382 /* Lookup the given filename in the hash table for filenames. If it is a
1383 new one, then the hash table info pointer will be null. In this case,
1384 we create a new file_info record to go with the filename, and we initialize
1385 that record with some reasonable values. */
1387 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1388 That is probably a bug in AIX, but might as well avoid the warning. */
1391 find_file (filename, do_not_stat)
1392 const char *filename;
1395 hash_table_entry *hash_entry_p;
1397 hash_entry_p = lookup (filename_primary, filename);
1398 if (hash_entry_p->fip)
1399 return hash_entry_p->fip;
1402 struct stat stat_buf;
1403 file_info *file_p = (file_info *) xmalloc (sizeof (file_info));
1405 /* If we cannot get status on any given source file, give a warning
1406 and then just set its time of last modification to infinity. */
1409 stat_buf.st_mtime = (time_t) 0;
1412 if (stat (filename, &stat_buf) == -1)
1414 int errno_val = errno;
1415 notice ("%s: %s: can't get status: %s\n",
1416 pname, shortpath (NULL, filename),
1417 xstrerror (errno_val));
1418 stat_buf.st_mtime = (time_t) -1;
1422 hash_entry_p->fip = file_p;
1423 file_p->hash_entry = hash_entry_p;
1424 file_p->defs_decs = NULL;
1425 file_p->mtime = stat_buf.st_mtime;
1430 /* Generate a fatal error because some part of the aux_info file is
1434 aux_info_corrupted ()
1436 notice ("\n%s: fatal error: aux info file corrupted at line %d\n",
1437 pname, current_aux_info_lineno);
1438 exit (FATAL_EXIT_CODE);
1441 /* ??? This comment is vague. Say what the condition is for. */
1442 /* Check to see that a condition is true. This is kind of like an assert. */
1445 check_aux_info (cond)
1449 aux_info_corrupted ();
1452 /* Given a pointer to the closing right parenthesis for a particular formals
1453 list (in an aux_info file) find the corresponding left parenthesis and
1454 return a pointer to it. */
1457 find_corresponding_lparen (p)
1463 for (paren_depth = 1, q = p-1; paren_depth; q--)
1478 /* Given a line from an aux info file, and a time at which the aux info
1479 file it came from was created, check to see if the item described in
1480 the line comes from a file which has been modified since the aux info
1481 file was created. If so, return non-zero, else return zero. */
1484 referenced_file_is_newer (l, aux_info_mtime)
1486 time_t aux_info_mtime;
1492 check_aux_info (l[0] == '/');
1493 check_aux_info (l[1] == '*');
1494 check_aux_info (l[2] == ' ');
1497 const char *filename_start = p = l + 3;
1500 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1501 || (*p == ':' && *p && *(p+1) && IS_DIR_SEPARATOR (*(p+1)))
1505 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1506 strncpy (filename, filename_start, (size_t) (p - filename_start));
1507 filename[p-filename_start] = '\0';
1510 /* Call find_file to find the file_info record associated with the file
1511 which contained this particular def or dec item. Note that this call
1512 may cause a new file_info record to be created if this is the first time
1513 that we have ever known about this particular file. */
1515 fi_p = find_file (abspath (invocation_filename, filename), 0);
1517 return (fi_p->mtime > aux_info_mtime);
1520 /* Given a line of info from the aux_info file, create a new
1521 def_dec_info record to remember all of the important information about
1522 a function definition or declaration.
1524 Link this record onto the list of such records for the particular file in
1525 which it occurred in proper (descending) line number order (for now).
1527 If there is an identical record already on the list for the file, throw
1528 this one away. Doing so takes care of the (useless and troublesome)
1529 duplicates which are bound to crop up due to multiple inclusions of any
1530 given individual header file.
1532 Finally, link the new def_dec record onto the list of such records
1533 pertaining to this particular function name. */
1536 save_def_or_dec (l, is_syscalls)
1541 const char *semicolon_p;
1542 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1545 def_dec_p->written = 0;
1546 #endif /* !defined (UNPROTOIZE) */
1548 /* Start processing the line by picking off 5 pieces of information from
1549 the left hand end of the line. These are filename, line number,
1550 new/old/implicit flag (new = ANSI prototype format), definition or
1551 declaration flag, and extern/static flag). */
1553 check_aux_info (l[0] == '/');
1554 check_aux_info (l[1] == '*');
1555 check_aux_info (l[2] == ' ');
1558 const char *filename_start = p = l + 3;
1562 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1563 || (*p == ':' && *p && *(p+1) && IS_DIR_SEPARATOR (*(p+1)))
1567 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1568 strncpy (filename, filename_start, (size_t) (p - filename_start));
1569 filename[p-filename_start] = '\0';
1571 /* Call find_file to find the file_info record associated with the file
1572 which contained this particular def or dec item. Note that this call
1573 may cause a new file_info record to be created if this is the first time
1574 that we have ever known about this particular file.
1576 Note that we started out by forcing all of the base source file names
1577 (i.e. the names of the aux_info files with the .X stripped off) into the
1578 filenames hash table, and we simultaneously setup file_info records for
1579 all of these base file names (even if they may be useless later).
1580 The file_info records for all of these "base" file names (properly)
1581 act as file_info records for the "original" (i.e. un-included) files
1582 which were submitted to gcc for compilation (when the -aux-info
1583 option was used). */
1585 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1589 const char *line_number_start = ++p;
1590 char line_number[10];
1593 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
1594 || (*p == ':' && *p && *(p+1) && IS_DIR_SEPARATOR (*(p+1)))
1598 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1599 line_number[p-line_number_start] = '\0';
1600 def_dec_p->line = atoi (line_number);
1603 /* Check that this record describes a new-style, old-style, or implicit
1604 definition or declaration. */
1606 p++; /* Skip over the `:'. */
1607 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1609 /* Is this a new style (ANSI prototyped) definition or declaration? */
1611 def_dec_p->prototyped = (*p == 'N');
1615 /* Is this an implicit declaration? */
1617 def_dec_p->is_implicit = (*p == 'I');
1619 #endif /* !defined (UNPROTOIZE) */
1623 check_aux_info ((*p == 'C') || (*p == 'F'));
1625 /* Is this item a function definition (F) or a declaration (C). Note that
1626 we treat item taken from the syscalls file as though they were function
1627 definitions regardless of what the stuff in the file says. */
1629 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1632 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1633 #endif /* !defined (UNPROTOIZE) */
1635 check_aux_info (*p++ == ' ');
1636 check_aux_info (*p++ == '*');
1637 check_aux_info (*p++ == '/');
1638 check_aux_info (*p++ == ' ');
1641 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1642 #else /* !defined (UNPROTOIZE) */
1643 if (!strncmp (p, "static", 6))
1644 def_dec_p->is_static = -1;
1645 else if (!strncmp (p, "extern", 6))
1646 def_dec_p->is_static = 0;
1648 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1649 #endif /* !defined (UNPROTOIZE) */
1652 const char *ansi_start = p;
1654 p += 6; /* Pass over the "static" or "extern". */
1656 /* We are now past the initial stuff. Search forward from here to find
1657 the terminating semicolon that should immediately follow the entire
1658 ANSI format function declaration. */
1665 /* Make a copy of the ansi declaration part of the line from the aux_info
1668 def_dec_p->ansi_decl
1669 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1671 /* Backup and point at the final right paren of the final argument list. */
1676 def_dec_p->f_list_chain = NULL;
1677 #endif /* !defined (UNPROTOIZE) */
1679 while (p != ansi_start && (p[-1] == ' ' || p[-1] == '\t')) p--;
1682 free_def_dec (def_dec_p);
1687 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1688 there will only be one list to isolate, but there could be more. */
1690 def_dec_p->f_list_count = 0;
1694 const char *left_paren_p = find_corresponding_lparen (p);
1697 f_list_chain_item *cip
1698 = (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1701 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1703 /* Add the new chain item at the head of the current list. */
1705 cip->chain_next = def_dec_p->f_list_chain;
1706 def_dec_p->f_list_chain = cip;
1708 #endif /* !defined (UNPROTOIZE) */
1709 def_dec_p->f_list_count++;
1711 p = left_paren_p - 2;
1713 /* p must now point either to another right paren, or to the last
1714 character of the name of the function that was declared/defined.
1715 If p points to another right paren, then this indicates that we
1716 are dealing with multiple formals lists. In that case, there
1717 really should be another right paren preceding this right paren. */
1722 check_aux_info (*--p == ')');
1727 const char *past_fn = p + 1;
1729 check_aux_info (*past_fn == ' ');
1731 /* Scan leftwards over the identifier that names the function. */
1733 while (is_id_char (*p))
1737 /* p now points to the leftmost character of the function name. */
1740 char *fn_string = (char *) alloca (past_fn - p + 1);
1742 strncpy (fn_string, p, (size_t) (past_fn - p));
1743 fn_string[past_fn-p] = '\0';
1744 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1748 /* Look at all of the defs and decs for this function name that we have
1749 collected so far. If there is already one which is at the same
1750 line number in the same file, then we can discard this new def_dec_info
1753 As an extra assurance that any such pair of (nominally) identical
1754 function declarations are in fact identical, we also compare the
1755 ansi_decl parts of the lines from the aux_info files just to be on
1758 This comparison will fail if (for instance) the user was playing
1759 messy games with the preprocessor which ultimately causes one
1760 function declaration in one header file to look differently when
1761 that file is included by two (or more) other files. */
1764 const def_dec_info *other;
1766 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1768 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1770 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1772 notice ("%s:%d: declaration of function `%s' takes different forms\n",
1773 def_dec_p->file->hash_entry->symbol,
1775 def_dec_p->hash_entry->symbol);
1776 exit (FATAL_EXIT_CODE);
1778 free_def_dec (def_dec_p);
1786 /* If we are doing unprotoizing, we must now setup the pointers that will
1787 point to the K&R name list and to the K&R argument declarations list.
1789 Note that if this is only a function declaration, then we should not
1790 expect to find any K&R style formals list following the ANSI-style
1791 formals list. This is because GCC knows that such information is
1792 useless in the case of function declarations (function definitions
1793 are a different story however).
1795 Since we are unprotoizing, we don't need any such lists anyway.
1796 All we plan to do is to delete all characters between ()'s in any
1799 def_dec_p->formal_names = NULL;
1800 def_dec_p->formal_decls = NULL;
1802 if (def_dec_p->is_func_def)
1805 check_aux_info (*++p == ' ');
1806 check_aux_info (*++p == '/');
1807 check_aux_info (*++p == '*');
1808 check_aux_info (*++p == ' ');
1809 check_aux_info (*++p == '(');
1812 const char *kr_names_start = ++p; /* Point just inside '('. */
1816 p--; /* point to closing right paren */
1818 /* Make a copy of the K&R parameter names list. */
1820 def_dec_p->formal_names
1821 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1824 check_aux_info (*++p == ' ');
1827 /* p now points to the first character of the K&R style declarations
1828 list (if there is one) or to the star-slash combination that ends
1829 the comment in which such lists get embedded. */
1831 /* Make a copy of the K&R formal decls list and set the def_dec record
1834 if (*p == '*') /* Are there no K&R declarations? */
1836 check_aux_info (*++p == '/');
1837 def_dec_p->formal_decls = "";
1841 const char *kr_decls_start = p;
1843 while (p[0] != '*' || p[1] != '/')
1847 check_aux_info (*p == ' ');
1849 def_dec_p->formal_decls
1850 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1853 /* Handle a special case. If we have a function definition marked as
1854 being in "old" style, and if its formal names list is empty, then
1855 it may actually have the string "void" in its real formals list
1856 in the original source code. Just to make sure, we will get setup
1857 to convert such things anyway.
1859 This kludge only needs to be here because of an insurmountable
1860 problem with generating .X files. */
1862 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1863 def_dec_p->prototyped = 1;
1866 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1867 we can just ignore it. If that is true, throw away the itme now. */
1869 if (!def_dec_p->prototyped)
1871 free_def_dec (def_dec_p);
1875 #endif /* defined (UNPROTOIZE) */
1877 /* Add this record to the head of the list of records pertaining to this
1878 particular function name. */
1880 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1881 def_dec_p->hash_entry->ddip = def_dec_p;
1883 /* Add this new def_dec_info record to the sorted list of def_dec_info
1884 records for this file. Note that we don't have to worry about duplicates
1885 (caused by multiple inclusions of header files) here because we have
1886 already eliminated duplicates above. */
1888 if (!def_dec_p->file->defs_decs)
1890 def_dec_p->file->defs_decs = def_dec_p;
1891 def_dec_p->next_in_file = NULL;
1895 int line = def_dec_p->line;
1896 const def_dec_info *prev = NULL;
1897 const def_dec_info *curr = def_dec_p->file->defs_decs;
1898 const def_dec_info *next = curr->next_in_file;
1900 while (next && (line < curr->line))
1904 next = next->next_in_file;
1906 if (line >= curr->line)
1908 def_dec_p->next_in_file = curr;
1910 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
1912 def_dec_p->file->defs_decs = def_dec_p;
1914 else /* assert (next == NULL); */
1916 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
1917 /* assert (next == NULL); */
1918 def_dec_p->next_in_file = next;
1923 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1924 Also set input_file_name_index and aux_info_file_name_index
1925 to the indices of the slots where the file names should go. */
1927 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1928 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1931 munge_compile_params (params_list)
1932 const char *params_list;
1934 /* Build up the contents in a temporary vector
1935 that is so big that to has to be big enough. */
1936 const char **temp_params
1937 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
1938 int param_count = 0;
1941 temp_params[param_count++] = compiler_file_name;
1944 while (ISSPACE ((const unsigned char)*params_list))
1948 param = params_list;
1949 while (*params_list && !ISSPACE ((const unsigned char)*params_list))
1951 if (param[0] != '-')
1952 temp_params[param_count++]
1953 = dupnstr (param, (size_t) (params_list - param));
1962 break; /* Don't copy these. */
1964 while (ISSPACE ((const unsigned char)*params_list))
1967 && !ISSPACE ((const unsigned char)*params_list))
1971 temp_params[param_count++]
1972 = dupnstr (param, (size_t) (params_list - param));
1978 temp_params[param_count++] = "-aux-info";
1980 /* Leave room for the aux-info file name argument. */
1981 aux_info_file_name_index = param_count;
1982 temp_params[param_count++] = NULL;
1984 temp_params[param_count++] = "-S";
1985 temp_params[param_count++] = "-o";
1986 #if defined (__MSDOS__) || (defined (_WIN32) && ! defined (__CYGWIN__) && ! defined (_UWIN))
1987 temp_params[param_count++] = "NUL:";
1989 temp_params[param_count++] = "/dev/null";
1992 /* Leave room for the input file name argument. */
1993 input_file_name_index = param_count;
1994 temp_params[param_count++] = NULL;
1995 /* Terminate the list. */
1996 temp_params[param_count++] = NULL;
1998 /* Make a copy of the compile_params in heap space. */
2001 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
2002 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
2005 /* Do a recompilation for the express purpose of generating a new aux_info
2006 file to go with a specific base source file.
2008 The result is a boolean indicating success. */
2011 gen_aux_info_file (base_filename)
2012 const char *base_filename;
2014 if (!input_file_name_index)
2015 munge_compile_params ("");
2017 /* Store the full source file name in the argument vector. */
2018 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
2019 /* Add .X to source file name to get aux-info file name. */
2020 compile_params[aux_info_file_name_index] =
2021 concat (compile_params[input_file_name_index], ".X", NULL);
2024 notice ("%s: compiling `%s'\n",
2025 pname, compile_params[input_file_name_index]);
2028 char *errmsg_fmt, *errmsg_arg;
2029 int wait_status, pid;
2031 pid = pexecute (compile_params[0], (char * const *) compile_params,
2032 pname, NULL, &errmsg_fmt, &errmsg_arg,
2033 PEXECUTE_FIRST | PEXECUTE_LAST | PEXECUTE_SEARCH);
2037 int errno_val = errno;
2038 fprintf (stderr, "%s: ", pname);
2039 fprintf (stderr, errmsg_fmt, errmsg_arg);
2040 fprintf (stderr, ": %s\n", xstrerror (errno_val));
2044 pid = pwait (pid, &wait_status, 0);
2047 notice ("%s: wait: %s\n", pname, xstrerror (errno));
2050 if (WIFSIGNALED (wait_status))
2052 notice ("%s: subprocess got fatal signal %d\n",
2053 pname, WTERMSIG (wait_status));
2056 if (WIFEXITED (wait_status))
2058 if (WEXITSTATUS (wait_status) != 0)
2060 notice ("%s: %s exited with status %d\n",
2061 pname, compile_params[0], WEXITSTATUS (wait_status));
2070 /* Read in all of the information contained in a single aux_info file.
2071 Save all of the important stuff for later. */
2074 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2075 const char *base_source_filename;
2079 size_t base_len = strlen (base_source_filename);
2080 char * aux_info_filename
2081 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2082 char *aux_info_base;
2083 char *aux_info_limit;
2084 char *aux_info_relocated_name;
2085 const char *aux_info_second_line;
2086 time_t aux_info_mtime;
2087 size_t aux_info_size;
2090 /* Construct the aux_info filename from the base source filename. */
2092 strcpy (aux_info_filename, base_source_filename);
2093 strcat (aux_info_filename, aux_info_suffix);
2095 /* Check that the aux_info file exists and is readable. If it does not
2096 exist, try to create it (once only). */
2098 /* If file doesn't exist, set must_create.
2099 Likewise if it exists and we can read it but it is obsolete.
2100 Otherwise, report an error. */
2103 /* Come here with must_create set to 1 if file is out of date. */
2106 if (access (aux_info_filename, R_OK) == -1)
2108 if (errno == ENOENT)
2112 notice ("%s: warning: missing SYSCALLS file `%s'\n",
2113 pname, aux_info_filename);
2120 int errno_val = errno;
2121 notice ("%s: can't read aux info file `%s': %s\n",
2122 pname, shortpath (NULL, aux_info_filename),
2123 xstrerror (errno_val));
2128 #if 0 /* There is code farther down to take care of this. */
2132 stat (aux_info_file_name, &s1);
2133 stat (base_source_file_name, &s2);
2134 if (s2.st_mtime > s1.st_mtime)
2139 /* If we need a .X file, create it, and verify we can read it. */
2142 if (!gen_aux_info_file (base_source_filename))
2147 if (access (aux_info_filename, R_OK) == -1)
2149 int errno_val = errno;
2150 notice ("%s: can't read aux info file `%s': %s\n",
2151 pname, shortpath (NULL, aux_info_filename),
2152 xstrerror (errno_val));
2159 struct stat stat_buf;
2161 /* Get some status information about this aux_info file. */
2163 if (stat (aux_info_filename, &stat_buf) == -1)
2165 int errno_val = errno;
2166 notice ("%s: can't get status of aux info file `%s': %s\n",
2167 pname, shortpath (NULL, aux_info_filename),
2168 xstrerror (errno_val));
2173 /* Check on whether or not this aux_info file is zero length. If it is,
2174 then just ignore it and return. */
2176 if ((aux_info_size = stat_buf.st_size) == 0)
2179 /* Get the date/time of last modification for this aux_info file and
2180 remember it. We will have to check that any source files that it
2181 contains information about are at least this old or older. */
2183 aux_info_mtime = stat_buf.st_mtime;
2187 /* Compare mod time with the .c file; update .X file if obsolete.
2188 The code later on can fail to check the .c file
2189 if it did not directly define any functions. */
2191 if (stat (base_source_filename, &stat_buf) == -1)
2193 int errno_val = errno;
2194 notice ("%s: can't get status of aux info file `%s': %s\n",
2195 pname, shortpath (NULL, base_source_filename),
2196 xstrerror (errno_val));
2200 if (stat_buf.st_mtime > aux_info_mtime)
2212 /* Open the aux_info file. */
2214 fd_flags = O_RDONLY;
2216 /* Use binary mode to avoid having to deal with different EOL characters. */
2217 fd_flags |= O_BINARY;
2219 if ((aux_info_file = open (aux_info_filename, fd_flags, 0444 )) == -1)
2221 int errno_val = errno;
2222 notice ("%s: can't open aux info file `%s' for reading: %s\n",
2223 pname, shortpath (NULL, aux_info_filename),
2224 xstrerror (errno_val));
2228 /* Allocate space to hold the aux_info file in memory. */
2230 aux_info_base = xmalloc (aux_info_size + 1);
2231 aux_info_limit = aux_info_base + aux_info_size;
2232 *aux_info_limit = '\0';
2234 /* Read the aux_info file into memory. */
2236 if (safe_read (aux_info_file, aux_info_base, aux_info_size) !=
2237 (int) aux_info_size)
2239 int errno_val = errno;
2240 notice ("%s: error reading aux info file `%s': %s\n",
2241 pname, shortpath (NULL, aux_info_filename),
2242 xstrerror (errno_val));
2243 free (aux_info_base);
2244 close (aux_info_file);
2248 /* Close the aux info file. */
2250 if (close (aux_info_file))
2252 int errno_val = errno;
2253 notice ("%s: error closing aux info file `%s': %s\n",
2254 pname, shortpath (NULL, aux_info_filename),
2255 xstrerror (errno_val));
2256 free (aux_info_base);
2257 close (aux_info_file);
2262 /* Delete the aux_info file (unless requested not to). If the deletion
2263 fails for some reason, don't even worry about it. */
2265 if (must_create && !keep_it)
2266 if (unlink (aux_info_filename) == -1)
2268 int errno_val = errno;
2269 notice ("%s: can't delete aux info file `%s': %s\n",
2270 pname, shortpath (NULL, aux_info_filename),
2271 xstrerror (errno_val));
2274 /* Save a pointer into the first line of the aux_info file which
2275 contains the filename of the directory from which the compiler
2276 was invoked when the associated source file was compiled.
2277 This information is used later to help create complete
2278 filenames out of the (potentially) relative filenames in
2279 the aux_info file. */
2282 char *p = aux_info_base;
2285 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
2286 || (*p == ':' && *p && *(p+1) && IS_DIR_SEPARATOR (*(p+1)))
2293 invocation_filename = p; /* Save a pointer to first byte of path. */
2296 *p++ = DIR_SEPARATOR;
2298 while (*p++ != '\n')
2300 aux_info_second_line = p;
2301 aux_info_relocated_name = 0;
2302 if (! is_abspath (invocation_filename))
2304 /* INVOCATION_FILENAME is relative;
2305 append it to BASE_SOURCE_FILENAME's dir. */
2307 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2308 strcpy (aux_info_relocated_name, base_source_filename);
2309 dir_end = strrchr (aux_info_relocated_name, DIR_SEPARATOR);
2310 #ifdef DIR_SEPARATOR_2
2314 slash = strrchr (dir_end ? dir_end : aux_info_relocated_name,
2323 dir_end = aux_info_relocated_name;
2324 strcpy (dir_end, invocation_filename);
2325 invocation_filename = aux_info_relocated_name;
2331 const char *aux_info_p;
2333 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2334 of the source files referenced in there are at least as old as this
2335 aux_info file itself. If not, go back and regenerate the aux_info
2336 file anew. Don't do any of this for the syscalls file. */
2340 current_aux_info_lineno = 2;
2342 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2344 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2346 free (aux_info_base);
2347 free (aux_info_relocated_name);
2348 if (keep_it && unlink (aux_info_filename) == -1)
2350 int errno_val = errno;
2351 notice ("%s: can't delete file `%s': %s\n",
2352 pname, shortpath (NULL, aux_info_filename),
2353 xstrerror (errno_val));
2360 /* Skip over the rest of this line to start of next line. */
2362 while (*aux_info_p != '\n')
2365 current_aux_info_lineno++;
2369 /* Now do the real pass on the aux_info lines. Save their information in
2370 the in-core data base. */
2372 current_aux_info_lineno = 2;
2374 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2376 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2378 if (unexpanded_line)
2380 save_def_or_dec (unexpanded_line, is_syscalls);
2381 free (unexpanded_line);
2384 save_def_or_dec (aux_info_p, is_syscalls);
2386 /* Skip over the rest of this line and get to start of next line. */
2388 while (*aux_info_p != '\n')
2391 current_aux_info_lineno++;
2395 free (aux_info_base);
2396 free (aux_info_relocated_name);
2401 /* Check an individual filename for a .c suffix. If the filename has this
2402 suffix, rename the file such that its suffix is changed to .C. This
2403 function implements the -C option. */
2407 const hash_table_entry *hp;
2409 const char *filename = hp->symbol;
2410 int last_char_index = strlen (filename) - 1;
2411 char *const new_filename = (char *) alloca (strlen (filename)
2412 + strlen (cplus_suffix) + 1);
2414 /* Note that we don't care here if the given file was converted or not. It
2415 is possible that the given file was *not* converted, simply because there
2416 was nothing in it which actually required conversion. Even in this case,
2417 we want to do the renaming. Note that we only rename files with the .c
2418 suffix (except for the syscalls file, which is left alone). */
2420 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.'
2421 || IS_SAME_PATH (syscalls_absolute_filename, filename))
2424 strcpy (new_filename, filename);
2425 strcpy (&new_filename[last_char_index], cplus_suffix);
2427 if (rename (filename, new_filename) == -1)
2429 int errno_val = errno;
2430 notice ("%s: warning: can't rename file `%s' to `%s': %s\n",
2431 pname, shortpath (NULL, filename),
2432 shortpath (NULL, new_filename), xstrerror (errno_val));
2438 #endif /* !defined (UNPROTOIZE) */
2440 /* Take the list of definitions and declarations attached to a particular
2441 file_info node and reverse the order of the list. This should get the
2442 list into an order such that the item with the lowest associated line
2443 number is nearest the head of the list. When these lists are originally
2444 built, they are in the opposite order. We want to traverse them in
2445 normal line number order later (i.e. lowest to highest) so reverse the
2449 reverse_def_dec_list (hp)
2450 const hash_table_entry *hp;
2452 file_info *file_p = hp->fip;
2453 def_dec_info *prev = NULL;
2454 def_dec_info *current = (def_dec_info *)file_p->defs_decs;
2457 return; /* no list to reverse */
2460 if (! (current = (def_dec_info *)current->next_in_file))
2461 return; /* can't reverse a single list element */
2463 prev->next_in_file = NULL;
2467 def_dec_info *next = (def_dec_info *)current->next_in_file;
2469 current->next_in_file = prev;
2474 file_p->defs_decs = prev;
2479 /* Find the (only?) extern definition for a particular function name, starting
2480 from the head of the linked list of entries for the given name. If we
2481 cannot find an extern definition for the given function name, issue a
2482 warning and scrounge around for the next best thing, i.e. an extern
2483 function declaration with a prototype attached to it. Note that we only
2484 allow such substitutions for extern declarations and never for static
2485 declarations. That's because the only reason we allow them at all is
2486 to let un-prototyped function declarations for system-supplied library
2487 functions get their prototypes from our own extra SYSCALLS.c.X file which
2488 contains all of the correct prototypes for system functions. */
2490 static const def_dec_info *
2491 find_extern_def (head, user)
2492 const def_dec_info *head;
2493 const def_dec_info *user;
2495 const def_dec_info *dd_p;
2496 const def_dec_info *extern_def_p = NULL;
2497 int conflict_noted = 0;
2499 /* Don't act too stupid here. Somebody may try to convert an entire system
2500 in one swell fwoop (rather than one program at a time, as should be done)
2501 and in that case, we may find that there are multiple extern definitions
2502 of a given function name in the entire set of source files that we are
2503 converting. If however one of these definitions resides in exactly the
2504 same source file as the reference we are trying to satisfy then in that
2505 case it would be stupid for us to fail to realize that this one definition
2506 *must* be the precise one we are looking for.
2508 To make sure that we don't miss an opportunity to make this "same file"
2509 leap of faith, we do a prescan of the list of records relating to the
2510 given function name, and we look (on this first scan) *only* for a
2511 definition of the function which is in the same file as the reference
2512 we are currently trying to satisfy. */
2514 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2515 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2518 /* Now, since we have not found a definition in the same file as the
2519 reference, we scan the list again and consider all possibilities from
2520 all files. Here we may get conflicts with the things listed in the
2521 SYSCALLS.c.X file, but if that happens it only means that the source
2522 code being converted contains its own definition of a function which
2523 could have been supplied by libc.a. In such cases, we should avoid
2524 issuing the normal warning, and defer to the definition given in the
2527 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2528 if (dd_p->is_func_def && !dd_p->is_static)
2530 if (!extern_def_p) /* Previous definition? */
2531 extern_def_p = dd_p; /* Remember the first definition found. */
2534 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2536 if (is_syscalls_file (dd_p->file))
2539 /* Quietly replace the definition previously found with the one
2540 just found if the previous one was from SYSCALLS.c.X. */
2542 if (is_syscalls_file (extern_def_p->file))
2544 extern_def_p = dd_p;
2548 /* If we get here, then there is a conflict between two function
2549 declarations for the same function, both of which came from the
2552 if (!conflict_noted) /* first time we noticed? */
2555 notice ("%s: conflicting extern definitions of '%s'\n",
2556 pname, head->hash_entry->symbol);
2559 notice ("%s: declarations of '%s' will not be converted\n",
2560 pname, head->hash_entry->symbol);
2561 notice ("%s: conflict list for '%s' follows:\n",
2562 pname, head->hash_entry->symbol);
2563 fprintf (stderr, "%s: %s(%d): %s\n",
2565 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2566 extern_def_p->line, extern_def_p->ansi_decl);
2570 fprintf (stderr, "%s: %s(%d): %s\n",
2572 shortpath (NULL, dd_p->file->hash_entry->symbol),
2573 dd_p->line, dd_p->ansi_decl);
2577 /* We want to err on the side of caution, so if we found multiple conflicting
2578 definitions for the same function, treat this as being that same as if we
2579 had found no definitions (i.e. return NULL). */
2586 /* We have no definitions for this function so do the next best thing.
2587 Search for an extern declaration already in prototype form. */
2589 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2590 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2592 extern_def_p = dd_p; /* save a pointer to the definition */
2594 notice ("%s: warning: using formals list from %s(%d) for function `%s'\n",
2596 shortpath (NULL, dd_p->file->hash_entry->symbol),
2597 dd_p->line, dd_p->hash_entry->symbol);
2601 /* Gripe about unprototyped function declarations that we found no
2602 corresponding definition (or other source of prototype information)
2605 Gripe even if the unprototyped declaration we are worried about
2606 exists in a file in one of the "system" include directories. We
2607 can gripe about these because we should have at least found a
2608 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2609 didn't, then that means that the SYSCALLS.c.X file is missing some
2610 needed prototypes for this particular system. That is worth telling
2615 const char *file = user->file->hash_entry->symbol;
2618 if (in_system_include_dir (file))
2620 /* Why copy this string into `needed' at all?
2621 Why not just use user->ansi_decl without copying? */
2622 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2625 strcpy (needed, user->ansi_decl);
2626 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2627 + strlen (user->hash_entry->symbol) + 2;
2628 /* Avoid having ??? in the string. */
2634 notice ("%s: %d: `%s' used but missing from SYSCALLS\n",
2635 shortpath (NULL, file), user->line,
2636 needed+7); /* Don't print "extern " */
2640 notice ("%s: %d: warning: no extern definition for `%s'\n",
2641 shortpath (NULL, file), user->line,
2642 user->hash_entry->symbol);
2646 return extern_def_p;
2649 /* Find the (only?) static definition for a particular function name in a
2650 given file. Here we get the function-name and the file info indirectly
2651 from the def_dec_info record pointer which is passed in. */
2653 static const def_dec_info *
2654 find_static_definition (user)
2655 const def_dec_info *user;
2657 const def_dec_info *head = user->hash_entry->ddip;
2658 const def_dec_info *dd_p;
2659 int num_static_defs = 0;
2660 const def_dec_info *static_def_p = NULL;
2662 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2663 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2665 static_def_p = dd_p; /* save a pointer to the definition */
2668 if (num_static_defs == 0)
2671 notice ("%s: warning: no static definition for `%s' in file `%s'\n",
2672 pname, head->hash_entry->symbol,
2673 shortpath (NULL, user->file->hash_entry->symbol));
2675 else if (num_static_defs > 1)
2677 notice ("%s: multiple static defs of `%s' in file `%s'\n",
2678 pname, head->hash_entry->symbol,
2679 shortpath (NULL, user->file->hash_entry->symbol));
2682 return static_def_p;
2685 /* Find good prototype style formal argument lists for all of the function
2686 declarations which didn't have them before now.
2688 To do this we consider each function name one at a time. For each function
2689 name, we look at the items on the linked list of def_dec_info records for
2690 that particular name.
2692 Somewhere on this list we should find one (and only one) def_dec_info
2693 record which represents the actual function definition, and this record
2694 should have a nice formal argument list already associated with it.
2696 Thus, all we have to do is to connect up all of the other def_dec_info
2697 records for this particular function name to the special one which has
2698 the full-blown formals list.
2700 Of course it is a little more complicated than just that. See below for
2704 connect_defs_and_decs (hp)
2705 const hash_table_entry *hp;
2707 const def_dec_info *dd_p;
2708 const def_dec_info *extern_def_p = NULL;
2709 int first_extern_reference = 1;
2711 /* Traverse the list of definitions and declarations for this particular
2712 function name. For each item on the list, if it is a function
2713 definition (either old style or new style) then GCC has already been
2714 kind enough to produce a prototype for us, and it is associated with
2715 the item already, so declare the item as its own associated "definition".
2717 Also, for each item which is only a function declaration, but which
2718 nonetheless has its own prototype already (obviously supplied by the user)
2719 declare the item as its own definition.
2721 Note that when/if there are multiple user-supplied prototypes already
2722 present for multiple declarations of any given function, these multiple
2723 prototypes *should* all match exactly with one another and with the
2724 prototype for the actual function definition. We don't check for this
2725 here however, since we assume that the compiler must have already done
2726 this consistency checking when it was creating the .X files. */
2728 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2729 if (dd_p->prototyped)
2730 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2732 /* Traverse the list of definitions and declarations for this particular
2733 function name. For each item on the list, if it is an extern function
2734 declaration and if it has no associated definition yet, go try to find
2735 the matching extern definition for the declaration.
2737 When looking for the matching function definition, warn the user if we
2740 If we find more that one function definition also issue a warning.
2742 Do the search for the matching definition only once per unique function
2743 name (and only when absolutely needed) so that we can avoid putting out
2744 redundant warning messages, and so that we will only put out warning
2745 messages when there is actually a reference (i.e. a declaration) for
2746 which we need to find a matching definition. */
2748 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2749 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2751 if (first_extern_reference)
2753 extern_def_p = find_extern_def (hp->ddip, dd_p);
2754 first_extern_reference = 0;
2756 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2759 /* Traverse the list of definitions and declarations for this particular
2760 function name. For each item on the list, if it is a static function
2761 declaration and if it has no associated definition yet, go try to find
2762 the matching static definition for the declaration within the same file.
2764 When looking for the matching function definition, warn the user if we
2765 fail to find one in the same file with the declaration, and refuse to
2766 convert this kind of cross-file static function declaration. After all,
2767 this is stupid practice and should be discouraged.
2769 We don't have to worry about the possibility that there is more than one
2770 matching function definition in the given file because that would have
2771 been flagged as an error by the compiler.
2773 Do the search for the matching definition only once per unique
2774 function-name/source-file pair (and only when absolutely needed) so that
2775 we can avoid putting out redundant warning messages, and so that we will
2776 only put out warning messages when there is actually a reference (i.e. a
2777 declaration) for which we actually need to find a matching definition. */
2779 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2780 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2782 const def_dec_info *dd_p2;
2783 const def_dec_info *static_def;
2785 /* We have now found a single static declaration for which we need to
2786 find a matching definition. We want to minimize the work (and the
2787 number of warnings), so we will find an appropriate (matching)
2788 static definition for this declaration, and then distribute it
2789 (as the definition for) any and all other static declarations
2790 for this function name which occur within the same file, and which
2791 do not already have definitions.
2793 Note that a trick is used here to prevent subsequent attempts to
2794 call find_static_definition for a given function-name & file
2795 if the first such call returns NULL. Essentially, we convert
2796 these NULL return values to -1, and put the -1 into the definition
2797 field for each other static declaration from the same file which
2798 does not already have an associated definition.
2799 This makes these other static declarations look like they are
2800 actually defined already when the outer loop here revisits them
2801 later on. Thus, the outer loop will skip over them. Later, we
2802 turn the -1's back to NULL's. */
2804 ((NONCONST def_dec_info *) dd_p)->definition =
2805 (static_def = find_static_definition (dd_p))
2807 : (const def_dec_info *) -1;
2809 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2810 if (!dd_p2->is_func_def && dd_p2->is_static
2811 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2812 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2815 /* Convert any dummy (-1) definitions we created in the step above back to
2816 NULL's (as they should be). */
2818 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2819 if (dd_p->definition == (def_dec_info *) -1)
2820 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2823 #endif /* !defined (UNPROTOIZE) */
2825 /* Give a pointer into the clean text buffer, return a number which is the
2826 original source line number that the given pointer points into. */
2829 identify_lineno (clean_p)
2830 const char *clean_p;
2835 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2836 if (*scan_p == '\n')
2841 /* Issue an error message and give up on doing this particular edit. */
2844 declare_source_confusing (clean_p)
2845 const char *clean_p;
2850 notice ("%s: %d: warning: source too confusing\n",
2851 shortpath (NULL, convert_filename), last_known_line_number);
2853 notice ("%s: %d: warning: source too confusing\n",
2854 shortpath (NULL, convert_filename),
2855 identify_lineno (clean_p));
2857 longjmp (source_confusion_recovery, 1);
2860 /* Check that a condition which is expected to be true in the original source
2861 code is in fact true. If not, issue an error message and give up on
2862 converting this particular source file. */
2865 check_source (cond, clean_p)
2867 const char *clean_p;
2870 declare_source_confusing (clean_p);
2873 /* If we think of the in-core cleaned text buffer as a memory mapped
2874 file (with the variable last_known_line_start acting as sort of a
2875 file pointer) then we can imagine doing "seeks" on the buffer. The
2876 following routine implements a kind of "seek" operation for the in-core
2877 (cleaned) copy of the source file. When finished, it returns a pointer to
2878 the start of a given (numbered) line in the cleaned text buffer.
2880 Note that protoize only has to "seek" in the forward direction on the
2881 in-core cleaned text file buffers, and it never needs to back up.
2883 This routine is made a little bit faster by remembering the line number
2884 (and pointer value) supplied (and returned) from the previous "seek".
2885 This prevents us from always having to start all over back at the top
2886 of the in-core cleaned buffer again. */
2892 if (n < last_known_line_number)
2895 while (n > last_known_line_number)
2897 while (*last_known_line_start != '\n')
2898 check_source (++last_known_line_start < clean_text_limit, 0);
2899 last_known_line_start++;
2900 last_known_line_number++;
2902 return last_known_line_start;
2905 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2906 to the next non-whitespace character which follows it. */
2909 forward_to_next_token_char (ptr)
2912 for (++ptr; ISSPACE ((const unsigned char)*ptr);
2913 check_source (++ptr < clean_text_limit, 0))
2918 /* Copy a chunk of text of length `len' and starting at `str' to the current
2919 output buffer. Note that all attempts to add stuff to the current output
2920 buffer ultimately go through here. */
2923 output_bytes (str, len)
2927 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2929 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2930 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2932 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2933 repl_text_base = new_buf;
2934 repl_text_limit = new_buf + new_size;
2936 memcpy (repl_write_ptr + 1, str, len);
2937 repl_write_ptr += len;
2940 /* Copy all bytes (except the trailing null) of a null terminated string to
2941 the current output buffer. */
2947 output_bytes (str, strlen (str));
2950 /* Copy some characters from the original text buffer to the current output
2953 This routine takes a pointer argument `p' which is assumed to be a pointer
2954 into the cleaned text buffer. The bytes which are copied are the `original'
2955 equivalents for the set of bytes between the last value of `clean_read_ptr'
2956 and the argument value `p'.
2958 The set of bytes copied however, comes *not* from the cleaned text buffer,
2959 but rather from the direct counterparts of these bytes within the original
2962 Thus, when this function is called, some bytes from the original text
2963 buffer (which may include original comments and preprocessing directives)
2964 will be copied into the output buffer.
2966 Note that the request implied when this routine is called includes the
2967 byte pointed to by the argument pointer `p'. */
2973 size_t copy_length = (size_t) (p - clean_read_ptr);
2974 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
2976 if (copy_length == 0)
2979 output_bytes (copy_start, copy_length);
2983 /* Given a pointer to a def_dec_info record which represents some form of
2984 definition of a function (perhaps a real definition, or in lieu of that
2985 perhaps just a declaration with a full prototype) return true if this
2986 function is one which we should avoid converting. Return false
2990 other_variable_style_function (ansi_header)
2991 const char *ansi_header;
2995 /* See if we have a stdarg function, or a function which has stdarg style
2996 parameters or a stdarg style return type. */
2998 return substr (ansi_header, "...") != 0;
3000 #else /* !defined (UNPROTOIZE) */
3002 /* See if we have a varargs function, or a function which has varargs style
3003 parameters or a varargs style return type. */
3006 int len = strlen (varargs_style_indicator);
3008 for (p = ansi_header; p; )
3010 const char *candidate;
3012 if ((candidate = substr (p, varargs_style_indicator)) == 0)
3015 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
3021 #endif /* !defined (UNPROTOIZE) */
3024 /* Do the editing operation specifically for a function "declaration". Note
3025 that editing for function "definitions" are handled in a separate routine
3029 edit_fn_declaration (def_dec_p, clean_text_p)
3030 const def_dec_info *def_dec_p;
3031 const char *volatile clean_text_p;
3033 const char *start_formals;
3034 const char *end_formals;
3035 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3036 size_t func_name_len = strlen (function_to_edit);
3037 const char *end_of_fn_name;
3041 const f_list_chain_item *this_f_list_chain_item;
3042 const def_dec_info *definition = def_dec_p->definition;
3044 /* If we are protoizing, and if we found no corresponding definition for
3045 this particular function declaration, then just leave this declaration
3046 exactly as it is. */
3051 /* If we are protoizing, and if the corresponding definition that we found
3052 for this particular function declaration defined an old style varargs
3053 function, then we want to issue a warning and just leave this function
3054 declaration unconverted. */
3056 if (other_variable_style_function (definition->ansi_decl))
3059 notice ("%s: %d: warning: varargs function declaration not converted\n",
3060 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3065 #endif /* !defined (UNPROTOIZE) */
3067 /* Setup here to recover from confusing source code detected during this
3068 particular "edit". */
3071 if (setjmp (source_confusion_recovery))
3073 restore_pointers ();
3074 notice ("%s: declaration of function `%s' not converted\n",
3075 pname, function_to_edit);
3079 /* We are editing a function declaration. The line number we did a seek to
3080 contains the comma or semicolon which follows the declaration. Our job
3081 now is to scan backwards looking for the function name. This name *must*
3082 be followed by open paren (ignoring whitespace, of course). We need to
3083 replace everything between that open paren and the corresponding closing
3084 paren. If we are protoizing, we need to insert the prototype-style
3085 formals lists. If we are unprotoizing, we need to just delete everything
3086 between the pairs of opening and closing parens. */
3088 /* First move up to the end of the line. */
3090 while (*clean_text_p != '\n')
3091 check_source (++clean_text_p < clean_text_limit, 0);
3092 clean_text_p--; /* Point to just before the newline character. */
3094 /* Now we can scan backwards for the function name. */
3100 /* Scan leftwards until we find some character which can be
3101 part of an identifier. */
3103 while (!is_id_char (*clean_text_p))
3104 check_source (--clean_text_p > clean_read_ptr, 0);
3106 /* Scan backwards until we find a char that cannot be part of an
3109 while (is_id_char (*clean_text_p))
3110 check_source (--clean_text_p > clean_read_ptr, 0);
3112 /* Having found an "id break", see if the following id is the one
3113 that we are looking for. If so, then exit from this loop. */
3115 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3117 char ch = *(clean_text_p + 1 + func_name_len);
3119 /* Must also check to see that the name in the source text
3120 ends where it should (in order to prevent bogus matches
3121 on similar but longer identifiers. */
3123 if (! is_id_char (ch))
3124 break; /* exit from loop */
3128 /* We have now found the first perfect match for the function name in
3129 our backward search. This may or may not be the actual function
3130 name at the start of the actual function declaration (i.e. we could
3131 have easily been mislead). We will try to avoid getting fooled too
3132 often by looking forward for the open paren which should follow the
3133 identifier we just found. We ignore whitespace while hunting. If
3134 the next non-whitespace byte we see is *not* an open left paren,
3135 then we must assume that we have been fooled and we start over
3136 again accordingly. Note that there is no guarantee, that even if
3137 we do see the open paren, that we are in the right place.
3138 Programmers do the strangest things sometimes! */
3140 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3141 start_formals = forward_to_next_token_char (end_of_fn_name);
3143 while (*start_formals != '(');
3145 /* start_of_formals now points to the opening left paren which immediately
3146 follows the name of the function. */
3148 /* Note that there may be several formals lists which need to be modified
3149 due to the possibility that the return type of this function is a
3150 pointer-to-function type. If there are several formals lists, we
3151 convert them in left-to-right order here. */
3154 this_f_list_chain_item = definition->f_list_chain;
3155 #endif /* !defined (UNPROTOIZE) */
3162 end_formals = start_formals + 1;
3164 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3166 switch (*end_formals)
3179 /* end_formals now points to the closing right paren of the formals
3180 list whose left paren is pointed to by start_formals. */
3182 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3183 attached to the associated definition of this function. If however
3184 we are unprotoizing, then we simply delete any formals list which
3187 output_up_to (start_formals);
3189 if (this_f_list_chain_item)
3191 output_string (this_f_list_chain_item->formals_list);
3192 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3197 notice ("%s: warning: too many parameter lists in declaration of `%s'\n",
3198 pname, def_dec_p->hash_entry->symbol);
3199 check_source (0, end_formals); /* leave the declaration intact */
3201 #endif /* !defined (UNPROTOIZE) */
3202 clean_read_ptr = end_formals - 1;
3204 /* Now see if it looks like there may be another formals list associated
3205 with the function declaration that we are converting (following the
3206 formals list that we just converted. */
3209 const char *another_r_paren = forward_to_next_token_char (end_formals);
3211 if ((*another_r_paren != ')')
3212 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3215 if (this_f_list_chain_item)
3218 notice ("\n%s: warning: too few parameter lists in declaration of `%s'\n",
3219 pname, def_dec_p->hash_entry->symbol);
3220 check_source (0, start_formals); /* leave the decl intact */
3222 #endif /* !defined (UNPROTOIZE) */
3228 /* There does appear to be yet another formals list, so loop around
3229 again, and convert it also. */
3233 /* Edit a whole group of formals lists, starting with the rightmost one
3234 from some set of formals lists. This routine is called once (from the
3235 outside) for each function declaration which is converted. It is
3236 recursive however, and it calls itself once for each remaining formal
3237 list that lies to the left of the one it was originally called to work
3238 on. Thus, a whole set gets done in right-to-left order.
3240 This routine returns non-zero if it thinks that it should not be trying
3241 to convert this particular function definition (because the name of the
3242 function doesn't match the one expected). */
3245 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3246 const char *end_formals;
3247 unsigned int f_list_count;
3248 const def_dec_info *def_dec_p;
3250 const char *start_formals;
3253 start_formals = end_formals - 1;
3255 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3257 switch (*start_formals)
3269 /* start_formals now points to the opening left paren of the formals list. */
3275 const char *next_end;
3277 /* There should be more formal lists to the left of here. */
3279 next_end = start_formals - 1;
3280 check_source (next_end > clean_read_ptr, 0);
3281 while (ISSPACE ((const unsigned char)*next_end))
3282 check_source (--next_end > clean_read_ptr, 0);
3283 check_source (*next_end == ')', next_end);
3284 check_source (--next_end > clean_read_ptr, 0);
3285 check_source (*next_end == ')', next_end);
3286 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3290 /* Check that the function name in the header we are working on is the same
3291 as the one we would expect to find. If not, issue a warning and return
3294 if (f_list_count == 0)
3296 const char *expected = def_dec_p->hash_entry->symbol;
3297 const char *func_name_start;
3298 const char *func_name_limit;
3299 size_t func_name_len;
3301 for (func_name_limit = start_formals-1;
3302 ISSPACE ((const unsigned char)*func_name_limit); )
3303 check_source (--func_name_limit > clean_read_ptr, 0);
3305 for (func_name_start = func_name_limit++;
3306 is_id_char (*func_name_start);
3308 check_source (func_name_start > clean_read_ptr, 0);
3310 func_name_len = func_name_limit - func_name_start;
3311 if (func_name_len == 0)
3312 check_source (0, func_name_start);
3313 if (func_name_len != strlen (expected)
3314 || strncmp (func_name_start, expected, func_name_len))
3316 notice ("%s: %d: warning: found `%s' but expected `%s'\n",
3317 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3318 identify_lineno (func_name_start),
3319 dupnstr (func_name_start, func_name_len),
3325 output_up_to (start_formals);
3328 if (f_list_count == 0)
3329 output_string (def_dec_p->formal_names);
3330 #else /* !defined (UNPROTOIZE) */
3332 unsigned f_list_depth;
3333 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3335 /* At this point, the current value of f_list count says how many
3336 links we have to follow through the f_list_chain to get to the
3337 particular formals list that we need to output next. */
3339 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3340 flci_p = flci_p->chain_next;
3341 output_string (flci_p->formals_list);
3343 #endif /* !defined (UNPROTOIZE) */
3345 clean_read_ptr = end_formals - 1;
3349 /* Given a pointer to a byte in the clean text buffer which points to
3350 the beginning of a line that contains a "follower" token for a
3351 function definition header, do whatever is necessary to find the
3352 right closing paren for the rightmost formals list of the function
3353 definition header. */
3356 find_rightmost_formals_list (clean_text_p)
3357 const char *clean_text_p;
3359 const char *end_formals;
3361 /* We are editing a function definition. The line number we did a seek
3362 to contains the first token which immediately follows the entire set of
3363 formals lists which are part of this particular function definition
3366 Our job now is to scan leftwards in the clean text looking for the
3367 right-paren which is at the end of the function header's rightmost
3370 If we ignore whitespace, this right paren should be the first one we
3371 see which is (ignoring whitespace) immediately followed either by the
3372 open curly-brace beginning the function body or by an alphabetic
3373 character (in the case where the function definition is in old (K&R)
3374 style and there are some declarations of formal parameters). */
3376 /* It is possible that the right paren we are looking for is on the
3377 current line (together with its following token). Just in case that
3378 might be true, we start out here by skipping down to the right end of
3379 the current line before starting our scan. */
3381 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3387 /* Now scan backwards while looking for the right end of the rightmost
3388 formals list associated with this function definition. */
3392 const char *l_brace_p;
3394 /* Look leftward and try to find a right-paren. */
3396 while (*end_formals != ')')
3398 if (ISSPACE ((unsigned char)*end_formals))
3399 while (ISSPACE ((unsigned char)*end_formals))
3400 check_source (--end_formals > clean_read_ptr, 0);
3402 check_source (--end_formals > clean_read_ptr, 0);
3405 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3406 /* Since we are unprotoizing an ANSI-style (prototyped) function
3407 definition, there had better not be anything (except whitespace)
3408 between the end of the ANSI formals list and the beginning of the
3409 function body (i.e. the '{'). */
3411 check_source (ch == '{', l_brace_p);
3414 #else /* !defined (UNPROTOIZE) */
3416 /* Now scan backwards while looking for the right end of the rightmost
3417 formals list associated with this function definition. */
3422 const char *l_brace_p;
3424 /* Look leftward and try to find a right-paren. */
3426 while (*end_formals != ')')
3428 if (ISSPACE ((const unsigned char)*end_formals))
3429 while (ISSPACE ((const unsigned char)*end_formals))
3430 check_source (--end_formals > clean_read_ptr, 0);
3432 check_source (--end_formals > clean_read_ptr, 0);
3435 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3437 /* Since it is possible that we found a right paren before the starting
3438 '{' of the body which IS NOT the one at the end of the real K&R
3439 formals list (say for instance, we found one embedded inside one of
3440 the old K&R formal parameter declarations) we have to check to be
3441 sure that this is in fact the right paren that we were looking for.
3443 The one we were looking for *must* be followed by either a '{' or
3444 by an alphabetic character, while others *cannot* validly be followed
3445 by such characters. */
3447 if ((ch == '{') || ISALPHA ((unsigned char)ch))
3450 /* At this point, we have found a right paren, but we know that it is
3451 not the one we were looking for, so backup one character and keep
3454 check_source (--end_formals > clean_read_ptr, 0);
3457 #endif /* !defined (UNPROTOIZE) */
3464 /* Insert into the output file a totally new declaration for a function
3465 which (up until now) was being called from within the current block
3466 without having been declared at any point such that the declaration
3467 was visible (i.e. in scope) at the point of the call.
3469 We need to add in explicit declarations for all such function calls
3470 in order to get the full benefit of prototype-based function call
3471 parameter type checking. */
3474 add_local_decl (def_dec_p, clean_text_p)
3475 const def_dec_info *def_dec_p;
3476 const char *clean_text_p;
3478 const char *start_of_block;
3479 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3481 /* Don't insert new local explicit declarations unless explicitly requested
3487 /* Setup here to recover from confusing source code detected during this
3488 particular "edit". */
3491 if (setjmp (source_confusion_recovery))
3493 restore_pointers ();
3494 notice ("%s: local declaration for function `%s' not inserted\n",
3495 pname, function_to_edit);
3499 /* We have already done a seek to the start of the line which should
3500 contain *the* open curly brace which begins the block in which we need
3501 to insert an explicit function declaration (to replace the implicit one).
3503 Now we scan that line, starting from the left, until we find the
3504 open curly brace we are looking for. Note that there may actually be
3505 multiple open curly braces on the given line, but we will be happy
3506 with the leftmost one no matter what. */
3508 start_of_block = clean_text_p;
3509 while (*start_of_block != '{' && *start_of_block != '\n')
3510 check_source (++start_of_block < clean_text_limit, 0);
3512 /* Note that the line from the original source could possibly
3513 contain *no* open curly braces! This happens if the line contains
3514 a macro call which expands into a chunk of text which includes a
3515 block (and that block's associated open and close curly braces).
3516 In cases like this, we give up, issue a warning, and do nothing. */
3518 if (*start_of_block != '{')
3521 notice ("\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3522 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3523 def_dec_p->hash_entry->symbol);
3527 /* Figure out what a nice (pretty) indentation would be for the new
3528 declaration we are adding. In order to do this, we must scan forward
3529 from the '{' until we find the first line which starts with some
3530 non-whitespace characters (i.e. real "token" material). */
3533 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3536 /* Now we have ep pointing at the rightmost byte of some existing indent
3537 stuff. At least that is the hope.
3539 We can now just scan backwards and find the left end of the existing
3540 indentation string, and then copy it to the output buffer. */
3542 for (sp = ep; ISSPACE ((const unsigned char)*sp) && *sp != '\n'; sp--)
3545 /* Now write out the open { which began this block, and any following
3546 trash up to and including the last byte of the existing indent that
3551 /* Now we go ahead and insert the new declaration at this point.
3553 If the definition of the given function is in the same file that we
3554 are currently editing, and if its full ANSI declaration normally
3555 would start with the keyword `extern', suppress the `extern'. */
3558 const char *decl = def_dec_p->definition->ansi_decl;
3560 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3562 output_string (decl);
3565 /* Finally, write out a new indent string, just like the preceding one
3566 that we found. This will typically include a newline as the first
3567 character of the indent string. */
3569 output_bytes (sp, (size_t) (ep - sp) + 1);
3573 /* Given a pointer to a file_info record, and a pointer to the beginning
3574 of a line (in the clean text buffer) which is assumed to contain the
3575 first "follower" token for the first function definition header in the
3576 given file, find a good place to insert some new global function
3577 declarations (which will replace scattered and imprecise implicit ones)
3578 and then insert the new explicit declaration at that point in the file. */
3581 add_global_decls (file_p, clean_text_p)
3582 const file_info *file_p;
3583 const char *clean_text_p;
3585 const def_dec_info *dd_p;
3588 /* Setup here to recover from confusing source code detected during this
3589 particular "edit". */
3592 if (setjmp (source_confusion_recovery))
3594 restore_pointers ();
3595 notice ("%s: global declarations for file `%s' not inserted\n",
3596 pname, shortpath (NULL, file_p->hash_entry->symbol));
3600 /* Start by finding a good location for adding the new explicit function
3601 declarations. To do this, we scan backwards, ignoring whitespace
3602 and comments and other junk until we find either a semicolon, or until
3603 we hit the beginning of the file. */
3605 scan_p = find_rightmost_formals_list (clean_text_p);
3608 if (scan_p < clean_text_base)
3610 check_source (scan_p > clean_read_ptr, 0);
3615 /* scan_p now points either to a semicolon, or to just before the start
3616 of the whole file. */
3618 /* Now scan forward for the first non-whitespace character. In theory,
3619 this should be the first character of the following function definition
3620 header. We will put in the added declarations just prior to that. */
3623 while (ISSPACE ((const unsigned char)*scan_p))
3627 output_up_to (scan_p);
3629 /* Now write out full prototypes for all of the things that had been
3630 implicitly declared in this file (but only those for which we were
3631 actually able to find unique matching definitions). Avoid duplicates
3632 by marking things that we write out as we go. */
3635 int some_decls_added = 0;
3637 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3638 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3640 const char *decl = dd_p->definition->ansi_decl;
3642 /* If the function for which we are inserting a declaration is
3643 actually defined later in the same file, then suppress the
3644 leading `extern' keyword (if there is one). */
3646 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3649 output_string ("\n");
3650 output_string (decl);
3651 some_decls_added = 1;
3652 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3654 if (some_decls_added)
3655 output_string ("\n\n");
3658 /* Unmark all of the definitions that we just marked. */
3660 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3661 if (dd_p->definition)
3662 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3665 #endif /* !defined (UNPROTOIZE) */
3667 /* Do the editing operation specifically for a function "definition". Note
3668 that editing operations for function "declarations" are handled by a
3669 separate routine above. */
3672 edit_fn_definition (def_dec_p, clean_text_p)
3673 const def_dec_info *def_dec_p;
3674 const char *clean_text_p;
3676 const char *end_formals;
3677 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3679 /* Setup here to recover from confusing source code detected during this
3680 particular "edit". */
3683 if (setjmp (source_confusion_recovery))
3685 restore_pointers ();
3686 notice ("%s: definition of function `%s' not converted\n",
3687 pname, function_to_edit);
3691 end_formals = find_rightmost_formals_list (clean_text_p);
3693 /* end_of_formals now points to the closing right paren of the rightmost
3694 formals list which is actually part of the `header' of the function
3695 definition that we are converting. */
3697 /* If the header of this function definition looks like it declares a
3698 function with a variable number of arguments, and if the way it does
3699 that is different from that way we would like it (i.e. varargs vs.
3700 stdarg) then issue a warning and leave the header unconverted. */
3702 if (other_variable_style_function (def_dec_p->ansi_decl))
3705 notice ("%s: %d: warning: definition of %s not converted\n",
3706 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3707 identify_lineno (end_formals),
3709 output_up_to (end_formals);
3713 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3715 restore_pointers ();
3716 notice ("%s: definition of function `%s' not converted\n",
3717 pname, function_to_edit);
3721 /* Have to output the last right paren because this never gets flushed by
3722 edit_formals_list. */
3724 output_up_to (end_formals);
3729 const char *semicolon_p;
3730 const char *limit_p;
3732 int had_newlines = 0;
3734 /* Now write out the K&R style formal declarations, one per line. */
3736 decl_p = def_dec_p->formal_decls;
3737 limit_p = decl_p + strlen (decl_p);
3738 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3740 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3742 output_string ("\n");
3743 output_string (indent_string);
3744 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3747 /* If there are no newlines between the end of the formals list and the
3748 start of the body, we should insert one now. */
3750 for (scan_p = end_formals+1; *scan_p != '{'; )
3752 if (*scan_p == '\n')
3757 check_source (++scan_p < clean_text_limit, 0);
3760 output_string ("\n");
3762 #else /* !defined (UNPROTOIZE) */
3763 /* If we are protoizing, there may be some flotsam & jetsam (like comments
3764 and preprocessing directives) after the old formals list but before
3765 the following { and we would like to preserve that stuff while effectively
3766 deleting the existing K&R formal parameter declarations. We do so here
3767 in a rather tricky way. Basically, we white out any stuff *except*
3768 the comments/pp-directives in the original text buffer, then, if there
3769 is anything in this area *other* than whitespace, we output it. */
3771 const char *end_formals_orig;
3772 const char *start_body;
3773 const char *start_body_orig;
3775 const char *scan_orig;
3776 int have_flotsam = 0;
3777 int have_newlines = 0;
3779 for (start_body = end_formals + 1; *start_body != '{';)
3780 check_source (++start_body < clean_text_limit, 0);
3782 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3783 start_body_orig = orig_text_base + (start_body - clean_text_base);
3784 scan = end_formals + 1;
3785 scan_orig = end_formals_orig + 1;
3786 for (; scan < start_body; scan++, scan_orig++)
3788 if (*scan == *scan_orig)
3790 have_newlines |= (*scan_orig == '\n');
3791 /* Leave identical whitespace alone. */
3792 if (!ISSPACE ((const unsigned char)*scan_orig))
3793 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3799 output_bytes (end_formals_orig + 1,
3800 (size_t) (start_body_orig - end_formals_orig) - 1);
3803 output_string ("\n");
3805 output_string (" ");
3806 clean_read_ptr = start_body - 1;
3808 #endif /* !defined (UNPROTOIZE) */
3811 /* Clean up the clean text buffer. Do this by converting comments and
3812 preprocessing directives into spaces. Also convert line continuations
3813 into whitespace. Also, whiteout string and character literals. */
3816 do_cleaning (new_clean_text_base, new_clean_text_limit)
3817 char *new_clean_text_base;
3818 const char *new_clean_text_limit;
3821 int non_whitespace_since_newline = 0;
3823 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3827 case '/': /* Handle comments. */
3828 if (scan_p[1] != '*')
3830 non_whitespace_since_newline = 1;
3834 while (scan_p[1] != '/' || scan_p[0] != '*')
3836 if (!ISSPACE ((const unsigned char)*scan_p))
3838 if (++scan_p >= new_clean_text_limit)
3845 case '#': /* Handle pp directives. */
3846 if (non_whitespace_since_newline)
3849 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3851 if (!ISSPACE ((const unsigned char)*scan_p))
3853 if (++scan_p >= new_clean_text_limit)
3859 case '\'': /* Handle character literals. */
3860 non_whitespace_since_newline = 1;
3861 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3863 if (scan_p[0] == '\\'
3864 && !ISSPACE ((const unsigned char)scan_p[1]))
3866 if (!ISSPACE ((const unsigned char)*scan_p))
3868 if (++scan_p >= new_clean_text_limit)
3874 case '"': /* Handle string literals. */
3875 non_whitespace_since_newline = 1;
3876 while (scan_p[1] != '"' || scan_p[0] == '\\')
3878 if (scan_p[0] == '\\'
3879 && !ISSPACE ((const unsigned char)scan_p[1]))
3881 if (!ISSPACE ((const unsigned char)*scan_p))
3883 if (++scan_p >= new_clean_text_limit)
3886 if (!ISSPACE ((const unsigned char)*scan_p))
3891 case '\\': /* Handle line continuations. */
3892 if (scan_p[1] != '\n')
3898 non_whitespace_since_newline = 0; /* Reset. */
3907 break; /* Whitespace characters. */
3911 non_whitespace_since_newline = 1;
3917 /* Given a pointer to the closing right parenthesis for a particular formals
3918 list (in the clean text buffer) find the corresponding left parenthesis
3919 and return a pointer to it. */
3922 careful_find_l_paren (p)
3928 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
3943 /* Scan the clean text buffer for cases of function definitions that we
3944 don't really know about because they were preprocessed out when the
3945 aux info files were created.
3947 In this version of protoize/unprotoize we just give a warning for each
3948 one found. A later version may be able to at least unprotoize such
3951 Note that we may easily find all function definitions simply by
3952 looking for places where there is a left paren which is (ignoring
3953 whitespace) immediately followed by either a left-brace or by an
3954 upper or lower case letter. Whenever we find this combination, we
3955 have also found a function definition header.
3957 Finding function *declarations* using syntactic clues is much harder.
3958 I will probably try to do this in a later version though. */
3961 scan_for_missed_items (file_p)
3962 const file_info *file_p;
3964 static const char *scan_p;
3965 const char *limit = clean_text_limit - 3;
3966 static const char *backup_limit;
3968 backup_limit = clean_text_base - 1;
3970 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
3974 static const char *last_r_paren;
3975 const char *ahead_p;
3977 last_r_paren = scan_p;
3979 for (ahead_p = scan_p + 1; ISSPACE ((const unsigned char)*ahead_p); )
3980 check_source (++ahead_p < limit, limit);
3982 scan_p = ahead_p - 1;
3984 if (ISALPHA ((const unsigned char)*ahead_p) || *ahead_p == '{')
3986 const char *last_l_paren;
3987 const int lineno = identify_lineno (ahead_p);
3989 if (setjmp (source_confusion_recovery))
3992 /* We know we have a function definition header. Now skip
3993 leftwards over all of its associated formals lists. */
3997 last_l_paren = careful_find_l_paren (last_r_paren);
3998 for (last_r_paren = last_l_paren-1;
3999 ISSPACE ((const unsigned char)*last_r_paren); )
4000 check_source (--last_r_paren >= backup_limit, backup_limit);
4002 while (*last_r_paren == ')');
4004 if (is_id_char (*last_r_paren))
4006 const char *id_limit = last_r_paren + 1;
4007 const char *id_start;
4009 const def_dec_info *dd_p;
4011 for (id_start = id_limit-1; is_id_char (*id_start); )
4012 check_source (--id_start >= backup_limit, backup_limit);
4014 backup_limit = id_start;
4015 if ((id_length = (size_t) (id_limit - id_start)) == 0)
4019 char *func_name = (char *) alloca (id_length + 1);
4020 static const char * const stmt_keywords[]
4021 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
4022 const char * const *stmt_keyword;
4024 strncpy (func_name, id_start, id_length);
4025 func_name[id_length] = '\0';
4027 /* We must check here to see if we are actually looking at
4028 a statement rather than an actual function call. */
4030 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
4031 if (!strcmp (func_name, *stmt_keyword))
4035 notice ("%s: found definition of `%s' at %s(%d)\n",
4038 shortpath (NULL, file_p->hash_entry->symbol),
4039 identify_lineno (id_start));
4041 /* We really should check for a match of the function name
4042 here also, but why bother. */
4044 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4045 if (dd_p->is_func_def && dd_p->line == lineno)
4048 /* If we make it here, then we did not know about this
4049 function definition. */
4051 notice ("%s: %d: warning: `%s' excluded by preprocessing\n",
4052 shortpath (NULL, file_p->hash_entry->symbol),
4053 identify_lineno (id_start), func_name);
4054 notice ("%s: function definition not converted\n",
4064 /* Do all editing operations for a single source file (either a "base" file
4065 or an "include" file). To do this we read the file into memory, keep a
4066 virgin copy there, make another cleaned in-core copy of the original file
4067 (i.e. one in which all of the comments and preprocessing directives have
4068 been replaced with whitespace), then use these two in-core copies of the
4069 file to make a new edited in-core copy of the file. Finally, rename the
4070 original file (as a way of saving it), and then write the edited version
4071 of the file from core to a disk file of the same name as the original.
4073 Note that the trick of making a copy of the original sans comments &
4074 preprocessing directives make the editing a whole lot easier. */
4078 const hash_table_entry *hp;
4080 struct stat stat_buf;
4081 const file_info *file_p = hp->fip;
4082 char *new_orig_text_base;
4083 char *new_orig_text_limit;
4084 char *new_clean_text_base;
4085 char *new_clean_text_limit;
4088 int first_definition_in_file;
4090 /* If we are not supposed to be converting this file, or if there is
4091 nothing in there which needs converting, just skip this file. */
4093 if (!needs_to_be_converted (file_p))
4096 convert_filename = file_p->hash_entry->symbol;
4098 /* Convert a file if it is in a directory where we want conversion
4099 and the file is not excluded. */
4101 if (!directory_specified_p (convert_filename)
4102 || file_excluded_p (convert_filename))
4106 /* Don't even mention "system" include files unless we are
4107 protoizing. If we are protoizing, we mention these as a
4108 gentle way of prodding the user to convert his "system"
4109 include files to prototype format. */
4110 && !in_system_include_dir (convert_filename)
4111 #endif /* defined (UNPROTOIZE) */
4113 notice ("%s: `%s' not converted\n",
4114 pname, shortpath (NULL, convert_filename));
4118 /* Let the user know what we are up to. */
4121 notice ("%s: would convert file `%s'\n",
4122 pname, shortpath (NULL, convert_filename));
4124 notice ("%s: converting file `%s'\n",
4125 pname, shortpath (NULL, convert_filename));
4128 /* Find out the size (in bytes) of the original file. */
4130 /* The cast avoids an erroneous warning on AIX. */
4131 if (stat (convert_filename, &stat_buf) == -1)
4133 int errno_val = errno;
4134 notice ("%s: can't get status for file `%s': %s\n",
4135 pname, shortpath (NULL, convert_filename),
4136 xstrerror (errno_val));
4139 orig_size = stat_buf.st_size;
4141 /* Allocate a buffer to hold the original text. */
4143 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4144 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4146 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4148 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4149 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4150 clean_read_ptr = clean_text_base - 1;
4152 /* Allocate a buffer that will hopefully be large enough to hold the entire
4153 converted output text. As an initial guess for the maximum size of the
4154 output buffer, use 125% of the size of the original + some extra. This
4155 buffer can be expanded later as needed. */
4157 repl_size = orig_size + (orig_size >> 2) + 4096;
4158 repl_text_base = (char *) xmalloc (repl_size + 2);
4159 repl_text_limit = repl_text_base + repl_size - 1;
4160 repl_write_ptr = repl_text_base - 1;
4166 /* Open the file to be converted in READ ONLY mode. */
4168 fd_flags = O_RDONLY;
4170 /* Use binary mode to avoid having to deal with different EOL characters. */
4171 fd_flags |= O_BINARY;
4173 if ((input_file = open (convert_filename, fd_flags, 0444)) == -1)
4175 int errno_val = errno;
4176 notice ("%s: can't open file `%s' for reading: %s\n",
4177 pname, shortpath (NULL, convert_filename),
4178 xstrerror (errno_val));
4182 /* Read the entire original source text file into the original text buffer
4183 in one swell fwoop. Then figure out where the end of the text is and
4184 make sure that it ends with a newline followed by a null. */
4186 if (safe_read (input_file, new_orig_text_base, orig_size) !=
4189 int errno_val = errno;
4191 notice ("\n%s: error reading input file `%s': %s\n",
4192 pname, shortpath (NULL, convert_filename),
4193 xstrerror (errno_val));
4200 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4202 *new_orig_text_limit++ = '\n';
4206 /* Create the cleaned up copy of the original text. */
4208 memcpy (new_clean_text_base, orig_text_base,
4209 (size_t) (orig_text_limit - orig_text_base));
4210 do_cleaning (new_clean_text_base, new_clean_text_limit);
4215 size_t clean_size = orig_text_limit - orig_text_base;
4216 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4218 /* Open (and create) the clean file. */
4220 strcpy (clean_filename, convert_filename);
4221 strcat (clean_filename, ".clean");
4222 if ((clean_file = creat (clean_filename, 0666)) == -1)
4224 int errno_val = errno;
4225 notice ("%s: can't create/open clean file `%s': %s\n",
4226 pname, shortpath (NULL, clean_filename),
4227 xstrerror (errno_val));
4231 /* Write the clean file. */
4233 safe_write (clean_file, new_clean_text_base, clean_size, clean_filename);
4239 /* Do a simplified scan of the input looking for things that were not
4240 mentioned in the aux info files because of the fact that they were
4241 in a region of the source which was preprocessed-out (via #if or
4244 scan_for_missed_items (file_p);
4246 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4248 last_known_line_number = 1;
4249 last_known_line_start = clean_text_base;
4251 /* Now get down to business and make all of the necessary edits. */
4254 const def_dec_info *def_dec_p;
4256 first_definition_in_file = 1;
4257 def_dec_p = file_p->defs_decs;
4258 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4260 const char *clean_text_p = seek_to_line (def_dec_p->line);
4262 /* clean_text_p now points to the first character of the line which
4263 contains the `terminator' for the declaration or definition that
4264 we are about to process. */
4268 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4270 add_global_decls (def_dec_p->file, clean_text_p);
4271 first_definition_in_file = 0;
4274 /* Don't edit this item if it is already in prototype format or if it
4275 is a function declaration and we have found no corresponding
4278 if (def_dec_p->prototyped
4279 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4282 #endif /* !defined (UNPROTOIZE) */
4284 if (def_dec_p->is_func_def)
4285 edit_fn_definition (def_dec_p, clean_text_p);
4288 if (def_dec_p->is_implicit)
4289 add_local_decl (def_dec_p, clean_text_p);
4291 #endif /* !defined (UNPROTOIZE) */
4292 edit_fn_declaration (def_dec_p, clean_text_p);
4296 /* Finalize things. Output the last trailing part of the original text. */
4298 output_up_to (clean_text_limit - 1);
4300 /* If this is just a test run, stop now and just deallocate the buffers. */
4304 free (new_orig_text_base);
4305 free (new_clean_text_base);
4306 free (repl_text_base);
4310 /* Change the name of the original input file. This is just a quick way of
4311 saving the original file. */
4316 = (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4318 strcpy (new_filename, convert_filename);
4319 strcat (new_filename, save_suffix);
4321 /* Don't overwrite existing file. */
4322 if (access (new_filename, F_OK) == 0)
4325 notice ("%s: warning: file `%s' already saved in `%s'\n",
4327 shortpath (NULL, convert_filename),
4328 shortpath (NULL, new_filename));
4330 else if (rename (convert_filename, new_filename) == -1)
4332 int errno_val = errno;
4333 notice ("%s: can't link file `%s' to `%s': %s\n",
4335 shortpath (NULL, convert_filename),
4336 shortpath (NULL, new_filename),
4337 xstrerror (errno_val));
4342 if (unlink (convert_filename) == -1)
4344 int errno_val = errno;
4345 /* The file may have already been renamed. */
4346 if (errno_val != ENOENT)
4348 notice ("%s: can't delete file `%s': %s\n",
4349 pname, shortpath (NULL, convert_filename),
4350 xstrerror (errno_val));
4358 /* Open (and create) the output file. */
4360 if ((output_file = creat (convert_filename, 0666)) == -1)
4362 int errno_val = errno;
4363 notice ("%s: can't create/open output file `%s': %s\n",
4364 pname, shortpath (NULL, convert_filename),
4365 xstrerror (errno_val));
4369 /* Use binary mode to avoid changing the existing EOL character. */
4370 setmode (output_file, O_BINARY);
4373 /* Write the output file. */
4376 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4378 safe_write (output_file, repl_text_base, out_size, convert_filename);
4381 close (output_file);
4384 /* Deallocate the conversion buffers. */
4386 free (new_orig_text_base);
4387 free (new_clean_text_base);
4388 free (repl_text_base);
4390 /* Change the mode of the output file to match the original file. */
4392 /* The cast avoids an erroneous warning on AIX. */
4393 if (chmod (convert_filename, stat_buf.st_mode) == -1)
4395 int errno_val = errno;
4396 notice ("%s: can't change mode of file `%s': %s\n",
4397 pname, shortpath (NULL, convert_filename),
4398 xstrerror (errno_val));
4401 /* Note: We would try to change the owner and group of the output file
4402 to match those of the input file here, except that may not be a good
4403 thing to do because it might be misleading. Also, it might not even
4404 be possible to do that (on BSD systems with quotas for instance). */
4407 /* Do all of the individual steps needed to do the protoization (or
4408 unprotoization) of the files referenced in the aux_info files given
4409 in the command line. */
4414 const char * const *base_pp;
4415 const char * const * const end_pps
4416 = &base_source_filenames[n_base_source_files];
4420 #endif /* !defined (UNPROTOIZE) */
4422 /* One-by-one, check (and create if necessary), open, and read all of the
4423 stuff in each aux_info file. After reading each aux_info file, the
4424 aux_info_file just read will be automatically deleted unless the
4425 keep_flag is set. */
4427 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4428 process_aux_info_file (*base_pp, keep_flag, 0);
4432 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4433 the prototypes for all of the standard system-supplied functions. */
4435 if (nondefault_syscalls_dir)
4437 syscalls_absolute_filename
4438 = (char *) xmalloc (strlen (nondefault_syscalls_dir) + 1
4439 + sizeof (syscalls_filename));
4440 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4444 GET_ENV_PATH_LIST (default_syscalls_dir, "GCC_EXEC_PREFIX");
4445 if (!default_syscalls_dir)
4447 default_syscalls_dir = standard_exec_prefix;
4449 syscalls_absolute_filename
4450 = (char *) xmalloc (strlen (default_syscalls_dir) + 0
4451 + strlen (target_machine) + 1
4452 + strlen (target_version) + 1
4453 + sizeof (syscalls_filename));
4454 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4455 strcat (syscalls_absolute_filename, target_machine);
4456 strcat (syscalls_absolute_filename, "/");
4457 strcat (syscalls_absolute_filename, target_version);
4458 strcat (syscalls_absolute_filename, "/");
4461 syscalls_len = strlen (syscalls_absolute_filename);
4462 if (! IS_DIR_SEPARATOR (*(syscalls_absolute_filename + syscalls_len - 1)))
4464 *(syscalls_absolute_filename + syscalls_len++) = DIR_SEPARATOR;
4465 *(syscalls_absolute_filename + syscalls_len) = '\0';
4467 strcat (syscalls_absolute_filename, syscalls_filename);
4469 /* Call process_aux_info_file in such a way that it does not try to
4470 delete the SYSCALLS aux_info file. */
4472 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4474 #endif /* !defined (UNPROTOIZE) */
4476 /* When we first read in all of the information from the aux_info files
4477 we saved in it descending line number order, because that was likely to
4478 be faster. Now however, we want the chains of def & dec records to
4479 appear in ascending line number order as we get further away from the
4480 file_info record that they hang from. The following line causes all of
4481 these lists to be rearranged into ascending line number order. */
4483 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4487 /* Now do the "real" work. The following line causes each declaration record
4488 to be "visited". For each of these nodes, an attempt is made to match
4489 up the function declaration with a corresponding function definition,
4490 which should have a full prototype-format formals list with it. Once
4491 these match-ups are made, the conversion of the function declarations
4492 to prototype format can be made. */
4494 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4496 #endif /* !defined (UNPROTOIZE) */
4498 /* Now convert each file that can be converted (and needs to be). */
4500 visit_each_hash_node (filename_primary, edit_file);
4504 /* If we are working in cplusplus mode, try to rename all .c files to .C
4505 files. Don't panic if some of the renames don't work. */
4507 if (cplusplus_flag && !nochange_flag)
4508 visit_each_hash_node (filename_primary, rename_c_file);
4510 #endif /* !defined (UNPROTOIZE) */
4513 static struct option longopts[] =
4515 {"version", 0, 0, 'V'},
4516 {"file_name", 0, 0, 'p'},
4517 {"quiet", 0, 0, 'q'},
4518 {"silent", 0, 0, 'q'},
4519 {"force", 0, 0, 'f'},
4520 {"keep", 0, 0, 'k'},
4521 {"nosave", 0, 0, 'N'},
4522 {"nochange", 0, 0, 'n'},
4523 {"compiler-options", 1, 0, 'c'},
4524 {"exclude", 1, 0, 'x'},
4525 {"directory", 1, 0, 'd'},
4527 {"indent", 1, 0, 'i'},
4529 {"local", 0, 0, 'l'},
4530 {"global", 0, 0, 'g'},
4532 {"syscalls-dir", 1, 0, 'B'},
4537 extern int main PARAMS ((int, char **const));
4546 const char *params = "";
4548 pname = strrchr (argv[0], DIR_SEPARATOR);
4549 #ifdef DIR_SEPARATOR_2
4553 slash = strrchr (pname ? pname : argv[0], DIR_SEPARATOR_2);
4558 pname = pname ? pname+1 : argv[0];
4560 #ifdef HAVE_LC_MESSAGES
4561 setlocale (LC_MESSAGES, "");
4563 (void) bindtextdomain (PACKAGE, localedir);
4564 (void) textdomain (PACKAGE);
4566 cwd_buffer = getpwd ();
4569 notice ("%s: cannot get working directory: %s\n",
4570 pname, xstrerror(errno));
4571 return (FATAL_EXIT_CODE);
4574 /* By default, convert the files in the current directory. */
4575 directory_list = string_list_cons (cwd_buffer, NULL);
4577 while ((c = getopt_long (argc, argv,
4581 "B:c:Cd:gklnNp:qvVx:",
4583 longopts, &longind)) != EOF)
4585 if (c == 0) /* Long option. */
4586 c = longopts[longind].val;
4590 compiler_file_name = optarg;
4594 = string_list_cons (abspath (NULL, optarg), directory_list);
4597 exclude_list = string_list_cons (optarg, exclude_list);
4627 indent_string = optarg;
4629 #else /* !defined (UNPROTOIZE) */
4640 nondefault_syscalls_dir = optarg;
4642 #endif /* !defined (UNPROTOIZE) */
4648 /* Set up compile_params based on -p and -c options. */
4649 munge_compile_params (params);
4651 n_base_source_files = argc - optind;
4653 /* Now actually make a list of the base source filenames. */
4655 base_source_filenames
4656 = (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4657 n_base_source_files = 0;
4658 for (; optind < argc; optind++)
4660 const char *path = abspath (NULL, argv[optind]);
4661 int len = strlen (path);
4663 if (path[len-1] == 'c' && path[len-2] == '.')
4664 base_source_filenames[n_base_source_files++] = path;
4667 notice ("%s: input file names must have .c suffixes: %s\n",
4668 pname, shortpath (NULL, path));
4674 /* We are only interested in the very first identifier token in the
4675 definition of `va_list', so if there is more junk after that first
4676 identifier token, delete it from the `varargs_style_indicator'. */
4680 for (cp = varargs_style_indicator;
4681 ISALNUM ((const unsigned char)*cp) || *cp == '_'; cp++)
4684 varargs_style_indicator = savestring (varargs_style_indicator,
4685 cp - varargs_style_indicator);
4687 #endif /* !defined (UNPROTOIZE) */
4694 fprintf (stderr, "%s: %s\n", pname, version_string);
4698 return (errors ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);