1 /* Protoize program - Original version by Ron Guilmette at MCC.
3 Copyright (C) 1989, 1992 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
21 /* Any reasonable C++ compiler should have all of the same features
22 as __STDC__ plus more, so make sure that __STDC__ is defined if
23 __cplusplus is defined. */
25 #if defined(__cplusplus) && !defined(__STDC__)
27 #endif /* defined(__cplusplus) && !defined(__STDC__) */
29 #if defined(__GNUC__) || defined (__GNUG__)
30 #define VOLATILE volatile
43 /* Users are not supposed to use _POSIX_SOURCE to say the
44 system is a POSIX system. That is not what _POSIX_SOURCE means! -- rms */
45 /* If the user asked for POSIX via _POSIX_SOURCE, turn on POSIX code. */
46 #if defined(_POSIX_SOURCE) && !defined(POSIX)
51 #ifdef POSIX /* We should be able to define _POSIX_SOURCE unconditionally,
52 but some systems respond in buggy ways to it,
53 including SunOS 4.1.1. Which we don't classify as POSIX. */
54 /* In case this is a POSIX system with an ANSI C compiler,
55 ask for definition of all POSIX facilities. */
61 /* On some systems stdio.h includes stdarg.h;
62 we must bring in gvarargs.h first. */
66 #include <sys/types.h>
75 /* Include getopt.h for the sake of getopt_long.
76 We don't need the declaration of getopt, and it could conflict
77 with something from a system header file, so effectively nullify that. */
78 #define getopt getopt_loser
84 extern const char *const sys_errlist[];
86 extern char *sys_errlist[];
88 extern char *version_string;
90 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
91 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
92 const qualifiers in the prototypes in the system include files.
93 Unfortunately, this can lead to GCC issuing lots of warnings for
94 calls to the following functions. To eliminate these warnings we
95 provide the following #defines. */
97 #define my_access(file,flag) access((char *)file, flag)
98 #define my_stat(file,pkt) stat((char *)file, pkt)
99 #define my_execvp(prog,argv) execvp((char *)prog, (char **)argv)
100 #define my_link(file1, file2) link((char *)file1, (char *)file2)
101 #define my_unlink(file) unlink((char *)file)
102 #define my_open(file, mode, flag) open((char *)file, mode, flag)
103 #define my_chmod(file, mode) chmod((char *)file, mode)
105 extern char *getpwd ();
107 /* Aliases for pointers to void.
108 These were made to facilitate compilation with old brain-dead DEC C
109 compilers which didn't properly grok `void*' types. */
112 typedef void * pointer_type;
113 typedef const void * const_pointer_type;
115 typedef char * pointer_type;
116 typedef char * const_pointer_type;
126 #else /* !defined(POSIX) */
128 #define R_OK 4 /* Test for Read permission */
129 #define W_OK 2 /* Test for Write permission */
130 #define X_OK 1 /* Test for eXecute permission */
131 #define F_OK 0 /* Test for existence of File */
136 /* Declaring stat or __flsbuf with a prototype
137 causes conflicts with system headers on some systems. */
140 typedef void voidfn ();
141 extern VOLATILE voidfn abort;
145 #if 0 /* These conflict with stdio.h on some systems. */
146 extern int fprintf (FILE *, const char *, ...);
147 extern int printf (const char *, ...);
148 extern int open (const char *, int, ...);
151 extern pointer_type malloc ();
152 extern pointer_type realloc ();
157 extern int fflush ();
163 extern int unlink ();
164 extern int access ();
165 extern int execvp ();
167 extern int setjmp ();
170 extern void longjmp ();
173 #if 0 /* size_t from sys/types.h may fail to match GCC.
174 If so, we would get a warning from this. */
175 extern size_t strlen ()
178 /* Fork is not declared because the declaration caused a conflict
180 #if !(defined (USG) || defined (VMS))
182 #endif /* (defined (USG) || defined (VMS)) */
184 #endif /* !defined (POSIX) */
186 extern char *rindex ();
188 /* Look for these where the `const' qualifier is intentionally cast aside. */
192 /* Define a STRINGIFY macro that's right for ANSI or traditional C. */
195 #define STRINGIFY(STRING) #STRING
197 #define STRINGIFY(STRING) "STRING"
200 /* Define a default place to find the SYSCALLS.X file. */
202 #ifndef STD_PROTO_DIR
203 #define STD_PROTO_DIR "/usr/local/lib"
204 #endif /* !defined (STD_PROTO_DIR) */
206 /* Suffix of aux_info files. */
208 static const char * const aux_info_suffix = ".X";
210 /* String to attach to filenames for saved versions of original files. */
212 static const char * const save_suffix = ".save";
216 /* File name of the file which contains descriptions of standard system
217 routines. Note that we never actually do anything with this file per se,
218 but we do read in its corresponding aux_info file. */
220 static const char syscalls_filename[] = "SYSCALLS.c";
222 /* Default place to find the above file. */
224 static const char * const default_syscalls_dir = STD_PROTO_DIR;
226 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
229 static char * syscalls_absolute_filename;
231 #endif /* !defined (UNPROTOIZE) */
233 /* Type of the structure that holds information about macro unexpansions. */
235 struct unexpansion_struct {
236 const char *expanded;
237 const char *contracted;
239 typedef struct unexpansion_struct unexpansion;
241 /* A table of conversions that may need to be made for some (stupid) older
242 operating systems where these types are preprocessor macros rather than
243 typedefs (as they really ought to be).
245 WARNING: The contracted forms must be as small (or smaller) as the
246 expanded forms, or else havoc will ensue. */
248 static const unexpansion unexpansions[] = {
249 { "struct _iobuf", "FILE" },
253 /* The number of "primary" slots in the hash tables for filenames and for
254 function names. This can be as big or as small as you like, except that
255 it must be a power of two. */
257 #define HASH_TABLE_SIZE (1 << 9)
259 /* Bit mask to use when computing hash values. */
261 static const int hash_mask = (HASH_TABLE_SIZE - 1);
263 /* Make a table of default system include directories
264 just as it is done in cccp.c. */
266 #ifndef STANDARD_INCLUDE_DIR
267 #define STANDARD_INCLUDE_DIR "/usr/include"
270 #ifndef LOCAL_INCLUDE_DIR
271 #define LOCAL_INCLUDE_DIR "/usr/local/include"
274 struct default_include { const char *fname; int cplusplus; } include_defaults[]
275 #ifdef INCLUDE_DEFAULTS
279 /* Pick up GNU C++ specific include files. */
280 { GPLUSPLUS_INCLUDE_DIR, 1},
282 /* This is the dir for fixincludes. Put it just before
283 the files that we fix. */
284 { GCC_INCLUDE_DIR, 0},
285 /* For cross-compilation, this dir name is generated
286 automatically in Makefile.in. */
287 { CROSS_INCLUDE_DIR, 0 },
288 /* This is another place that the target system's headers might be. */
289 { TOOL_INCLUDE_DIR, 0},
290 #else /* not CROSS_COMPILE */
291 /* This should be /use/local/include and should come before
292 the fixincludes-fixed header files. */
293 { LOCAL_INCLUDE_DIR, 0},
294 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
295 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
296 { TOOL_INCLUDE_DIR, 0},
297 /* This is the dir for fixincludes. Put it just before
298 the files that we fix. */
299 { GCC_INCLUDE_DIR, 0},
300 /* Some systems have an extra dir of include files. */
301 #ifdef SYSTEM_INCLUDE_DIR
302 { SYSTEM_INCLUDE_DIR, 0},
304 { STANDARD_INCLUDE_DIR, 0},
305 #endif /* not CROSS_COMPILE */
308 #endif /* no INCLUDE_DEFAULTS */
310 /* Datatype for lists of directories or filenames. */
314 struct string_list *next;
317 /* List of directories in which files should be converted. */
319 struct string_list *directory_list;
321 /* List of file names which should not be converted.
322 A file is excluded if the end of its name, following a /,
323 matches one of the names in this list. */
325 struct string_list *exclude_list;
327 /* The name of the other style of variable-number-of-parameters functions
328 (i.e. the style that we want to leave unconverted because we don't yet
329 know how to convert them to this style. This string is used in warning
332 /* Also define here the string that we can search for in the parameter lists
333 taken from the .X files which will unambiguously indicate that we have
334 found a varargs style function. */
337 static const char * const other_var_style = "stdarg";
338 #else /* !defined (UNPROTOIZE) */
339 static const char * const other_var_style = "varargs";
340 /* Note that this is a string containing the expansion of va_alist.
341 But in `main' we discard all but the first token. */
342 static const char *varargs_style_indicator = STRINGIFY (va_alist);
343 #endif /* !defined (UNPROTOIZE) */
345 /* The following two types are used to create hash tables. In this program,
346 there are two hash tables which are used to store and quickly lookup two
347 different classes of strings. The first type of strings stored in the
348 first hash table are absolute filenames of files which protoize needs to
349 know about. The second type of strings (stored in the second hash table)
350 are function names. It is this second class of strings which really
351 inspired the use of the hash tables, because there may be a lot of them. */
353 typedef struct hash_table_entry_struct hash_table_entry;
355 /* Do some typedefs so that we don't have to write "struct" so often. */
357 typedef struct def_dec_info_struct def_dec_info;
358 typedef struct file_info_struct file_info;
359 typedef struct f_list_chain_item_struct f_list_chain_item;
361 /* In the struct below, note that the "_info" field has two different uses
362 depending on the type of hash table we are in (i.e. either the filenames
363 hash table or the function names hash table). In the filenames hash table
364 the info fields of the entries point to the file_info struct which is
365 associated with each filename (1 per filename). In the function names
366 hash table, the info field points to the head of a singly linked list of
367 def_dec_info entries which are all defs or decs of the function whose
368 name is pointed to by the "symbol" field. Keeping all of the defs/decs
369 for a given function name on a special list specifically for that function
370 name makes it quick and easy to find out all of the important information
371 about a given (named) function. */
373 struct hash_table_entry_struct {
374 hash_table_entry * hash_next; /* -> to secondary entries */
375 const char * symbol; /* -> to the hashed string */
377 const def_dec_info * _ddip;
381 #define ddip _info._ddip
382 #define fip _info._fip
384 /* Define a type specifically for our two hash tables. */
386 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
388 /* The following struct holds all of the important information about any
389 single filename (e.g. file) which we need to know about. */
391 struct file_info_struct {
392 const hash_table_entry * hash_entry; /* -> to associated hash entry */
393 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
394 time_t mtime; /* Time of last modification. */
397 /* Due to the possibility that functions may return pointers to functions,
398 (which may themselves have their own parameter lists) and due to the
399 fact that returned pointers-to-functions may be of type "pointer-to-
400 function-returning-pointer-to-function" (ad nauseum) we have to keep
401 an entire chain of ANSI style formal parameter lists for each function.
403 Normally, for any given function, there will only be one formals list
404 on the chain, but you never know.
406 Note that the head of each chain of formals lists is pointed to by the
407 `f_list_chain' field of the corresponding def_dec_info record.
409 For any given chain, the item at the head of the chain is the *leftmost*
410 parameter list seen in the actual C language function declaration. If
411 there are other members of the chain, then these are linked in left-to-right
412 order from the head of the chain. */
414 struct f_list_chain_item_struct {
415 const f_list_chain_item * chain_next; /* -> to next item on chain */
416 const char * formals_list; /* -> to formals list string */
419 /* The following struct holds all of the important information about any
420 single function definition or declaration which we need to know about.
421 Note that for unprotoize we don't need to know very much because we
422 never even create records for stuff that we don't intend to convert
423 (like for instance defs and decs which are already in old K&R format
424 and "implicit" function declarations). */
426 struct def_dec_info_struct {
427 const def_dec_info * next_in_file; /* -> to rest of chain for file */
428 file_info * file; /* -> file_info for containing file */
429 int line; /* source line number of def/dec */
430 const char * ansi_decl; /* -> left end of ansi decl */
431 hash_table_entry * hash_entry; /* -> hash entry for function name */
432 unsigned int is_func_def; /* = 0 means this is a declaration */
433 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
434 unsigned int f_list_count; /* count of formals lists we expect */
435 char prototyped; /* = 0 means already prototyped */
437 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
438 const def_dec_info * definition; /* -> def/dec containing related def */
439 char is_static; /* = 0 means visibility is "extern" */
440 char is_implicit; /* != 0 for implicit func decl's */
441 char written; /* != 0 means written for implicit */
442 #else /* !defined (UNPROTOIZE) */
443 const char * formal_names; /* -> to list of names of formals */
444 const char * formal_decls; /* -> to string of formal declarations */
445 #endif /* !defined (UNPROTOIZE) */
448 /* Pointer to the tail component of the filename by which this program was
449 invoked. Used everywhere in error and warning messages. */
451 static const char *pname;
453 /* Error counter. Will be non-zero if we should give up at the next convenient
456 static int errors = 0;
459 /* ??? These comments should say what the flag mean as well as the options
462 /* File name to use for running gcc. Allows GCC 2 to be named
463 something other than gcc. */
464 static const char *compiler_file_name = "gcc";
466 static int version_flag = 0; /* Print our version number. */
467 static int quiet_flag = 0; /* Don't print messages normally. */
468 static int nochange_flag = 0; /* Don't convert, just say what files
469 we would have converted. */
470 static int nosave_flag = 0; /* Don't save the old version. */
471 static int keep_flag = 0; /* Don't delete the .X files. */
472 static const char ** compile_params = 0; /* Option string for gcc. */
474 static const char *indent_string = " "; /* Indentation for newly
475 inserted parm decls. */
476 #else /* !defined (UNPROTOIZE) */
477 static int local_flag = 0; /* Insert new local decls (when?). */
478 static int global_flag = 0; /* set by -g option */
479 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
480 static const char* nondefault_syscalls_dir = 0; /* Dir to look for
482 #endif /* !defined (UNPROTOIZE) */
484 /* An index into the compile_params array where we should insert the source
485 file name when we are ready to exec the C compiler. A zero value indicates
486 that we have not yet called munge_compile_params. */
488 static int input_file_name_index = 0;
490 /* An index into the compile_params array where we should insert the filename
491 for the aux info file, when we run the C compiler. */
492 static int aux_info_file_name_index = 0;
494 /* Count of command line arguments which were "filename" arguments. */
496 static int n_base_source_files = 0;
498 /* Points to a malloc'ed list of pointers to all of the filenames of base
499 source files which were specified on the command line. */
501 static const char **base_source_filenames;
503 /* Line number of the line within the current aux_info file that we
504 are currently processing. Used for error messages in case the prototypes
505 info file is corrupted somehow. */
507 static int current_aux_info_lineno;
509 /* Pointer to the name of the source file currently being converted. */
511 static const char *convert_filename;
513 /* Pointer to relative root string (taken from aux_info file) which indicates
514 where directory the user was in when he did the compilation step that
515 produced the containing aux_info file. */
517 static const char *invocation_filename;
519 /* Pointer to the base of the input buffer that holds the original text for the
520 source file currently being converted. */
522 static const char *orig_text_base;
524 /* Pointer to the byte just beyond the end of the input buffer that holds the
525 original text for the source file currently being converted. */
527 static const char *orig_text_limit;
529 /* Pointer to the base of the input buffer that holds the cleaned text for the
530 source file currently being converted. */
532 static const char *clean_text_base;
534 /* Pointer to the byte just beyond the end of the input buffer that holds the
535 cleaned text for the source file currently being converted. */
537 static const char *clean_text_limit;
539 /* Pointer to the last byte in the cleaned text buffer that we have already
540 (virtually) copied to the output buffer (or decided to ignore). */
542 static const char * clean_read_ptr;
544 /* Pointer to the base of the output buffer that holds the replacement text
545 for the source file currently being converted. */
547 static char *repl_text_base;
549 /* Pointer to the byte just beyond the end of the output buffer that holds the
550 replacement text for the source file currently being converted. */
552 static char *repl_text_limit;
554 /* Pointer to the last byte which has been stored into the output buffer.
555 The next byte to be stored should be stored just past where this points
558 static char * repl_write_ptr;
560 /* Pointer into the cleaned text buffer for the source file we are currently
561 converting. This points to the first character of the line that we last
562 did a "seek_to_line" to (see below). */
564 static const char *last_known_line_start;
566 /* Number of the line (in the cleaned text buffer) that we last did a
567 "seek_to_line" to. Will be one if we just read a new source file
568 into the cleaned text buffer. */
570 static int last_known_line_number;
572 /* The filenames hash table. */
574 static hash_table filename_primary;
576 /* The function names hash table. */
578 static hash_table function_name_primary;
580 /* The place to keep the recovery address which is used only in cases where
581 we get hopelessly confused by something in the cleaned original text. */
583 static jmp_buf source_confusion_recovery;
585 /* A pointer to the current directory filename (used by abspath). */
587 static char *cwd_buffer;
589 /* A place to save the read pointer until we are sure that an individual
590 attempt at editing will succeed. */
592 static const char * saved_clean_read_ptr;
594 /* A place to save the write pointer until we are sure that an individual
595 attempt at editing will succeed. */
597 static char * saved_repl_write_ptr;
599 /* Forward declaration. */
601 static const char *shortpath ();
603 /* Allocate some space, but check that the allocation was successful. */
604 /* alloca.c uses this, so don't make it static. */
612 rv = malloc (byte_count);
615 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
617 return 0; /* avoid warnings */
623 /* Reallocate some space, but check that the reallocation was successful. */
626 xrealloc (old_space, byte_count)
627 pointer_type old_space;
632 rv = realloc (old_space, byte_count);
635 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
637 return 0; /* avoid warnings */
643 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
644 the `const' qualifier from it and also make sure that the pointer value
649 const_pointer_type p;
652 free ((NONCONST pointer_type) p);
655 /* Make a copy of a string INPUT with size SIZE. */
658 savestring (input, size)
662 char *output = (char *) xmalloc (size + 1);
663 strcpy (output, input);
667 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
670 savestring2 (input1, size1, input2, size2)
676 char *output = (char *) xmalloc (size1 + size2 + 1);
677 strcpy (output, input1);
678 strcpy (&output[size1], input2);
682 /* More 'friendly' abort that prints the line and file.
683 config.h can #define abort fancy_abort if you like that sort of thing. */
688 fprintf (stderr, "%s: internal abort\n", pname);
692 /* Make a duplicate of the first N bytes of a given string in a newly
700 char *ret_val = (char *) xmalloc (n + 1);
702 strncpy (ret_val, s, n);
707 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
708 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
713 const char *const s2;
721 for (p1 = s1, p2 = s2; c = *p2; p1++, p2++)
731 /* Get setup to recover in case the edit we are about to do goes awry. */
736 saved_clean_read_ptr = clean_read_ptr;
737 saved_repl_write_ptr = repl_write_ptr;
740 /* Call this routine to recover our previous state whenever something looks
741 too confusing in the source code we are trying to edit. */
746 clean_read_ptr = saved_clean_read_ptr;
747 repl_write_ptr = saved_repl_write_ptr;
750 /* Return true if the given character is a legal identifier character. */
756 return (isalnum (ch) || (ch == '_') || (ch == '$'));
759 /* Give a message indicating the proper way to invoke this program and then
760 exit with non-zero status. */
766 fprintf (stderr, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
768 #else /* !defined (UNPROTOIZE) */
769 fprintf (stderr, "%s: usage '%s [ -VqfnkNlgC ] [ -B <diname> ] [ filename ... ]'\n",
771 #endif /* !defined (UNPROTOIZE) */
775 /* Return true if the given filename (assumed to be an absolute filename)
776 designates a file residing anywhere beneath any one of the "system"
777 include directories. */
780 in_system_include_dir (path)
783 struct default_include *p;
786 abort (); /* Must be an absolutized filename. */
788 for (p = include_defaults; p->fname; p++)
789 if (!strncmp (path, p->fname, strlen (p->fname))
790 && path[strlen (p->fname)] == '/')
796 /* Return true if the given filename designates a file that the user has
797 read access to and for which the user has write access to the containing
801 file_could_be_converted (const char *path)
803 char *const dir_name = (char *) alloca (strlen (path) + 1);
805 if (my_access (path, R_OK))
809 char *dir_last_slash;
811 strcpy (dir_name, path);
812 dir_last_slash = rindex (dir_name, '/');
814 *dir_last_slash = '\0';
816 abort (); /* Should have been an absolutized filename. */
819 if (my_access (path, W_OK))
825 /* Return true if the given filename designates a file that we are allowed
826 to modify. Files which we should not attempt to modify are (a) "system"
827 include files, and (b) files which the user doesn't have write access to,
828 and (c) files which reside in directories which the user doesn't have
829 write access to. Unless requested to be quiet, give warnings about
830 files that we will not try to convert for one reason or another. An
831 exception is made for "system" include files, which we never try to
832 convert and for which we don't issue the usual warnings. */
835 file_normally_convertible (const char *path)
837 char *const dir_name = alloca (strlen (path) + 1);
839 if (in_system_include_dir (path))
843 char *dir_last_slash;
845 strcpy (dir_name, path);
846 dir_last_slash = rindex (dir_name, '/');
848 *dir_last_slash = '\0';
850 abort (); /* Should have been an absolutized filename. */
853 if (my_access (path, R_OK))
856 fprintf (stderr, "%s: warning: no read access for file `%s'\n",
857 pname, shortpath (NULL, path));
861 if (my_access (path, W_OK))
864 fprintf (stderr, "%s: warning: no write access for file `%s'\n",
865 pname, shortpath (NULL, path));
869 if (my_access (dir_name, W_OK))
872 fprintf (stderr, "%s: warning: no write access for dir containing `%s'\n",
873 pname, shortpath (NULL, path));
883 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
884 file. Return false otherwise. */
887 is_syscalls_file (fi_p)
888 const file_info *fi_p;
890 char const *f = fi_p->hash_entry->symbol;
891 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
892 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
895 #endif /* !defined (UNPROTOIZE) */
897 /* Check to see if this file will need to have anything done to it on this
898 run. If there is nothing in the given file which both needs conversion
899 and for which we have the necessary stuff to do the conversion, return
900 false. Otherwise, return true.
902 Note that (for protoize) it is only valid to call this function *after*
903 the connections between declarations and definitions have all been made
904 by connect_defs_and_decs. */
907 needs_to_be_converted (file_p)
908 const file_info *file_p;
910 const def_dec_info *ddp;
914 if (is_syscalls_file (file_p))
917 #endif /* !defined (UNPROTOIZE) */
919 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
925 /* ... and if we a protoizing and this function is in old style ... */
927 /* ... and if this a definition or is a decl with an associated def ... */
928 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
930 #else /* defined (UNPROTOIZE) */
932 /* ... and if we are unprotoizing and this function is in new style ... */
935 #endif /* defined (UNPROTOIZE) */
937 /* ... then the containing file needs converting. */
942 /* Return 1 if the file name NAME is in a directory
943 that should be converted. */
946 directory_specified_p (name)
949 struct string_list *p;
951 for (p = directory_list; p; p = p->next)
952 if (!strncmp (name, p->name, strlen (p->name))
953 && name[strlen (p->name)] == '/')
955 const char *q = name + strlen (p->name) + 1;
957 /* If there are more slashes, it's in a subdir, so
958 this match doesn't count. */
970 /* Return 1 if the file named NAME should be excluded from conversion. */
973 file_excluded_p (name)
976 struct string_list *p;
977 int len = strlen (name);
979 for (p = exclude_list; p; p = p->next)
980 if (!strcmp (name + len - strlen (p->name), p->name)
981 && name[len - strlen (p->name) - 1] == '/')
987 /* Construct a new element of a string_list.
988 STRING is the new element value, and REST holds the remaining elements. */
990 static struct string_list *
991 string_list_cons (string, rest)
993 struct string_list *rest;
995 struct string_list *temp
996 = (struct string_list *) xmalloc (sizeof (struct string_list));
1003 /* ??? The GNU convention for mentioning function args in its comments
1004 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1005 Likewise for all the other functions. */
1007 /* Given a hash table, apply some function to each node in the table. The
1008 table to traverse is given as the "hash_tab_p" argument, and the
1009 function to be applied to each node in the table is given as "func"
1013 visit_each_hash_node (hash_tab_p, func)
1014 const hash_table_entry *hash_tab_p;
1017 const hash_table_entry *primary;
1019 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
1020 if (primary->symbol)
1022 hash_table_entry *second;
1025 for (second = primary->hash_next; second; second = second->hash_next)
1030 /* Initialize all of the fields of a new hash table entry, pointed
1031 to by the "p" parameter. Note that the space to hold the entry
1032 is assumed to have already been allocated before this routine is
1035 static hash_table_entry *
1037 hash_table_entry *p;
1040 p->hash_next = NULL;
1041 p->symbol = savestring (s, strlen (s));
1047 /* Look for a particular function name or filename in the particular
1048 hash table indicated by "hash_tab_p". If the name is not in the
1049 given hash table, add it. Either way, return a pointer to the
1050 hash table entry for the given name. */
1052 static hash_table_entry *
1053 lookup (hash_tab_p, search_symbol)
1054 hash_table_entry *hash_tab_p;
1055 const char *search_symbol;
1058 const char *search_symbol_char_p = search_symbol;
1059 hash_table_entry *p;
1061 while (*search_symbol_char_p)
1062 hash_value += *search_symbol_char_p++;
1063 hash_value &= hash_mask;
1064 p = &hash_tab_p[hash_value];
1066 return add_symbol (p, search_symbol);
1067 if (!strcmp (p->symbol, search_symbol))
1069 while (p->hash_next)
1072 if (!strcmp (p->symbol, search_symbol))
1075 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1077 return add_symbol (p, search_symbol);
1080 /* Throw a def/dec record on the junk heap.
1082 Also, since we are not using this record anymore, free up all of the
1083 stuff it pointed to. */
1089 xfree (p->ansi_decl);
1093 const f_list_chain_item * curr;
1094 const f_list_chain_item * next;
1096 for (curr = p->f_list_chain; curr; curr = next)
1098 next = curr->chain_next;
1102 #endif /* !defined (UNPROTOIZE) */
1107 /* Unexpand as many macro symbol as we can find.
1109 If the given line must be unexpanded, make a copy of it in the heap and
1110 return a pointer to the unexpanded copy. Otherwise return NULL. */
1113 unexpand_if_needed (aux_info_line)
1114 const char *aux_info_line;
1116 static char *line_buf = 0;
1117 static int line_buf_size = 0;
1118 const unexpansion* unexp_p;
1119 int got_unexpanded = 0;
1121 char *copy_p = line_buf;
1125 line_buf_size = 1024;
1126 line_buf = (char *) xmalloc (line_buf_size);
1131 /* Make a copy of the input string in line_buf, expanding as necessary. */
1133 for (s = aux_info_line; *s != '\n'; )
1135 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1137 const char *in_p = unexp_p->expanded;
1138 size_t len = strlen (in_p);
1140 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1142 int size = strlen (unexp_p->contracted);
1144 if (copy_p + size - line_buf >= line_buf_size)
1146 int offset = copy_p - line_buf;
1148 line_buf_size += size;
1149 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1150 copy_p = line_buf + offset;
1152 strcpy (copy_p, unexp_p->contracted);
1155 /* Assume the there will not be another replacement required
1156 within the text just replaced. */
1159 goto continue_outer;
1162 if (copy_p - line_buf == line_buf_size)
1164 int offset = copy_p - line_buf;
1166 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1167 copy_p = line_buf + offset;
1172 if (copy_p + 2 - line_buf >= line_buf_size)
1174 int offset = copy_p - line_buf;
1176 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1177 copy_p = line_buf + offset;
1182 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1185 /* Return the absolutized filename for the given relative
1186 filename. Note that if that filename is already absolute, it may
1187 still be returned in a modified form because this routine also
1188 eliminates redundant slashes and single dots and eliminates double
1189 dots to get a shortest possible filename from the given input
1190 filename. The absolutization of relative filenames is made by
1191 assuming that the given filename is to be taken as relative to
1192 the first argument (cwd) or to the current directory if cwd is
1196 abspath (cwd, rel_filename)
1198 const char *rel_filename;
1200 /* Setup the current working directory as needed. */
1201 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1202 char *const abs_buffer
1203 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1204 char *endp = abs_buffer;
1207 /* Copy the filename (possibly preceded by the current working
1208 directory name) into the absolutization buffer. */
1213 if (rel_filename[0] != '/')
1216 while (*endp++ = *src_p++)
1218 *(endp-1) = '/'; /* overwrite null */
1220 src_p = rel_filename;
1221 while (*endp++ = *src_p++)
1225 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1226 filename (by taking out slashes and dots) as we go. */
1228 outp = inp = abs_buffer;
1229 *outp++ = *inp++; /* copy first slash */
1232 *outp++ = *inp++; /* copy second slash */
1238 else if (inp[0] == '/' && outp[-1] == '/')
1243 else if (inp[0] == '.' && outp[-1] == '/')
1247 else if (inp[1] == '/')
1252 else if ((inp[1] == '.') && (inp[2] == 0 || inp[2] == '/'))
1254 inp += (inp[2] == '/') ? 3 : 2;
1256 while (outp >= abs_buffer && *outp != '/')
1258 if (outp < abs_buffer)
1260 /* Catch cases like /.. where we try to backup to a
1261 point above the absolute root of the logical file
1264 fprintf (stderr, "%s: invalid file name: %s\n",
1265 pname, rel_filename);
1275 /* On exit, make sure that there is a trailing null, and make sure that
1276 the last character of the returned string is *not* a slash. */
1279 if (outp[-1] == '/')
1282 /* Make a copy (in the heap) of the stuff left in the absolutization
1283 buffer and return a pointer to the copy. */
1285 return savestring (abs_buffer, outp - abs_buffer);
1288 /* Given a filename (and possibly a directory name from which the filename
1289 is relative) return a string which is the shortest possible
1290 equivalent for the corresponding full (absolutized) filename. The
1291 shortest possible equivalent may be constructed by converting the
1292 absolutized filename to be a relative filename (i.e. relative to
1293 the actual current working directory). However if a relative filename
1294 is longer, then the full absolute filename is returned.
1298 Note that "simple-minded" conversion of any given type of filename (either
1299 relative or absolute) may not result in a valid equivalent filename if any
1300 subpart of the original filename is actually a symbolic link. */
1303 shortpath (cwd, filename)
1305 const char *filename;
1309 char *cwd_p = cwd_buffer;
1311 int unmatched_slash_count = 0;
1312 size_t filename_len = strlen (filename);
1314 path_p = abspath (cwd, filename);
1315 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1317 while (*cwd_p && (*cwd_p == *path_p))
1322 if (!*cwd_p && (!*path_p || *path_p == '/')) /* whole pwd matched */
1324 if (!*path_p) /* input *is* the current path! */
1335 while (*cwd_p != '/') /* backup to last slash */
1342 unmatched_slash_count++;
1345 /* Find out how many directory levels in cwd were *not* matched. */
1347 if (*cwd_p++ == '/')
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)
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 (*(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)
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 (my_stat (filename, &stat_buf) == -1)
1414 fprintf (stderr, "%s: %s: can't get status: %s\n",
1415 pname, shortpath (NULL, filename), sys_errlist[errno]);
1416 stat_buf.st_mtime = (time_t) -1;
1420 hash_entry_p->fip = file_p;
1421 file_p->hash_entry = hash_entry_p;
1422 file_p->defs_decs = NULL;
1423 file_p->mtime = stat_buf.st_mtime;
1428 /* Generate a fatal error because some part of the aux_info file is
1432 aux_info_corrupted ()
1434 fprintf (stderr, "\n%s: fatal error: aux info file corrupted at line %d\n",
1435 pname, current_aux_info_lineno);
1439 /* ??? This comment is vague. Say what the condition is for. */
1440 /* Check to see that a condition is true. This is kind of like an assert. */
1443 check_aux_info (cond)
1447 aux_info_corrupted ();
1450 /* Given a pointer to the closing right parenthesis for a particular formals
1451 list (in an aux_info file) find the corresponding left parenthesis and
1452 return a pointer to it. */
1455 find_corresponding_lparen (p)
1461 for (paren_depth = 1, q = p-1; paren_depth; q--)
1476 /* Given a line from an aux info file, and a time at which the aux info
1477 file it came from was created, check to see if the item described in
1478 the line comes from a file which has been modified since the aux info
1479 file was created. If so, return non-zero, else return zero. */
1482 referenced_file_is_newer (l, aux_info_mtime)
1484 time_t aux_info_mtime;
1490 check_aux_info (l[0] == '/');
1491 check_aux_info (l[1] == '*');
1492 check_aux_info (l[2] == ' ');
1495 const char *filename_start = p = l + 3;
1499 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1500 strncpy (filename, filename_start, (size_t) (p - filename_start));
1501 filename[p-filename_start] = '\0';
1504 /* Call find_file to find the file_info record associated with the file
1505 which contained this particular def or dec item. Note that this call
1506 may cause a new file_info record to be created if this is the first time
1507 that we have ever known about this particular file. */
1509 fi_p = find_file (abspath (invocation_filename, filename), 0);
1511 return (fi_p->mtime > aux_info_mtime);
1514 /* Given a line of info from the aux_info file, create a new
1515 def_dec_info record to remember all of the important information about
1516 a function definition or declaration.
1518 Link this record onto the list of such records for the particular file in
1519 which it occurred in proper (descending) line number order (for now).
1521 If there is an identical record already on the list for the file, throw
1522 this one away. Doing so takes care of the (useless and troublesome)
1523 duplicates which are bound to crop up due to multiple inclusions of any
1524 given individual header file.
1526 Finally, link the new def_dec record onto the list of such records
1527 pertaining to this particular function name. */
1530 save_def_or_dec (l, is_syscalls)
1535 const char *semicolon_p;
1536 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1539 def_dec_p->written = 0;
1540 #endif /* !defined (UNPROTOIZE) */
1542 /* Start processing the line by picking off 5 pieces of information from
1543 the left hand end of the line. These are filename, line number,
1544 new/old/implicit flag (new = ANSI prototype format), definition or
1545 declaration flag, and extern/static flag). */
1547 check_aux_info (l[0] == '/');
1548 check_aux_info (l[1] == '*');
1549 check_aux_info (l[2] == ' ');
1552 const char *filename_start = p = l + 3;
1557 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1558 strncpy (filename, filename_start, (size_t) (p - filename_start));
1559 filename[p-filename_start] = '\0';
1561 /* Call find_file to find the file_info record associated with the file
1562 which contained this particular def or dec item. Note that this call
1563 may cause a new file_info record to be created if this is the first time
1564 that we have ever known about this particular file.
1566 Note that we started out by forcing all of the base source file names
1567 (i.e. the names of the aux_info files with the .X stripped off) into the
1568 filenames hash table, and we simultaneously setup file_info records for
1569 all of these base file names (even if they may be useless later).
1570 The file_info records for all of these "base" file names (properly)
1571 act as file_info records for the "original" (i.e. un-included) files
1572 which were submitted to gcc for compilation (when the -aux-info
1573 option was used). */
1575 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1579 const char *line_number_start = ++p;
1580 char line_number[10];
1584 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1585 line_number[p-line_number_start] = '\0';
1586 def_dec_p->line = atoi (line_number);
1589 /* Check that this record describes a new-style, old-style, or implicit
1590 definition or declaration. */
1592 p++; /* Skip over the `:'. */
1593 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1595 /* Is this a new style (ANSI prototyped) definition or declaration? */
1597 def_dec_p->prototyped = (*p == 'N');
1601 /* Is this an implicit declaration? */
1603 def_dec_p->is_implicit = (*p == 'I');
1605 #endif /* !defined (UNPROTOIZE) */
1609 check_aux_info ((*p == 'C') || (*p == 'F'));
1611 /* Is this item a function definition (F) or a declaration (C). Note that
1612 we treat item taken from the syscalls file as though they were function
1613 definitions regardless of what the stuff in the file says. */
1615 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1618 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1619 #endif /* !defined (UNPROTOIZE) */
1621 check_aux_info (*p++ == ' ');
1622 check_aux_info (*p++ == '*');
1623 check_aux_info (*p++ == '/');
1624 check_aux_info (*p++ == ' ');
1627 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1628 #else /* !defined (UNPROTOIZE) */
1629 if (!strncmp (p, "static", 6))
1630 def_dec_p->is_static = -1;
1631 else if (!strncmp (p, "extern", 6))
1632 def_dec_p->is_static = 0;
1634 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1635 #endif /* !defined (UNPROTOIZE) */
1638 const char *ansi_start = p;
1640 p += 6; /* Pass over the "static" or "extern". */
1642 /* We are now past the initial stuff. Search forward from here to find
1643 the terminating semicolon that should immediately follow the entire
1644 ANSI format function declaration. */
1651 /* Make a copy of the ansi declaration part of the line from the aux_info
1654 def_dec_p->ansi_decl
1655 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1658 /* Backup and point at the final right paren of the final argument list. */
1662 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1663 there will only be one list to isolate, but there could be more. */
1665 def_dec_p->f_list_count = 0;
1668 def_dec_p->f_list_chain = NULL;
1669 #endif /* !defined (UNPROTOIZE) */
1673 const char *left_paren_p = find_corresponding_lparen (p);
1676 f_list_chain_item *cip =
1677 (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1680 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1682 /* Add the new chain item at the head of the current list. */
1684 cip->chain_next = def_dec_p->f_list_chain;
1685 def_dec_p->f_list_chain = cip;
1687 #endif /* !defined (UNPROTOIZE) */
1688 def_dec_p->f_list_count++;
1690 p = left_paren_p - 2;
1692 /* p must now point either to another right paren, or to the last
1693 character of the name of the function that was declared/defined.
1694 If p points to another right paren, then this indicates that we
1695 are dealing with multiple formals lists. In that case, there
1696 really should be another right paren preceding this right paren. */
1701 check_aux_info (*--p == ')');
1706 const char *past_fn = p + 1;
1708 check_aux_info (*past_fn == ' ');
1710 /* Scan leftwards over the identifier that names the function. */
1712 while (is_id_char (*p))
1716 /* p now points to the leftmost character of the function name. */
1719 char *fn_string = (char *) alloca (past_fn - p + 1);
1721 strncpy (fn_string, p, (size_t) (past_fn - p));
1722 fn_string[past_fn-p] = '\0';
1723 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1727 /* Look at all of the defs and decs for this function name that we have
1728 collected so far. If there is already one which is at the same
1729 line number in the same file, then we can discard this new def_dec_info
1732 As an extra assurance that any such pair of (nominally) identical
1733 function declarations are in fact identical, we also compare the
1734 ansi_decl parts of the lines from the aux_info files just to be on
1737 This comparison will fail if (for instance) the user was playing
1738 messy games with the preprocessor which ultimately causes one
1739 function declaration in one header file to look differently when
1740 that file is included by two (or more) other files. */
1743 const def_dec_info *other;
1745 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1747 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1749 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1751 fprintf (stderr, "%s:%d: declaration of function `%s' takes different forms\n",
1752 def_dec_p->file->hash_entry->symbol,
1754 def_dec_p->hash_entry->symbol);
1757 free_def_dec (def_dec_p);
1765 /* If we are doing unprotoizing, we must now setup the pointers that will
1766 point to the K&R name list and to the K&R argument declarations list.
1768 Note that if this is only a function declaration, then we should not
1769 expect to find any K&R style formals list following the ANSI-style
1770 formals list. This is because GCC knows that such information is
1771 useless in the case of function declarations (function definitions
1772 are a different story however).
1774 Since we are unprotoizing, we don't need any such lists anyway.
1775 All we plan to do is to delete all characters between ()'s in any
1778 def_dec_p->formal_names = NULL;
1779 def_dec_p->formal_decls = NULL;
1781 if (def_dec_p->is_func_def)
1784 check_aux_info (*++p == ' ');
1785 check_aux_info (*++p == '/');
1786 check_aux_info (*++p == '*');
1787 check_aux_info (*++p == ' ');
1788 check_aux_info (*++p == '(');
1791 const char *kr_names_start = ++p; /* Point just inside '('. */
1795 p--; /* point to closing right paren */
1797 /* Make a copy of the K&R parameter names list. */
1799 def_dec_p->formal_names
1800 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1803 check_aux_info (*++p == ' ');
1806 /* p now points to the first character of the K&R style declarations
1807 list (if there is one) or to the star-slash combination that ends
1808 the comment in which such lists get embedded. */
1810 /* Make a copy of the K&R formal decls list and set the def_dec record
1813 if (*p == '*') /* Are there no K&R declarations? */
1815 check_aux_info (*++p == '/');
1816 def_dec_p->formal_decls = "";
1820 const char *kr_decls_start = p;
1822 while (p[0] != '*' || p[1] != '/')
1826 check_aux_info (*p == ' ');
1828 def_dec_p->formal_decls
1829 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1832 /* Handle a special case. If we have a function definition marked as
1833 being in "old" style, and if it's formal names list is empty, then
1834 it may actually have the string "void" in its real formals list
1835 in the original source code. Just to make sure, we will get setup
1836 to convert such things anyway.
1838 This kludge only needs to be here because of an insurmountable
1839 problem with generating .X files. */
1841 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1842 def_dec_p->prototyped = 1;
1845 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1846 we can just ignore it. If that is true, throw away the itme now. */
1848 if (!def_dec_p->prototyped)
1850 free_def_dec (def_dec_p);
1854 #endif /* defined (UNPROTOIZE) */
1856 /* Add this record to the head of the list of records pertaining to this
1857 particular function name. */
1859 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1860 def_dec_p->hash_entry->ddip = def_dec_p;
1862 /* Add this new def_dec_info record to the sorted list of def_dec_info
1863 records for this file. Note that we don't have to worry about duplicates
1864 (caused by multiple inclusions of header files) here because we have
1865 already eliminated duplicates above. */
1867 if (!def_dec_p->file->defs_decs)
1869 def_dec_p->file->defs_decs = def_dec_p;
1870 def_dec_p->next_in_file = NULL;
1874 int line = def_dec_p->line;
1875 const def_dec_info *prev = NULL;
1876 const def_dec_info *curr = def_dec_p->file->defs_decs;
1877 const def_dec_info *next = curr->next_in_file;
1879 while (next && (line < curr->line))
1883 next = next->next_in_file;
1885 if (line >= curr->line)
1887 def_dec_p->next_in_file = curr;
1889 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
1891 def_dec_p->file->defs_decs = def_dec_p;
1893 else /* assert (next == NULL); */
1895 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
1896 /* assert (next == NULL); */
1897 def_dec_p->next_in_file = next;
1902 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1903 Also set input_file_name_index and aux_info_file_name_index
1904 to the indices of the slots where the file names should go. */
1906 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1907 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1910 munge_compile_params (params_list)
1911 const char *params_list;
1913 /* Build up the contents in a temporary vector
1914 that is so big that to has to be big enough. */
1915 const char **temp_params
1916 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
1917 int param_count = 0;
1920 temp_params[param_count++] = compiler_file_name;
1923 while (isspace (*params_list))
1927 param = params_list;
1928 while (*params_list && !isspace (*params_list))
1930 if (param[0] != '-')
1931 temp_params[param_count++]
1932 = dupnstr (param, (size_t) (params_list - param));
1941 break; /* Don't copy these. */
1943 while (isspace (*params_list))
1945 while (*params_list && !isspace (*params_list))
1949 temp_params[param_count++]
1950 = dupnstr (param, (size_t) (params_list - param));
1956 temp_params[param_count++] = "-aux-info";
1958 /* Leave room for the aux-info file name argument. */
1959 aux_info_file_name_index = param_count;
1960 temp_params[param_count++] = NULL;
1962 temp_params[param_count++] = "-S";
1963 temp_params[param_count++] = "-o";
1964 temp_params[param_count++] = "/dev/null";
1966 /* Leave room for the input file name argument. */
1967 input_file_name_index = param_count;
1968 temp_params[param_count++] = NULL;
1969 /* Terminate the list. */
1970 temp_params[param_count++] = NULL;
1972 /* Make a copy of the compile_params in heap space. */
1975 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
1976 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
1979 /* Do a recompilation for the express purpose of generating a new aux_info
1980 file to go with a specific base source file. */
1983 gen_aux_info_file (base_filename)
1984 const char *base_filename;
1988 if (!input_file_name_index)
1989 munge_compile_params ("");
1991 /* Store the full source file name in the argument vector. */
1992 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
1993 /* Add .X to source file name to get aux-info file name. */
1994 compile_params[aux_info_file_name_index]
1995 = savestring2 (compile_params[input_file_name_index],
1996 strlen (compile_params[input_file_name_index]),
2001 fprintf (stderr, "%s: compiling `%s'\n",
2002 pname, compile_params[input_file_name_index]);
2004 if (child_pid = fork ())
2006 if (child_pid == -1)
2008 fprintf (stderr, "%s: could not fork process: %s\n",
2009 pname, sys_errlist[errno]);
2014 /* Print out the command line that the other process is now executing. */
2020 fputs ("\t", stderr);
2021 for (arg = compile_params; *arg; arg++)
2023 fputs (*arg, stderr);
2024 fputc (' ', stderr);
2026 fputc ('\n', stderr);
2034 if (wait (&wait_status) == -1)
2036 fprintf (stderr, "%s: wait failed: %s\n",
2037 pname, sys_errlist[errno]);
2040 if ((wait_status & 0x7F) != 0)
2042 fprintf (stderr, "%s: subprocess got fatal signal %d",
2043 pname, (wait_status & 0x7F));
2046 if (((wait_status & 0xFF00) >> 8) != 0)
2048 fprintf (stderr, "%s: %s exited with status %d\n",
2049 pname, base_filename, ((wait_status & 0xFF00) >> 8));
2057 if (my_execvp (compile_params[0], (char *const *) compile_params))
2059 int e = errno, f = fileno (stderr);
2060 write (f, pname, strlen (pname));
2062 write (f, compile_params[0], strlen (compile_params[0]));
2064 write (f, sys_errlist[e], strlen (sys_errlist[e]));
2068 return 1; /* Never executed. */
2072 /* Read in all of the information contained in a single aux_info file.
2073 Save all of the important stuff for later. */
2076 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2077 const char *base_source_filename;
2081 size_t base_len = strlen (base_source_filename);
2082 char * aux_info_filename
2083 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2084 char *aux_info_base;
2085 char *aux_info_limit;
2086 char *aux_info_relocated_name;
2087 const char *aux_info_second_line;
2088 time_t aux_info_mtime;
2089 size_t aux_info_size;
2092 /* Construct the aux_info filename from the base source filename. */
2094 strcpy (aux_info_filename, base_source_filename);
2095 strcat (aux_info_filename, aux_info_suffix);
2097 /* Check that the aux_info file exists and is readable. If it does not
2098 exist, try to create it (once only). */
2100 /* If file doesn't exist, set must_create.
2101 Likewise if it exists and we can read it but it is obsolete.
2102 Otherwise, report an error. */
2105 /* Come here with must_create set to 1 if file is out of date. */
2108 if (my_access (aux_info_filename, R_OK) == -1)
2110 if (errno == ENOENT)
2114 fprintf (stderr, "%s: warning: missing SYSCALLS file `%s'\n",
2115 pname, aux_info_filename);
2122 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2123 pname, shortpath (NULL, aux_info_filename),
2124 sys_errlist[errno]);
2129 #if 0 /* There is code farther down to take care of this. */
2133 stat (aux_info_file_name, &s1);
2134 stat (base_source_file_name, &s2);
2135 if (s2.st_mtime > s1.st_mtime)
2140 /* If we need a .X file, create it, and verify we can read it. */
2143 if (!gen_aux_info_file (base_source_filename))
2148 if (my_access (aux_info_filename, R_OK) == -1)
2150 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2151 pname, shortpath (NULL, aux_info_filename),
2152 sys_errlist[errno]);
2159 struct stat stat_buf;
2161 /* Get some status information about this aux_info file. */
2163 if (my_stat (aux_info_filename, &stat_buf) == -1)
2165 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2166 pname, shortpath (NULL, aux_info_filename),
2167 sys_errlist[errno]);
2172 /* Check on whether or not this aux_info file is zero length. If it is,
2173 then just ignore it and return. */
2175 if ((aux_info_size = stat_buf.st_size) == 0)
2178 /* Get the date/time of last modification for this aux_info file and
2179 remember it. We will have to check that any source files that it
2180 contains information about are at least this old or older. */
2182 aux_info_mtime = stat_buf.st_mtime;
2186 /* Compare mod time with the .c file; update .X file if obsolete.
2187 The code later on can fail to check the .c file
2188 if it did not directly define any functions. */
2190 if (my_stat (base_source_filename, &stat_buf) == -1)
2192 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2193 pname, shortpath (NULL, base_source_filename),
2194 sys_errlist[errno]);
2198 if (stat_buf.st_mtime > aux_info_mtime)
2209 /* Open the aux_info file. */
2211 if ((aux_info_file = my_open (aux_info_filename, O_RDONLY, 0444 )) == -1)
2213 fprintf (stderr, "%s: can't open aux info file `%s' for reading: %s\n",
2214 pname, shortpath (NULL, aux_info_filename),
2215 sys_errlist[errno]);
2219 /* Allocate space to hold the aux_info file in memory. */
2221 aux_info_base = xmalloc (aux_info_size + 1);
2222 aux_info_limit = aux_info_base + aux_info_size;
2223 *aux_info_limit = '\0';
2225 /* Read the aux_info file into memory. */
2227 if (read (aux_info_file, aux_info_base, aux_info_size) != aux_info_size)
2229 fprintf (stderr, "%s: error reading aux info file `%s': %s\n",
2230 pname, shortpath (NULL, aux_info_filename),
2231 sys_errlist[errno]);
2232 free (aux_info_base);
2233 close (aux_info_file);
2237 /* Close the aux info file. */
2239 if (close (aux_info_file))
2241 fprintf (stderr, "%s: error closing aux info file `%s': %s\n",
2242 pname, shortpath (NULL, aux_info_filename),
2243 sys_errlist[errno]);
2244 free (aux_info_base);
2245 close (aux_info_file);
2250 /* Delete the aux_info file (unless requested not to). If the deletion
2251 fails for some reason, don't even worry about it. */
2253 if (must_create && !keep_it)
2254 if (my_unlink (aux_info_filename) == -1)
2255 fprintf (stderr, "%s: can't delete aux info file `%s': %s\n",
2256 pname, shortpath (NULL, aux_info_filename),
2257 sys_errlist[errno]);
2259 /* Save a pointer into the first line of the aux_info file which
2260 contains the filename of the directory from which the compiler
2261 was invoked when the associated source file was compiled.
2262 This information is used later to help create complete
2263 filenames out of the (potentially) relative filenames in
2264 the aux_info file. */
2267 char *p = aux_info_base;
2274 invocation_filename = p; /* Save a pointer to first byte of path. */
2279 while (*p++ != '\n')
2281 aux_info_second_line = p;
2282 aux_info_relocated_name = 0;
2283 if (invocation_filename[0] != '/')
2285 /* INVOCATION_FILENAME is relative;
2286 append it to BASE_SOURCE_FILENAME's dir. */
2288 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2289 strcpy (aux_info_relocated_name, base_source_filename);
2290 dir_end = rindex (aux_info_relocated_name, '/');
2294 dir_end = aux_info_relocated_name;
2295 strcpy (dir_end, invocation_filename);
2296 invocation_filename = aux_info_relocated_name;
2302 const char *aux_info_p;
2304 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2305 of the source files referenced in there are at least as old as this
2306 aux_info file itself. If not, go back and regenerate the aux_info
2307 file anew. Don't do any of this for the syscalls file. */
2311 current_aux_info_lineno = 2;
2313 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2315 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2317 free (aux_info_base);
2318 xfree (aux_info_relocated_name);
2319 if (keep_it && my_unlink (aux_info_filename) == -1)
2321 fprintf (stderr, "%s: can't delete file `%s': %s\n",
2322 pname, shortpath (NULL, aux_info_filename),
2323 sys_errlist[errno]);
2329 /* Skip over the rest of this line to start of next line. */
2331 while (*aux_info_p != '\n')
2334 current_aux_info_lineno++;
2338 /* Now do the real pass on the aux_info lines. Save their information in
2339 the in-core data base. */
2341 current_aux_info_lineno = 2;
2343 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2345 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2347 if (unexpanded_line)
2349 save_def_or_dec (unexpanded_line, is_syscalls);
2350 free (unexpanded_line);
2353 save_def_or_dec (aux_info_p, is_syscalls);
2355 /* Skip over the rest of this line and get to start of next line. */
2357 while (*aux_info_p != '\n')
2360 current_aux_info_lineno++;
2364 free (aux_info_base);
2365 xfree (aux_info_relocated_name);
2370 /* Check an individual filename for a .c suffix. If the filename has this
2371 suffix, rename the file such that its suffix is changed to .C. This
2372 function implements the -C option. */
2376 const hash_table_entry *hp;
2378 const char *filename = hp->symbol;
2379 int last_char_index = strlen (filename) - 1;
2380 char *const new_filename = (char *) alloca (strlen (filename) + 1);
2382 /* Note that we don't care here if the given file was converted or not. It
2383 is possible that the given file was *not* converted, simply because there
2384 was nothing in it which actually required conversion. Even in this case,
2385 we want to do the renaming. Note that we only rename files with the .c
2388 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.')
2391 strcpy (new_filename, filename);
2392 new_filename[last_char_index] = 'C';
2394 if (my_link (filename, new_filename) == -1)
2396 fprintf (stderr, "%s: warning: can't link file `%s' to `%s': %s\n",
2397 pname, shortpath (NULL, filename),
2398 shortpath (NULL, new_filename), sys_errlist[errno]);
2403 if (my_unlink (filename) == -1)
2405 fprintf (stderr, "%s: warning: can't delete file `%s': %s\n",
2406 pname, shortpath (NULL, filename), sys_errlist[errno]);
2412 #endif /* !defined (UNPROTOIZE) */
2414 /* Take the list of definitions and declarations attached to a particular
2415 file_info node and reverse the order of the list. This should get the
2416 list into an order such that the item with the lowest associated line
2417 number is nearest the head of the list. When these lists are originally
2418 built, they are in the opposite order. We want to traverse them in
2419 normal line number order later (i.e. lowest to highest) so reverse the
2423 reverse_def_dec_list (hp)
2424 const hash_table_entry *hp;
2426 file_info *file_p = hp->fip;
2427 const def_dec_info *prev = NULL;
2428 const def_dec_info *current = file_p->defs_decs;
2430 if (!( current = file_p->defs_decs))
2431 return; /* no list to reverse */
2434 if (! (current = current->next_in_file))
2435 return; /* can't reverse a single list element */
2437 ((NONCONST def_dec_info *) prev)->next_in_file = NULL;
2441 const def_dec_info *next = current->next_in_file;
2443 ((NONCONST def_dec_info *) current)->next_in_file = prev;
2448 file_p->defs_decs = prev;
2453 /* Find the (only?) extern definition for a particular function name, starting
2454 from the head of the linked list of entries for the given name. If we
2455 cannot find an extern definition for the given function name, issue a
2456 warning and scrounge around for the next best thing, i.e. an extern
2457 function declaration with a prototype attached to it. Note that we only
2458 allow such substitutions for extern declarations and never for static
2459 declarations. That's because the only reason we allow them at all is
2460 to let un-prototyped function declarations for system-supplied library
2461 functions get their prototypes from our own extra SYSCALLS.c.X file which
2462 contains all of the correct prototypes for system functions. */
2464 static const def_dec_info *
2465 find_extern_def (head, user)
2466 const def_dec_info *head;
2467 const def_dec_info *user;
2469 const def_dec_info *dd_p;
2470 const def_dec_info *extern_def_p = NULL;
2471 int conflict_noted = 0;
2473 /* Don't act too stupid here. Somebody may try to convert an entire system
2474 in one swell fwoop (rather than one program at a time, as should be done)
2475 and in that case, we may find that there are multiple extern definitions
2476 of a given function name in the entire set of source files that we are
2477 converting. If however one of these definitions resides in exactly the
2478 same source file as the reference we are trying to satisfy then in that
2479 case it would be stupid for us to fail to realize that this one definition
2480 *must* be the precise one we are looking for.
2482 To make sure that we don't miss an opportunity to make this "same file"
2483 leap of faith, we do a prescan of the list of records relating to the
2484 given function name, and we look (on this first scan) *only* for a
2485 definition of the function which is in the same file as the reference
2486 we are currently trying to satisfy. */
2488 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2489 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2492 /* Now, since we have not found a definition in the same file as the
2493 reference, we scan the list again and consider all possibilities from
2494 all files. Here we may get conflicts with the things listed in the
2495 SYSCALLS.c.X file, but if that happens it only means that the source
2496 code being converted contains its own definition of a function which
2497 could have been supplied by libc.a. In such cases, we should avoid
2498 issuing the normal warning, and defer to the definition given in the
2501 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2502 if (dd_p->is_func_def && !dd_p->is_static)
2504 if (!extern_def_p) /* Previous definition? */
2505 extern_def_p = dd_p; /* Remember the first definition found. */
2508 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2510 if (is_syscalls_file (dd_p->file))
2513 /* Quietly replace the definition previously found with the one
2514 just found if the previous one was from SYSCALLS.c.X. */
2516 if (is_syscalls_file (extern_def_p->file))
2518 extern_def_p = dd_p;
2522 /* If we get here, then there is a conflict between two function
2523 declarations for the same function, both of which came from the
2526 if (!conflict_noted) /* first time we noticed? */
2529 fprintf (stderr, "%s: conflicting extern definitions of '%s'\n",
2530 pname, head->hash_entry->symbol);
2533 fprintf (stderr, "%s: declarations of '%s' will not be converted\n",
2534 pname, head->hash_entry->symbol);
2535 fprintf (stderr, "%s: conflict list for '%s' follows:\n",
2536 pname, head->hash_entry->symbol);
2537 fprintf (stderr, "%s: %s(%d): %s\n",
2539 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2540 extern_def_p->line, extern_def_p->ansi_decl);
2544 fprintf (stderr, "%s: %s(%d): %s\n",
2546 shortpath (NULL, dd_p->file->hash_entry->symbol),
2547 dd_p->line, dd_p->ansi_decl);
2551 /* We want to err on the side of caution, so if we found multiple conflicting
2552 definitions for the same function, treat this as being that same as if we
2553 had found no definitions (i.e. return NULL). */
2560 /* We have no definitions for this function so do the next best thing.
2561 Search for an extern declaration already in prototype form. */
2563 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2564 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2566 extern_def_p = dd_p; /* save a pointer to the definition */
2568 fprintf (stderr, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2570 shortpath (NULL, dd_p->file->hash_entry->symbol),
2571 dd_p->line, dd_p->hash_entry->symbol);
2575 /* Gripe about unprototyped function declarations that we found no
2576 corresponding definition (or other source of prototype information)
2579 Gripe even if the unprototyped declaration we are worried about
2580 exists in a file in one of the "system" include directories. We
2581 can gripe about these because we should have at least found a
2582 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2583 didn't, then that means that the SYSCALLS.c.X file is missing some
2584 needed prototypes for this particular system. That is worth telling
2589 const char *file = user->file->hash_entry->symbol;
2592 if (in_system_include_dir (file))
2594 /* Why copy this string into `needed' at all?
2595 Why not just use user->ansi_decl without copying? */
2596 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2599 strcpy (needed, user->ansi_decl);
2600 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2601 + strlen (user->hash_entry->symbol) + 2;
2602 /* Avoid having ??? in the string. */
2608 fprintf (stderr, "%s: %d: `%s' used but missing from SYSCALLS\n",
2609 shortpath (NULL, file), user->line,
2610 needed+7); /* Don't print "extern " */
2614 fprintf (stderr, "%s: %d: warning: no extern definition for `%s'\n",
2615 shortpath (NULL, file), user->line,
2616 user->hash_entry->symbol);
2620 return extern_def_p;
2623 /* Find the (only?) static definition for a particular function name in a
2624 given file. Here we get the function-name and the file info indirectly
2625 from the def_dec_info record pointer which is passed in. */
2627 static const def_dec_info *
2628 find_static_definition (user)
2629 const def_dec_info *user;
2631 const def_dec_info *head = user->hash_entry->ddip;
2632 const def_dec_info *dd_p;
2633 int num_static_defs = 0;
2634 const def_dec_info *static_def_p = NULL;
2636 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2637 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2639 static_def_p = dd_p; /* save a pointer to the definition */
2642 if (num_static_defs == 0)
2645 fprintf (stderr, "%s: warning: no static definition for `%s' in file `%s'\n",
2646 pname, head->hash_entry->symbol,
2647 shortpath (NULL, user->file->hash_entry->symbol));
2649 else if (num_static_defs > 1)
2651 fprintf (stderr, "%s: multiple static defs of `%s' in file `%s'\n",
2652 pname, head->hash_entry->symbol,
2653 shortpath (NULL, user->file->hash_entry->symbol));
2656 return static_def_p;
2659 /* Find good prototype style formal argument lists for all of the function
2660 declarations which didn't have them before now.
2662 To do this we consider each function name one at a time. For each function
2663 name, we look at the items on the linked list of def_dec_info records for
2664 that particular name.
2666 Somewhere on this list we should find one (and only one) def_dec_info
2667 record which represents the actual function definition, and this record
2668 should have a nice formal argument list already associated with it.
2670 Thus, all we have to do is to connect up all of the other def_dec_info
2671 records for this particular function name to the special one which has
2672 the full-blown formals list.
2674 Of course it is a little more complicated than just that. See below for
2678 connect_defs_and_decs (hp)
2679 const hash_table_entry *hp;
2681 const def_dec_info *dd_p;
2682 const def_dec_info *extern_def_p = NULL;
2683 int first_extern_reference = 1;
2685 /* Traverse the list of definitions and declarations for this particular
2686 function name. For each item on the list, if it is a function
2687 definition (either old style or new style) then GCC has already been
2688 kind enough to produce a prototype for us, and it is associated with
2689 the item already, so declare the item as its own associated "definition".
2691 Also, for each item which is only a function declaration, but which
2692 nonetheless has its own prototype already (obviously supplied by the user)
2693 declare the item as it's own definition.
2695 Note that when/if there are multiple user-supplied prototypes already
2696 present for multiple declarations of any given function, these multiple
2697 prototypes *should* all match exactly with one another and with the
2698 prototype for the actual function definition. We don't check for this
2699 here however, since we assume that the compiler must have already done
2700 this consistency checking when it was creating the .X files. */
2702 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2703 if (dd_p->prototyped)
2704 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2706 /* Traverse the list of definitions and declarations for this particular
2707 function name. For each item on the list, if it is an extern function
2708 declaration and if it has no associated definition yet, go try to find
2709 the matching extern definition for the declaration.
2711 When looking for the matching function definition, warn the user if we
2714 If we find more that one function definition also issue a warning.
2716 Do the search for the matching definition only once per unique function
2717 name (and only when absolutely needed) so that we can avoid putting out
2718 redundant warning messages, and so that we will only put out warning
2719 messages when there is actually a reference (i.e. a declaration) for
2720 which we need to find a matching definition. */
2722 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2723 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2725 if (first_extern_reference)
2727 extern_def_p = find_extern_def (hp->ddip, dd_p);
2728 first_extern_reference = 0;
2730 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2733 /* Traverse the list of definitions and declarations for this particular
2734 function name. For each item on the list, if it is a static function
2735 declaration and if it has no associated definition yet, go try to find
2736 the matching static definition for the declaration within the same file.
2738 When looking for the matching function definition, warn the user if we
2739 fail to find one in the same file with the declaration, and refuse to
2740 convert this kind of cross-file static function declaration. After all,
2741 this is stupid practice and should be discouraged.
2743 We don't have to worry about the possibility that there is more than one
2744 matching function definition in the given file because that would have
2745 been flagged as an error by the compiler.
2747 Do the search for the matching definition only once per unique
2748 function-name/source-file pair (and only when absolutely needed) so that
2749 we can avoid putting out redundant warning messages, and so that we will
2750 only put out warning messages when there is actually a reference (i.e. a
2751 declaration) for which we actually need to find a matching definition. */
2753 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2754 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2756 const def_dec_info *dd_p2;
2757 const def_dec_info *static_def;
2759 /* We have now found a single static declaration for which we need to
2760 find a matching definition. We want to minimize the work (and the
2761 number of warnings), so we will find an appropriate (matching)
2762 static definition for this declaration, and then distribute it
2763 (as the definition for) any and all other static declarations
2764 for this function name which occur within the same file, and which
2765 do not already have definitions.
2767 Note that a trick is used here to prevent subsequent attempts to
2768 call find_static_definition for a given function-name & file
2769 if the first such call returns NULL. Essentially, we convert
2770 these NULL return values to -1, and put the -1 into the definition
2771 field for each other static declaration from the same file which
2772 does not already have an associated definition.
2773 This makes these other static declarations look like they are
2774 actually defined already when the outer loop here revisits them
2775 later on. Thus, the outer loop will skip over them. Later, we
2776 turn the -1's back to NULL's. */
2778 ((NONCONST def_dec_info *) dd_p)->definition =
2779 (static_def = find_static_definition (dd_p))
2781 : (const def_dec_info *) -1;
2783 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2784 if (!dd_p2->is_func_def && dd_p2->is_static
2785 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2786 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2789 /* Convert any dummy (-1) definitions we created in the step above back to
2790 NULL's (as they should be). */
2792 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2793 if (dd_p->definition == (def_dec_info *) -1)
2794 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2797 #endif /* !defined (UNPROTOIZE) */
2799 /* Give a pointer into the clean text buffer, return a number which is the
2800 original source line number that the given pointer points into. */
2803 identify_lineno (clean_p)
2804 const char *clean_p;
2809 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2810 if (*scan_p == '\n')
2815 /* Issue an error message and give up on doing this particular edit. */
2818 declare_source_confusing (clean_p)
2819 const char *clean_p;
2824 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2825 shortpath (NULL, convert_filename), last_known_line_number);
2827 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2828 shortpath (NULL, convert_filename),
2829 identify_lineno (clean_p));
2831 longjmp (source_confusion_recovery, 1);
2834 /* Check that a condition which is expected to be true in the original source
2835 code is in fact true. If not, issue an error message and give up on
2836 converting this particular source file. */
2839 check_source (cond, clean_p)
2841 const char *clean_p;
2844 declare_source_confusing (clean_p);
2847 /* If we think of the in-core cleaned text buffer as a memory mapped
2848 file (with the variable last_known_line_start acting as sort of a
2849 file pointer) then we can imagine doing "seeks" on the buffer. The
2850 following routine implements a kind of "seek" operation for the in-core
2851 (cleaned) copy of the source file. When finished, it returns a pointer to
2852 the start of a given (numbered) line in the cleaned text buffer.
2854 Note that protoize only has to "seek" in the forward direction on the
2855 in-core cleaned text file buffers, and it never needs to back up.
2857 This routine is made a little bit faster by remembering the line number
2858 (and pointer value) supplied (and returned) from the previous "seek".
2859 This prevents us from always having to start all over back at the top
2860 of the in-core cleaned buffer again. */
2866 if (n < last_known_line_number)
2869 while (n > last_known_line_number)
2871 while (*last_known_line_start != '\n')
2872 check_source (++last_known_line_start < clean_text_limit, 0);
2873 last_known_line_start++;
2874 last_known_line_number++;
2876 return last_known_line_start;
2879 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2880 to the next non-whitepace character which follows it. */
2883 forward_to_next_token_char (ptr)
2886 for (++ptr; isspace (*ptr); check_source (++ptr < clean_text_limit, 0))
2891 /* Copy a chunk of text of length `len' and starting at `str' to the current
2892 output buffer. Note that all attempts to add stuff to the current output
2893 buffer ultimately go through here. */
2896 output_bytes (str, len)
2900 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2902 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2903 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2905 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2906 repl_text_base = new_buf;
2907 repl_text_limit = new_buf + new_size;
2909 memcpy (repl_write_ptr + 1, str, len);
2910 repl_write_ptr += len;
2913 /* Copy all bytes (except the trailing null) of a null terminated string to
2914 the current output buffer. */
2920 output_bytes (str, strlen (str));
2923 /* Copy some characters from the original text buffer to the current output
2926 This routine takes a pointer argument `p' which is assumed to be a pointer
2927 into the cleaned text buffer. The bytes which are copied are the `original'
2928 equivalents for the set of bytes between the last value of `clean_read_ptr'
2929 and the argument value `p'.
2931 The set of bytes copied however, comes *not* from the cleaned text buffer,
2932 but rather from the direct counterparts of these bytes within the original
2935 Thus, when this function is called, some bytes from the original text
2936 buffer (which may include original comments and preprocessing directives)
2937 will be copied into the output buffer.
2939 Note that the request implide when this routine is called includes the
2940 byte pointed to by the argument pointer `p'. */
2946 size_t copy_length = (size_t) (p - clean_read_ptr);
2947 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
2949 if (copy_length == 0)
2952 output_bytes (copy_start, copy_length);
2956 /* Given a pointer to a def_dec_info record which represents some form of
2957 definition of a function (perhaps a real definition, or in lieu of that
2958 perhaps just a declaration with a full prototype) return true if this
2959 function is one which we should avoid converting. Return false
2963 other_variable_style_function (ansi_header)
2964 const char *ansi_header;
2968 /* See if we have a stdarg function, or a function which has stdarg style
2969 parameters or a stdarg style return type. */
2971 return substr (ansi_header, "...") != 0;
2973 #else /* !defined (UNPROTOIZE) */
2975 /* See if we have a varargs function, or a function which has varargs style
2976 parameters or a varargs style return type. */
2979 int len = strlen (varargs_style_indicator);
2981 for (p = ansi_header; p; )
2983 const char *candidate;
2985 if ((candidate = substr (p, varargs_style_indicator)) == 0)
2988 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
2994 #endif /* !defined (UNPROTOIZE) */
2997 /* Do the editing operation specifically for a function "declaration". Note
2998 that editing for function "definitions" are handled in a separate routine
3002 edit_fn_declaration (def_dec_p, clean_text_p)
3003 const def_dec_info *def_dec_p;
3004 const char *volatile clean_text_p;
3006 const char *start_formals;
3007 const char *end_formals;
3008 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3009 size_t func_name_len = strlen (function_to_edit);
3010 const char *end_of_fn_name;
3014 const f_list_chain_item *this_f_list_chain_item;
3015 const def_dec_info *definition = def_dec_p->definition;
3017 /* If we are protoizing, and if we found no corresponding definition for
3018 this particular function declaration, then just leave this declaration
3019 exactly as it is. */
3024 /* If we are protoizing, and if the corresponding definition that we found
3025 for this particular function declaration defined an old style varargs
3026 function, then we want to issue a warning and just leave this function
3027 declaration unconverted. */
3029 if (other_variable_style_function (definition->ansi_decl))
3032 fprintf (stderr, "%s: %d: warning: varargs function declaration not converted\n",
3033 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3038 #endif /* !defined (UNPROTOIZE) */
3040 /* Setup here to recover from confusing source code detected during this
3041 particular "edit". */
3044 if (setjmp (source_confusion_recovery))
3046 restore_pointers ();
3047 fprintf (stderr, "%s: declaration of function `%s' not converted\n",
3048 pname, function_to_edit);
3052 /* We are editing a function declaration. The line number we did a seek to
3053 contains the comma or semicolon which follows the declaration. Our job
3054 now is to scan backwards looking for the function name. This name *must*
3055 be followed by open paren (ignoring whitespace, of course). We need to
3056 replace everything between that open paren and the corresponding closing
3057 paren. If we are protoizing, we need to insert the prototype-style
3058 formals lists. If we are unprotoizing, we need to just delete everything
3059 between the pairs of opening and closing parens. */
3061 /* First move up to the end of the line. */
3063 while (*clean_text_p != '\n')
3064 check_source (++clean_text_p < clean_text_limit, 0);
3065 clean_text_p--; /* Point to just before the newline character. */
3067 /* Now we can scan backwards for the function name. */
3073 /* Scan leftwards until we find some character which can be
3074 part of an identifier. */
3076 while (!is_id_char (*clean_text_p))
3077 check_source (--clean_text_p > clean_read_ptr, 0);
3079 /* Scan backwards until we find a char that cannot be part of an
3082 while (is_id_char (*clean_text_p))
3083 check_source (--clean_text_p > clean_read_ptr, 0);
3085 /* Having found an "id break", see if the following id is the one
3086 that we are looking for. If so, then exit from this loop. */
3088 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3090 char ch = *(clean_text_p + 1 + func_name_len);
3092 /* Must also check to see that the name in the source text
3093 ends where it should (in order to prevent bogus matches
3094 on similar but longer identifiers. */
3096 if (! is_id_char (ch))
3097 break; /* exit from loop */
3101 /* We have now found the first perfect match for the function name in
3102 our backward search. This may or may not be the actual function
3103 name at the start of the actual function declaration (i.e. we could
3104 have easily been mislead). We will try to avoid getting fooled too
3105 often by looking forward for the open paren which should follow the
3106 identifier we just found. We ignore whitespace while hunting. If
3107 the next non-whitespace byte we see is *not* an open left paren,
3108 then we must assume that we have been fooled and we start over
3109 again accordingly. Note that there is no guarantee, that even if
3110 we do see the open paren, that we are in the right place.
3111 Programmers do the strangest things sometimes! */
3113 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3114 start_formals = forward_to_next_token_char (end_of_fn_name);
3116 while (*start_formals != '(');
3118 /* start_of_formals now points to the opening left paren which immediately
3119 follows the name of the function. */
3121 /* Note that there may be several formals lists which need to be modified
3122 due to the possibility that the return type of this function is a
3123 pointer-to-function type. If there are several formals lists, we
3124 convert them in left-to-right order here. */
3127 this_f_list_chain_item = definition->f_list_chain;
3128 #endif /* !defined (UNPROTOIZE) */
3135 end_formals = start_formals + 1;
3137 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3139 switch (*end_formals)
3152 /* end_formals now points to the closing right paren of the formals
3153 list whose left paren is pointed to by start_formals. */
3155 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3156 attached to the associated definition of this function. If however
3157 we are unprotoizing, then we simply delete any formals list which
3160 output_up_to (start_formals);
3162 if (this_f_list_chain_item)
3164 output_string (this_f_list_chain_item->formals_list);
3165 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3170 fprintf (stderr, "%s: warning: too many parameter lists in declaration of `%s'\n",
3171 pname, def_dec_p->hash_entry->symbol);
3172 check_source (0, end_formals); /* leave the declaration intact */
3174 #endif /* !defined (UNPROTOIZE) */
3175 clean_read_ptr = end_formals - 1;
3177 /* Now see if it looks like there may be another formals list associated
3178 with the function declaration that we are converting (following the
3179 formals list that we just converted. */
3182 const char *another_r_paren = forward_to_next_token_char (end_formals);
3184 if ((*another_r_paren != ')')
3185 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3188 if (this_f_list_chain_item)
3191 fprintf (stderr, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3192 pname, def_dec_p->hash_entry->symbol);
3193 check_source (0, start_formals); /* leave the decl intact */
3195 #endif /* !defined (UNPROTOIZE) */
3201 /* There does appear to be yet another formals list, so loop around
3202 again, and convert it also. */
3206 /* Edit a whole group of formals lists, starting with the rightmost one
3207 from some set of formals lists. This routine is called once (from the
3208 outside) for each function declaration which is converted. It is
3209 recursive however, and it calls itself once for each remaining formal
3210 list that lies to the left of the one it was originally called to work
3211 on. Thus, a whole set gets done in right-to-left order.
3213 This routine returns non-zero if it thinks that it should not be trying
3214 to convert this particular function definition (because the name of the
3215 function doesn't match the one expected). */
3218 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3219 const char *end_formals;
3220 unsigned int f_list_count;
3221 const def_dec_info *def_dec_p;
3223 const char *start_formals;
3226 start_formals = end_formals - 1;
3228 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3230 switch (*start_formals)
3242 /* start_formals now points to the opening left paren of the formals list. */
3248 const char *next_end;
3250 /* There should be more formal lists to the left of here. */
3252 next_end = start_formals - 1;
3253 check_source (next_end > clean_read_ptr, 0);
3254 while (isspace (*next_end))
3255 check_source (--next_end > clean_read_ptr, 0);
3256 check_source (*next_end == ')', next_end);
3257 check_source (--next_end > clean_read_ptr, 0);
3258 check_source (*next_end == ')', next_end);
3259 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3263 /* Check that the function name in the header we are working on is the same
3264 as the one we would expect to find. If not, issue a warning and return
3267 if (f_list_count == 0)
3269 const char *expected = def_dec_p->hash_entry->symbol;
3270 const char *func_name_start;
3271 const char *func_name_limit;
3272 size_t func_name_len;
3274 for (func_name_limit = start_formals-1; isspace (*func_name_limit); )
3275 check_source (--func_name_limit > clean_read_ptr, 0);
3277 for (func_name_start = func_name_limit++;
3278 is_id_char (*func_name_start);
3280 check_source (func_name_start > clean_read_ptr, 0);
3282 func_name_len = func_name_limit - func_name_start;
3283 if (func_name_len == 0)
3284 check_source (0, func_name_start);
3285 if (func_name_len != strlen (expected)
3286 || strncmp (func_name_start, expected, func_name_len))
3288 fprintf (stderr, "%s: %d: warning: found `%s' but expected `%s'\n",
3289 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3290 identify_lineno (func_name_start),
3291 dupnstr (func_name_start, func_name_len),
3297 output_up_to (start_formals);
3300 if (f_list_count == 0)
3301 output_string (def_dec_p->formal_names);
3302 #else /* !defined (UNPROTOIZE) */
3304 unsigned f_list_depth;
3305 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3307 /* At this point, the current value of f_list count says how many
3308 links we have to follow through the f_list_chain to get to the
3309 particular formals list that we need to output next. */
3311 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3312 flci_p = flci_p->chain_next;
3313 output_string (flci_p->formals_list);
3315 #endif /* !defined (UNPROTOIZE) */
3317 clean_read_ptr = end_formals - 1;
3321 /* Given a pointer to a byte in the clean text buffer which points to the
3322 beginning of a line that contains a "follower" token for a function
3323 definition header, do whatever is necessary to find the right closing
3324 paren for the rightmost formals list of the function definition header.
3328 find_rightmost_formals_list (clean_text_p)
3329 const char *clean_text_p;
3331 const char *end_formals;
3333 /* We are editing a function definition. The line number we did a seek
3334 to contains the first token which immediately follows the entire set of
3335 formals lists which are part of this particular function definition
3338 Our job now is to scan leftwards in the clean text looking for the
3339 right-paren which is at the end of the function header's rightmost
3342 If we ignore whitespace, this right paren should be the first one we
3343 see which is (ignoring whitespace) immediately followed either by the
3344 open curly-brace beginning the function body or by an alphabetic
3345 character (in the case where the function definition is in old (K&R)
3346 style and there are some declarations of formal parameters). */
3348 /* It is possible that the right paren we are looking for is on the
3349 current line (together with its following token). Just in case that
3350 might be true, we start out here by skipping down to the right end of
3351 the current line before starting our scan. */
3353 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3359 /* Now scan backwards while looking for the right end of the rightmost
3360 formals list associated with this function definition. */
3364 const char *l_brace_p;
3366 /* Look leftward and try to find a right-paren. */
3368 while (*end_formals != ')')
3370 if (isspace (*end_formals))
3371 while (isspace (*end_formals))
3372 check_source (--end_formals > clean_read_ptr, 0);
3374 check_source (--end_formals > clean_read_ptr, 0);
3377 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3378 /* Since we are unprotoizing an ANSI-style (prototyped) function
3379 definition, there had better not be anything (except whitespace)
3380 between the end of the ANSI formals list and the beginning of the
3381 function body (i.e. the '{'). */
3383 check_source (ch == '{', l_brace_p);
3386 #else /* !defined (UNPROTOIZE) */
3388 /* Now scan backwards while looking for the right end of the rightmost
3389 formals list associated with this function definition. */
3394 const char *l_brace_p;
3396 /* Look leftward and try to find a right-paren. */
3398 while (*end_formals != ')')
3400 if (isspace (*end_formals))
3401 while (isspace (*end_formals))
3402 check_source (--end_formals > clean_read_ptr, 0);
3404 check_source (--end_formals > clean_read_ptr, 0);
3407 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3409 /* Since it is possible that we found a right paren before the starting
3410 '{' of the body which IS NOT the one at the end of the real K&R
3411 formals list (say for instance, we found one embedded inside one of
3412 the old K&R formal parameter declarations) we have to check to be
3413 sure that this is in fact the right paren that we were looking for.
3415 The one we were looking for *must* be followed by either a '{' or
3416 by an alphabetic character, while others *cannot* legally be followed
3417 by such characters. */
3419 if ((ch == '{') || isalpha (ch))
3422 /* At this point, we have found a right paren, but we know that it is
3423 not the one we were looking for, so backup one character and keep
3426 check_source (--end_formals > clean_read_ptr, 0);
3429 #endif /* !defined (UNPROTOIZE) */
3436 /* Insert into the output file a totally new declaration for a function
3437 which (up until now) was being called from within the current block
3438 without having been declared at any point such that the declaration
3439 was visible (i.e. in scope) at the point of the call.
3441 We need to add in explicit declarations for all such function calls
3442 in order to get the full benefit of prototype-based function call
3443 parameter type checking. */
3446 add_local_decl (def_dec_p, clean_text_p)
3447 const def_dec_info *def_dec_p;
3448 const char *clean_text_p;
3450 const char *start_of_block;
3451 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3453 /* Don't insert new local explicit declarations unless explicitly requested
3459 /* Setup here to recover from confusing source code detected during this
3460 particular "edit". */
3463 if (setjmp (source_confusion_recovery))
3465 restore_pointers ();
3466 fprintf (stderr, "%s: local declaration for function `%s' not inserted\n",
3467 pname, function_to_edit);
3471 /* We have already done a seek to the start of the line which should
3472 contain *the* open curly brace which begins the block in which we need
3473 to insert an explicit function declaration (to replace the implicit one).
3475 Now we scan that line, starting from the left, until we find the
3476 open curly brace we are looking for. Note that there may actually be
3477 multiple open curly braces on the given line, but we will be happy
3478 with the leftmost one no matter what. */
3480 start_of_block = clean_text_p;
3481 while (*start_of_block != '{' && *start_of_block != '\n')
3482 check_source (++start_of_block < clean_text_limit, 0);
3484 /* Note that the line from the original source could possibly
3485 contain *no* open curly braces! This happens if the line contains
3486 a macro call which expands into a chunk of text which includes a
3487 block (and that block's associated open and close curly braces).
3488 In cases like this, we give up, issue a warning, and do nothing. */
3490 if (*start_of_block != '{')
3494 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3495 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3496 def_dec_p->hash_entry->symbol);
3500 /* Figure out what a nice (pretty) indentation would be for the new
3501 declaration we are adding. In order to do this, we must scan forward
3502 from the '{' until we find the first line which starts with some
3503 non-whitespace characters (i.e. real "token" material). */
3506 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3509 /* Now we have ep pointing at the rightmost byte of some existing indent
3510 stuff. At least that is the hope.
3512 We can now just scan backwards and find the left end of the existing
3513 indentation string, and then copy it to the output buffer. */
3515 for (sp = ep; isspace (*sp) && *sp != '\n'; sp--)
3518 /* Now write out the open { which began this block, and any following
3519 trash up to and including the last byte of the existing indent that
3524 /* Now we go ahead and insert the new declaration at this point.
3526 If the definition of the given function is in the same file that we
3527 are currently editing, and if its full ANSI declaration normally
3528 would start with the keyword `extern', suppress the `extern'. */
3531 const char *decl = def_dec_p->definition->ansi_decl;
3533 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3535 output_string (decl);
3538 /* Finally, write out a new indent string, just like the preceding one
3539 that we found. This will typically include a newline as the first
3540 character of the indent string. */
3542 output_bytes (sp, (size_t) (ep - sp) + 1);
3546 /* Given a pointer to a file_info record, and a pointer to the beginning
3547 of a line (in the clean text buffer) which is assumed to contain the
3548 first "follower" token for the first function definition header in the
3549 given file, find a good place to insert some new global function
3550 declarations (which will replace scattered and imprecise implicit ones)
3551 and then insert the new explicit declaration at that point in the file. */
3554 add_global_decls (file_p, clean_text_p)
3555 const file_info *file_p;
3556 const char *clean_text_p;
3558 const def_dec_info *dd_p;
3561 /* Setup here to recover from confusing source code detected during this
3562 particular "edit". */
3565 if (setjmp (source_confusion_recovery))
3567 restore_pointers ();
3568 fprintf (stderr, "%s: global declarations for file `%s' not inserted\n",
3569 pname, shortpath (NULL, file_p->hash_entry->symbol));
3573 /* Start by finding a good location for adding the new explicit function
3574 declarations. To do this, we scan backwards, ignoring whitespace
3575 and comments and other junk until we find either a semicolon, or until
3576 we hit the beginning of the file. */
3578 scan_p = find_rightmost_formals_list (clean_text_p);
3581 if (scan_p < clean_text_base)
3583 check_source (scan_p > clean_read_ptr, 0);
3588 /* scan_p now points either to a semicolon, or to just before the start
3589 of the whole file. */
3591 /* Now scan forward for the first non-whitespace character. In theory,
3592 this should be the first character of the following function definition
3593 header. We will put in the added declarations just prior to that. */
3596 while (isspace (*scan_p))
3600 output_up_to (scan_p);
3602 /* Now write out full prototypes for all of the things that had been
3603 implicitly declared in this file (but only those for which we were
3604 actually able to find unique matching definitions). Avoid duplicates
3605 by marking things that we write out as we go. */
3608 int some_decls_added = 0;
3610 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3611 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3613 const char *decl = dd_p->definition->ansi_decl;
3615 /* If the function for which we are inserting a declaration is
3616 actually defined later in the same file, then suppress the
3617 leading `extern' keyword (if there is one). */
3619 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3622 output_string ("\n");
3623 output_string (decl);
3624 some_decls_added = 1;
3625 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3627 if (some_decls_added)
3628 output_string ("\n\n");
3631 /* Unmark all of the definitions that we just marked. */
3633 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3634 if (dd_p->definition)
3635 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3638 #endif /* !defined (UNPROTOIZE) */
3640 /* Do the editing operation specifically for a function "definition". Note
3641 that editing operations for function "declarations" are handled by a
3642 separate routine above. */
3645 edit_fn_definition (def_dec_p, clean_text_p)
3646 const def_dec_info *def_dec_p;
3647 const char *clean_text_p;
3649 const char *end_formals;
3650 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3652 /* Setup here to recover from confusing source code detected during this
3653 particular "edit". */
3656 if (setjmp (source_confusion_recovery))
3658 restore_pointers ();
3659 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3660 pname, function_to_edit);
3664 end_formals = find_rightmost_formals_list (clean_text_p);
3666 /* end_of_formals now points to the closing right paren of the rightmost
3667 formals list which is actually part of the `header' of the function
3668 definition that we are converting. */
3670 /* If the header of this function definition looks like it declares a
3671 function with a variable number of arguments, and if the way it does
3672 that is different from that way we would like it (i.e. varargs vs.
3673 stdarg) then issue a warning and leave the header unconverted. */
3675 if (other_variable_style_function (def_dec_p->ansi_decl))
3678 fprintf (stderr, "%s: %d: warning: definition of %s not converted\n",
3679 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3680 identify_lineno (end_formals),
3682 output_up_to (end_formals);
3686 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3688 restore_pointers ();
3689 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3690 pname, function_to_edit);
3694 /* Have to output the last right paren because this never gets flushed by
3695 edit_formals_list. */
3697 output_up_to (end_formals);
3702 const char *semicolon_p;
3703 const char *limit_p;
3705 int had_newlines = 0;
3707 /* Now write out the K&R style formal declarations, one per line. */
3709 decl_p = def_dec_p->formal_decls;
3710 limit_p = decl_p + strlen (decl_p);
3711 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3713 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3715 output_string ("\n");
3716 output_string (indent_string);
3717 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3720 /* If there are no newlines between the end of the formals list and the
3721 start of the body, we should insert one now. */
3723 for (scan_p = end_formals+1; *scan_p != '{'; )
3725 if (*scan_p == '\n')
3730 check_source (++scan_p < clean_text_limit, 0);
3733 output_string ("\n");
3735 #else /* !defined (UNPROTOIZE) */
3736 /* If we are protoizing, there may be some flotsum & jetsum (like comments
3737 and preprocessing directives) after the old formals list but before
3738 the following { and we would like to preserve that stuff while effectively
3739 deleting the existing K&R formal parameter declarations. We do so here
3740 in a rather tricky way. Basically, we white out any stuff *except*
3741 the comments/pp-directives in the original text buffer, then, if there
3742 is anything in this area *other* than whitespace, we output it. */
3744 const char *end_formals_orig;
3745 const char *start_body;
3746 const char *start_body_orig;
3748 const char *scan_orig;
3749 int have_flotsum = 0;
3750 int have_newlines = 0;
3752 for (start_body = end_formals + 1; *start_body != '{';)
3753 check_source (++start_body < clean_text_limit, 0);
3755 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3756 start_body_orig = orig_text_base + (start_body - clean_text_base);
3757 scan = end_formals + 1;
3758 scan_orig = end_formals_orig + 1;
3759 for (; scan < start_body; scan++, scan_orig++)
3761 if (*scan == *scan_orig)
3763 have_newlines |= (*scan_orig == '\n');
3764 /* Leave identical whitespace alone. */
3765 if (!isspace (*scan_orig))
3766 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3772 output_bytes (end_formals_orig + 1,
3773 (size_t) (start_body_orig - end_formals_orig) - 1);
3776 output_string ("\n");
3778 output_string (" ");
3779 clean_read_ptr = start_body - 1;
3781 #endif /* !defined (UNPROTOIZE) */
3784 /* Clean up the clean text buffer. Do this by converting comments and
3785 preprocessor directives into spaces. Also convert line continuations
3786 into whitespace. Also, whiteout string and character literals. */
3789 do_cleaning (new_clean_text_base, new_clean_text_limit)
3790 char *new_clean_text_base;
3791 char *new_clean_text_limit;
3794 int non_whitespace_since_newline = 0;
3796 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3800 case '/': /* Handle comments. */
3801 if (scan_p[1] != '*')
3803 non_whitespace_since_newline = 1;
3807 while (scan_p[1] != '/' || scan_p[0] != '*')
3809 if (!isspace (*scan_p))
3811 if (++scan_p >= new_clean_text_limit)
3818 case '#': /* Handle pp directives. */
3819 if (non_whitespace_since_newline)
3822 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3824 if (!isspace (*scan_p))
3826 if (++scan_p >= new_clean_text_limit)
3832 case '\'': /* Handle character literals. */
3833 non_whitespace_since_newline = 1;
3834 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3836 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3838 if (!isspace (*scan_p))
3840 if (++scan_p >= new_clean_text_limit)
3846 case '"': /* Handle string literals. */
3847 non_whitespace_since_newline = 1;
3848 while (scan_p[1] != '"' || scan_p[0] == '\\')
3850 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3852 if (!isspace (*scan_p))
3854 if (++scan_p >= new_clean_text_limit)
3860 case '\\': /* Handle line continuations. */
3861 if (scan_p[1] != '\n')
3867 non_whitespace_since_newline = 0; /* Reset. */
3876 break; /* Whitespace characters. */
3880 non_whitespace_since_newline = 1;
3886 /* Given a pointer to the closing right parenthesis for a particular formals
3887 list (in the clean text buffer) find the corresponding left parenthesis
3888 and return a pointer to it. */
3891 careful_find_l_paren (p)
3897 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
3912 /* Scan the clean text buffer for cases of function definitions that we
3913 don't really know about because they were preprocessed out when the
3914 aux info files were created.
3916 In this version of protoize/unprotoize we just give a warning for each
3917 one found. A later version may be able to at least unprotoize such
3920 Note that we may easily find all function definitions simply by
3921 looking for places where there is a left paren which is (ignoring
3922 whitespace) immediately followed by either a left-brace or by an
3923 upper or lower case letter. Whenever we find this combination, we
3924 have also found a function definition header.
3926 Finding function *declarations* using syntactic clues is much harder.
3927 I will probably try to do this in a later version though. */
3930 scan_for_missed_items (file_p)
3931 const file_info *file_p;
3933 static const char *scan_p;
3934 const char *limit = clean_text_limit - 3;
3935 static const char *backup_limit;
3937 backup_limit = clean_text_base - 1;
3939 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
3943 static const char *last_r_paren;
3944 const char *ahead_p;
3946 last_r_paren = scan_p;
3948 for (ahead_p = scan_p + 1; isspace (*ahead_p); )
3949 check_source (++ahead_p < limit, limit);
3951 scan_p = ahead_p - 1;
3953 if (isalpha (*ahead_p) || *ahead_p == '{')
3955 const char *last_l_paren;
3956 const int lineno = identify_lineno (ahead_p);
3958 if (setjmp (source_confusion_recovery))
3961 /* We know we have a function definition header. Now skip
3962 leftwards over all of its associated formals lists. */
3966 last_l_paren = careful_find_l_paren (last_r_paren);
3967 for (last_r_paren = last_l_paren-1; isspace (*last_r_paren); )
3968 check_source (--last_r_paren >= backup_limit, backup_limit);
3970 while (*last_r_paren == ')');
3972 if (is_id_char (*last_r_paren))
3974 const char *id_limit = last_r_paren + 1;
3975 const char *id_start;
3977 const def_dec_info *dd_p;
3979 for (id_start = id_limit-1; is_id_char (*id_start); )
3980 check_source (--id_start >= backup_limit, backup_limit);
3982 backup_limit = id_start;
3983 if ((id_length = (size_t) (id_limit - id_start)) == 0)
3987 char *func_name = (char *) alloca (id_length + 1);
3988 static const char * const stmt_keywords[]
3989 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
3990 const char * const *stmt_keyword;
3992 strncpy (func_name, id_start, id_length);
3993 func_name[id_length] = '\0';
3995 /* We must check here to see if we are actually looking at
3996 a statement rather than an actual function call. */
3998 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
3999 if (!strcmp (func_name, *stmt_keyword))
4003 fprintf (stderr, "%s: found definition of `%s' at %s(%d)\n",
4006 shortpath (NULL, file_p->hash_entry->symbol),
4007 identify_lineno (id_start));
4009 /* We really should check for a match of the function name
4010 here also, but why bother. */
4012 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4013 if (dd_p->is_func_def && dd_p->line == lineno)
4016 /* If we make it here, then we did not know about this
4017 function definition. */
4019 fprintf (stderr, "%s: %d: warning: `%s' excluded by preprocessing\n",
4020 shortpath (NULL, file_p->hash_entry->symbol),
4021 identify_lineno (id_start), func_name);
4022 fprintf (stderr, "%s: function definition not converted\n",
4032 /* Do all editing operations for a single source file (either a "base" file
4033 or an "include" file). To do this we read the file into memory, keep a
4034 virgin copy there, make another cleaned in-core copy of the original file
4035 (i.e. one in which all of the comments and preprocessor directives have
4036 been replaced with whitespace), then use these two in-core copies of the
4037 file to make a new edited in-core copy of the file. Finally, rename the
4038 original file (as a way of saving it), and then write the edited version
4039 of the file from core to a disk file of the same name as the original.
4041 Note that the trick of making a copy of the original sans comments &
4042 preprocessor directives make the editing a whole lot easier. */
4046 const hash_table_entry *hp;
4048 struct stat stat_buf;
4049 const file_info *file_p = hp->fip;
4050 char *new_orig_text_base;
4051 char *new_orig_text_limit;
4052 char *new_clean_text_base;
4053 char *new_clean_text_limit;
4056 int first_definition_in_file;
4058 /* If we are not supposed to be converting this file, or if there is
4059 nothing in there which needs converting, just skip this file. */
4061 if (!needs_to_be_converted (file_p))
4064 convert_filename = file_p->hash_entry->symbol;
4066 /* Convert a file if it is in a directory where we want conversion
4067 and the file is not excluded. */
4069 if (!directory_specified_p (convert_filename)
4070 || file_excluded_p (convert_filename))
4074 /* Don't even mention "system" include files unless we are
4075 protoizing. If we are protoizing, we mention these as a
4076 gentle way of prodding the user to convert his "system"
4077 include files to prototype format. */
4078 && !in_system_include_dir (convert_filename)
4079 #endif /* defined (UNPROTOIZE) */
4081 fprintf (stderr, "%s: `%s' not converted\n",
4082 pname, shortpath (NULL, convert_filename));
4086 /* Let the user know what we are up to. */
4089 fprintf (stderr, "%s: would convert file `%s'\n",
4090 pname, shortpath (NULL, convert_filename));
4092 fprintf (stderr, "%s: converting file `%s'\n",
4093 pname, shortpath (NULL, convert_filename));
4096 /* Find out the size (in bytes) of the original file. */
4098 /* The cast avoids an erroneous warning on AIX. */
4099 if (my_stat ((char *)convert_filename, &stat_buf) == -1)
4101 fprintf (stderr, "%s: can't get status for file `%s': %s\n",
4102 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4105 orig_size = stat_buf.st_size;
4107 /* Allocate a buffer to hold the original text. */
4109 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4110 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4112 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4114 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4115 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4116 clean_read_ptr = clean_text_base - 1;
4118 /* Allocate a buffer that will hopefully be large enough to hold the entire
4119 converted output text. As an initial guess for the maximum size of the
4120 output buffer, use 125% of the size of the original + some extra. This
4121 buffer can be expanded later as needed. */
4123 repl_size = orig_size + (orig_size >> 2) + 4096;
4124 repl_text_base = (char *) xmalloc (repl_size + 2);
4125 repl_text_limit = repl_text_base + repl_size - 1;
4126 repl_write_ptr = repl_text_base - 1;
4131 /* Open the file to be converted in READ ONLY mode. */
4133 if ((input_file = my_open (convert_filename, O_RDONLY, 0444)) == -1)
4135 fprintf (stderr, "%s: can't open file `%s' for reading: %s\n",
4136 pname, shortpath (NULL, convert_filename),
4137 sys_errlist[errno]);
4141 /* Read the entire original source text file into the original text buffer
4142 in one swell fwoop. Then figure out where the end of the text is and
4143 make sure that it ends with a newline followed by a null. */
4145 if (read (input_file, new_orig_text_base, orig_size) != orig_size)
4148 fprintf (stderr, "\n%s: error reading input file `%s': %s\n",
4149 pname, shortpath (NULL, convert_filename),
4150 sys_errlist[errno]);
4157 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4159 *new_orig_text_limit++ = '\n';
4163 /* Create the cleaned up copy of the original text. */
4165 memcpy (new_clean_text_base, orig_text_base,
4166 (size_t) (orig_text_limit - orig_text_base));
4167 do_cleaning (new_clean_text_base, new_clean_text_limit);
4172 size_t clean_size = orig_text_limit - orig_text_base;
4173 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4175 /* Open (and create) the clean file. */
4177 strcpy (clean_filename, convert_filename);
4178 strcat (clean_filename, ".clean");
4179 if ((clean_file = creat (clean_filename, 0666)) == -1)
4181 fprintf (stderr, "%s: can't create/open clean file `%s': %s\n",
4182 pname, shortpath (NULL, clean_filename),
4183 sys_errlist[errno]);
4187 /* Write the clean file. */
4189 if (write (clean_file, new_clean_text_base, clean_size) != clean_size)
4190 fprintf (stderr, "%s: error writing file `%s': %s\n",
4191 pname, shortpath (NULL, clean_filename), sys_errlist[errno]);
4197 /* Do a simplified scan of the input looking for things that were not
4198 mentioned in the aux info files because of the fact that they were
4199 in a region of the source which was preprocessed-out (via #if or
4202 scan_for_missed_items (file_p);
4204 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4206 last_known_line_number = 1;
4207 last_known_line_start = clean_text_base;
4209 /* Now get down to business and make all of the necessary edits. */
4212 const def_dec_info *def_dec_p;
4214 first_definition_in_file = 1;
4215 def_dec_p = file_p->defs_decs;
4216 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4218 const char *clean_text_p = seek_to_line (def_dec_p->line);
4220 /* clean_text_p now points to the first character of the line which
4221 contains the `terminator' for the declaration or definition that
4222 we are about to process. */
4226 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4228 add_global_decls (def_dec_p->file, clean_text_p);
4229 first_definition_in_file = 0;
4232 /* Don't edit this item if it is already in prototype format or if it
4233 is a function declaration and we have found no corresponding
4236 if (def_dec_p->prototyped
4237 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4240 #endif /* !defined (UNPROTOIZE) */
4242 if (def_dec_p->is_func_def)
4243 edit_fn_definition (def_dec_p, clean_text_p);
4246 if (def_dec_p->is_implicit)
4247 add_local_decl (def_dec_p, clean_text_p);
4249 #endif /* !defined (UNPROTOIZE) */
4250 edit_fn_declaration (def_dec_p, clean_text_p);
4254 /* Finalize things. Output the last trailing part of the original text. */
4256 output_up_to (clean_text_limit - 1);
4258 /* If this is just a test run, stop now and just deallocate the buffers. */
4262 free (new_orig_text_base);
4263 free (new_clean_text_base);
4264 free (repl_text_base);
4268 /* Change the name of the original input file. This is just a quick way of
4269 saving the original file. */
4273 char *new_filename =
4274 (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4276 strcpy (new_filename, convert_filename);
4277 strcat (new_filename, save_suffix);
4278 if (my_link (convert_filename, new_filename) == -1)
4280 if (errno == EEXIST)
4283 fprintf (stderr, "%s: warning: file `%s' already saved in `%s'\n",
4285 shortpath (NULL, convert_filename),
4286 shortpath (NULL, new_filename));
4290 fprintf (stderr, "%s: can't link file `%s' to `%s': %s\n",
4292 shortpath (NULL, convert_filename),
4293 shortpath (NULL, new_filename),
4294 sys_errlist[errno]);
4300 if (my_unlink (convert_filename) == -1)
4302 fprintf (stderr, "%s: can't delete file `%s': %s\n",
4303 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4310 /* Open (and create) the output file. */
4312 if ((output_file = creat (convert_filename, 0666)) == -1)
4314 fprintf (stderr, "%s: can't create/open output file `%s': %s\n",
4315 pname, shortpath (NULL, convert_filename),
4316 sys_errlist[errno]);
4320 /* Write the output file. */
4323 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4325 if (write (output_file, repl_text_base, out_size) != out_size)
4326 fprintf (stderr, "%s: error writing file `%s': %s\n",
4327 pname, shortpath (NULL, convert_filename),
4328 sys_errlist[errno]);
4331 close (output_file);
4334 /* Deallocate the conversion buffers. */
4336 free (new_orig_text_base);
4337 free (new_clean_text_base);
4338 free (repl_text_base);
4340 /* Change the mode of the output file to match the original file. */
4342 /* The cast avoids an erroneous warning on AIX. */
4343 if (my_chmod ((char *)convert_filename, stat_buf.st_mode) == -1)
4344 fprintf (stderr, "%s: can't change mode of file `%s': %s\n",
4345 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4347 /* Note: We would try to change the owner and group of the output file
4348 to match those of the input file here, except that may not be a good
4349 thing to do because it might be misleading. Also, it might not even
4350 be possible to do that (on BSD systems with quotas for instance). */
4353 /* Do all of the individual steps needed to do the protoization (or
4354 unprotoization) of the files referenced in the aux_info files given
4355 in the command line. */
4360 const char * const *base_pp;
4361 const char * const * const end_pps
4362 = &base_source_filenames[n_base_source_files];
4366 #endif /* !defined (UNPROTOIZE) */
4368 /* One-by-one, check (and create if necessary), open, and read all of the
4369 stuff in each aux_info file. After reading each aux_info file, the
4370 aux_info_file just read will be automatically deleted unless the
4371 keep_flag is set. */
4373 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4374 process_aux_info_file (*base_pp, keep_flag, 0);
4378 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4379 the prototypes for all of the standard system-supplied functions. */
4381 if (nondefault_syscalls_dir)
4383 syscalls_absolute_filename
4384 = (char *) xmalloc (strlen (nondefault_syscalls_dir)
4385 + sizeof (syscalls_filename) + 1);
4386 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4390 syscalls_absolute_filename
4391 = (char *) xmalloc (strlen (default_syscalls_dir)
4392 + sizeof (syscalls_filename) + 1);
4393 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4396 syscalls_len = strlen (syscalls_absolute_filename);
4397 if (*(syscalls_absolute_filename + syscalls_len - 1) != '/')
4399 *(syscalls_absolute_filename + syscalls_len++) = '/';
4400 *(syscalls_absolute_filename + syscalls_len) = '\0';
4402 strcat (syscalls_absolute_filename, syscalls_filename);
4404 /* Call process_aux_info_file in such a way that it does not try to
4405 delete the SYSCALLS aux_info file. */
4407 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4409 #endif /* !defined (UNPROTOIZE) */
4411 /* When we first read in all of the information from the aux_info files
4412 we saved in it descending line number order, because that was likely to
4413 be faster. Now however, we want the chains of def & dec records to
4414 appear in ascending line number order as we get further away from the
4415 file_info record that they hang from. The following line causes all of
4416 these lists to be rearranged into ascending line number order. */
4418 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4422 /* Now do the "real" work. The following line causes each declaration record
4423 to be "visited". For each of these nodes, an attempt is made to match
4424 up the function declaration with a corresponding function definition,
4425 which should have a full prototype-format formals list with it. Once
4426 these match-ups are made, the conversion of the function declarations
4427 to prototype format can be made. */
4429 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4431 #endif /* !defined (UNPROTOIZE) */
4433 /* Now convert each file that can be converted (and needs to be). */
4435 visit_each_hash_node (filename_primary, edit_file);
4439 /* If we are working in cplusplus mode, try to rename all .c files to .C
4440 files. Don't panic if some of the renames don't work. */
4442 if (cplusplus_flag && !nochange_flag)
4443 visit_each_hash_node (filename_primary, rename_c_file);
4445 #endif /* !defined (UNPROTOIZE) */
4448 static struct option longopts[] =
4450 {"version", 0, 0, 'V'},
4451 {"file_name", 0, 0, 'p'},
4452 {"quiet", 0, 0, 'q'},
4453 {"silent", 0, 0, 'q'},
4454 {"force", 0, 0, 'f'},
4455 {"keep", 0, 0, 'k'},
4456 {"nosave", 0, 0, 'N'},
4457 {"nochange", 0, 0, 'n'},
4458 {"compiler-options", 1, 0, 'c'},
4459 {"exclude", 1, 0, 'x'},
4460 {"directory", 1, 0, 'd'},
4462 {"indent", 1, 0, 'i'},
4464 {"local", 0, 0, 'l'},
4465 {"global", 0, 0, 'g'},
4467 {"syscalls-dir", 1, 0, 'B'},
4479 const char *params = "";
4481 pname = rindex (argv[0], '/');
4482 pname = pname ? pname+1 : argv[0];
4484 cwd_buffer = getpwd ();
4487 fprintf (stderr, "%s: cannot get working directory: %s\n",
4488 pname, sys_errlist[errno]);
4492 /* By default, convert the files in the current directory. */
4493 directory_list = string_list_cons (cwd_buffer, NULL);
4495 while ((c = getopt_long (argc, argv,
4499 "B:c:Cd:gklnNp:qvVx:",
4501 longopts, &longind)) != EOF)
4503 if (c == 0) /* Long option. */
4504 c = longopts[longind].val;
4508 compiler_file_name = optarg;
4512 = string_list_cons (abspath (NULL, optarg), directory_list);
4515 exclude_list = string_list_cons (optarg, exclude_list);
4545 indent_string = optarg;
4547 #else /* !defined (UNPROTOIZE) */
4558 nondefault_syscalls_dir = optarg;
4560 #endif /* !defined (UNPROTOIZE) */
4566 /* Set up compile_params based on -p and -c options. */
4567 munge_compile_params (params);
4569 n_base_source_files = argc - optind;
4571 /* Now actually make a list of the base source filenames. */
4573 base_source_filenames =
4574 (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4575 n_base_source_files = 0;
4576 for (; optind < argc; optind++)
4578 const char *path = abspath (NULL, argv[optind]);
4579 int len = strlen (path);
4581 if (path[len-1] == 'c' && path[len-2] == '.')
4582 base_source_filenames[n_base_source_files++] = path;
4585 fprintf (stderr, "%s: input file names must have .c suffixes: %s\n",
4586 pname, shortpath (NULL, path));
4592 /* We are only interested in the very first identifier token in the
4593 definition of `va_list', so if there is more junk after that first
4594 identifier token, delete it from the `varargs_style_indicator'. */
4598 for (cp = varargs_style_indicator; isalnum (*cp) || *cp == '_'; cp++)
4601 varargs_style_indicator = savestring (varargs_style_indicator,
4602 cp - varargs_style_indicator);
4604 #endif /* !defined (UNPROTOIZE) */
4611 fprintf (stderr, "%s: %s\n", pname, version_string);