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
83 extern char *sys_errlist[];
84 extern char *version_string;
86 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
87 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
88 const qualifiers in the prototypes in the system include files.
89 Unfortunately, this can lead to GCC issuing lots of warnings for
90 calls to the following functions. To eliminate these warnings we
91 provide the following #defines. */
93 #define my_access(file,flag) access((char *)file, flag)
94 #define my_stat(file,pkt) stat((char *)file, pkt)
95 #define my_execvp(prog,argv) execvp((char *)prog, (char **)argv)
96 #define my_link(file1, file2) link((char *)file1, (char *)file2)
97 #define my_unlink(file) unlink((char *)file)
98 #define my_open(file, mode, flag) open((char *)file, mode, flag)
99 #define my_chmod(file, mode) chmod((char *)file, mode)
101 extern char *getpwd ();
103 /* Aliases for pointers to void.
104 These were made to facilitate compilation with old brain-dead DEC C
105 compilers which didn't properly grok `void*' types. */
108 typedef void * pointer_type;
109 typedef const void * const_pointer_type;
111 typedef char * pointer_type;
112 typedef char * const_pointer_type;
122 #else /* !defined(POSIX) */
124 #define R_OK 4 /* Test for Read permission */
125 #define W_OK 2 /* Test for Write permission */
126 #define X_OK 1 /* Test for eXecute permission */
127 #define F_OK 0 /* Test for existence of File */
132 /* Declaring stat or __flsbuf with a prototype
133 causes conflicts with system headers on some systems. */
136 typedef void voidfn ();
137 extern VOLATILE voidfn abort;
141 #if 0 /* These conflict with stdio.h on some systems. */
142 extern int fprintf (FILE *, const char *, ...);
143 extern int printf (const char *, ...);
144 extern int open (const char *, int, ...);
147 extern pointer_type malloc ();
148 extern pointer_type realloc ();
153 extern int fflush ();
159 extern int unlink ();
160 extern int access ();
161 extern int execvp ();
163 extern int setjmp ();
166 extern void longjmp ();
169 #if 0 /* size_t from sys/types.h may fail to match GCC.
170 If so, we would get a warning from this. */
171 extern size_t strlen ()
174 /* Fork is not declared because the declaration caused a conflict
176 #if !(defined (USG) || defined (VMS))
178 #endif /* (defined (USG) || defined (VMS)) */
180 #endif /* !defined (POSIX) */
182 extern char *rindex ();
184 /* Look for these where the `const' qualifier is intentionally cast aside. */
188 /* Define a STRINGIFY macro that's right for ANSI or traditional C. */
191 #define STRINGIFY(STRING) #STRING
193 #define STRINGIFY(STRING) "STRING"
196 /* Define a default place to find the SYSCALLS.X file. */
198 #ifndef STD_PROTO_DIR
199 #define STD_PROTO_DIR "/usr/local/lib"
200 #endif /* !defined (STD_PROTO_DIR) */
202 /* Suffix of aux_info files. */
204 static const char * const aux_info_suffix = ".X";
206 /* String to attach to filenames for saved versions of original files. */
208 static const char * const save_suffix = ".save";
212 /* File name of the file which contains descriptions of standard system
213 routines. Note that we never actually do anything with this file per se,
214 but we do read in its corresponding aux_info file. */
216 static const char syscalls_filename[] = "SYSCALLS.c";
218 /* Default place to find the above file. */
220 static const char * const default_syscalls_dir = STD_PROTO_DIR;
222 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
225 static char * syscalls_absolute_filename;
227 #endif /* !defined (UNPROTOIZE) */
229 /* Type of the structure that holds information about macro unexpansions. */
231 struct unexpansion_struct {
232 const char *expanded;
233 const char *contracted;
235 typedef struct unexpansion_struct unexpansion;
237 /* A table of conversions that may need to be made for some (stupid) older
238 operating systems where these types are preprocessor macros rather than
239 typedefs (as they really ought to be).
241 WARNING: The contracted forms must be as small (or smaller) as the
242 expanded forms, or else havoc will ensue. */
244 static const unexpansion unexpansions[] = {
245 { "struct _iobuf", "FILE" },
249 /* The number of "primary" slots in the hash tables for filenames and for
250 function names. This can be as big or as small as you like, except that
251 it must be a power of two. */
253 #define HASH_TABLE_SIZE (1 << 9)
255 /* Bit mask to use when computing hash values. */
257 static const int hash_mask = (HASH_TABLE_SIZE - 1);
259 /* Make a table of default system include directories
260 just as it is done in cccp.c. */
262 #ifndef STANDARD_INCLUDE_DIR
263 #define STANDARD_INCLUDE_DIR "/usr/include"
266 #ifndef LOCAL_INCLUDE_DIR
267 #define LOCAL_INCLUDE_DIR "/usr/local/include"
270 struct default_include { const char *fname; int cplusplus; } include_defaults[]
271 #ifdef INCLUDE_DEFAULTS
275 /* Pick up GNU C++ specific include files. */
276 { GPLUSPLUS_INCLUDE_DIR, 1},
278 /* This is the dir for fixincludes. Put it just before
279 the files that we fix. */
280 { GCC_INCLUDE_DIR, 0},
281 /* For cross-compilation, this dir name is generated
282 automatically in Makefile.in. */
283 { CROSS_INCLUDE_DIR, 0 },
284 /* This is another place that the target system's headers might be. */
285 { TOOL_INCLUDE_DIR, 0},
286 #else /* not CROSS_COMPILE */
287 /* This should be /use/local/include and should come before
288 the fixincludes-fixed header files. */
289 { LOCAL_INCLUDE_DIR, 0},
290 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
291 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
292 { TOOL_INCLUDE_DIR, 0},
293 /* This is the dir for fixincludes. Put it just before
294 the files that we fix. */
295 { GCC_INCLUDE_DIR, 0},
296 /* Some systems have an extra dir of include files. */
297 #ifdef SYSTEM_INCLUDE_DIR
298 { SYSTEM_INCLUDE_DIR, 0},
300 { STANDARD_INCLUDE_DIR, 0},
301 #endif /* not CROSS_COMPILE */
304 #endif /* no INCLUDE_DEFAULTS */
306 /* Datatype for lists of directories or filenames. */
310 struct string_list *next;
313 /* List of directories in which files should be converted. */
315 struct string_list *directory_list;
317 /* List of file names which should not be converted.
318 A file is excluded if the end of its name, following a /,
319 matches one of the names in this list. */
321 struct string_list *exclude_list;
323 /* The name of the other style of variable-number-of-parameters functions
324 (i.e. the style that we want to leave unconverted because we don't yet
325 know how to convert them to this style. This string is used in warning
328 /* Also define here the string that we can search for in the parameter lists
329 taken from the .X files which will unambiguously indicate that we have
330 found a varargs style function. */
333 static const char * const other_var_style = "stdarg";
334 #else /* !defined (UNPROTOIZE) */
335 static const char * const other_var_style = "varargs";
336 /* Note that this is a string containing the expansion of va_alist.
337 But in `main' we discard all but the first token. */
338 static const char *varargs_style_indicator = STRINGIFY (va_alist);
339 #endif /* !defined (UNPROTOIZE) */
341 /* The following two types are used to create hash tables. In this program,
342 there are two hash tables which are used to store and quickly lookup two
343 different classes of strings. The first type of strings stored in the
344 first hash table are absolute filenames of files which protoize needs to
345 know about. The second type of strings (stored in the second hash table)
346 are function names. It is this second class of strings which really
347 inspired the use of the hash tables, because there may be a lot of them. */
349 typedef struct hash_table_entry_struct hash_table_entry;
351 /* Do some typedefs so that we don't have to write "struct" so often. */
353 typedef struct def_dec_info_struct def_dec_info;
354 typedef struct file_info_struct file_info;
355 typedef struct f_list_chain_item_struct f_list_chain_item;
357 /* In the struct below, note that the "_info" field has two different uses
358 depending on the type of hash table we are in (i.e. either the filenames
359 hash table or the function names hash table). In the filenames hash table
360 the info fields of the entries point to the file_info struct which is
361 associated with each filename (1 per filename). In the function names
362 hash table, the info field points to the head of a singly linked list of
363 def_dec_info entries which are all defs or decs of the function whose
364 name is pointed to by the "symbol" field. Keeping all of the defs/decs
365 for a given function name on a special list specifically for that function
366 name makes it quick and easy to find out all of the important information
367 about a given (named) function. */
369 struct hash_table_entry_struct {
370 hash_table_entry * hash_next; /* -> to secondary entries */
371 const char * symbol; /* -> to the hashed string */
373 const def_dec_info * _ddip;
377 #define ddip _info._ddip
378 #define fip _info._fip
380 /* Define a type specifically for our two hash tables. */
382 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
384 /* The following struct holds all of the important information about any
385 single filename (e.g. file) which we need to know about. */
387 struct file_info_struct {
388 const hash_table_entry * hash_entry; /* -> to associated hash entry */
389 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
390 time_t mtime; /* Time of last modification. */
393 /* Due to the possibility that functions may return pointers to functions,
394 (which may themselves have their own parameter lists) and due to the
395 fact that returned pointers-to-functions may be of type "pointer-to-
396 function-returning-pointer-to-function" (ad nauseum) we have to keep
397 an entire chain of ANSI style formal parameter lists for each function.
399 Normally, for any given function, there will only be one formals list
400 on the chain, but you never know.
402 Note that the head of each chain of formals lists is pointed to by the
403 `f_list_chain' field of the corresponding def_dec_info record.
405 For any given chain, the item at the head of the chain is the *leftmost*
406 parameter list seen in the actual C language function declaration. If
407 there are other members of the chain, then these are linked in left-to-right
408 order from the head of the chain. */
410 struct f_list_chain_item_struct {
411 const f_list_chain_item * chain_next; /* -> to next item on chain */
412 const char * formals_list; /* -> to formals list string */
415 /* The following struct holds all of the important information about any
416 single function definition or declaration which we need to know about.
417 Note that for unprotoize we don't need to know very much because we
418 never even create records for stuff that we don't intend to convert
419 (like for instance defs and decs which are already in old K&R format
420 and "implicit" function declarations). */
422 struct def_dec_info_struct {
423 const def_dec_info * next_in_file; /* -> to rest of chain for file */
424 file_info * file; /* -> file_info for containing file */
425 int line; /* source line number of def/dec */
426 const char * ansi_decl; /* -> left end of ansi decl */
427 hash_table_entry * hash_entry; /* -> hash entry for function name */
428 unsigned int is_func_def; /* = 0 means this is a declaration */
429 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
430 unsigned int f_list_count; /* count of formals lists we expect */
431 char prototyped; /* = 0 means already prototyped */
433 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
434 const def_dec_info * definition; /* -> def/dec containing related def */
435 char is_static; /* = 0 means visibility is "extern" */
436 char is_implicit; /* != 0 for implicit func decl's */
437 char written; /* != 0 means written for implicit */
438 #else /* !defined (UNPROTOIZE) */
439 const char * formal_names; /* -> to list of names of formals */
440 const char * formal_decls; /* -> to string of formal declarations */
441 #endif /* !defined (UNPROTOIZE) */
444 /* Pointer to the tail component of the filename by which this program was
445 invoked. Used everywhere in error and warning messages. */
447 static const char *pname;
449 /* Error counter. Will be non-zero if we should give up at the next convenient
452 static int errors = 0;
455 /* ??? These comments should say what the flag mean as well as the options
458 /* File name to use for running gcc. Allows GCC 2 to be named
459 something other than gcc. */
460 static const char *compiler_file_name = "gcc";
462 static int version_flag = 0; /* Print our version number. */
463 static int quiet_flag = 0; /* Don't print messages normally. */
464 static int nochange_flag = 0; /* Don't convert, just say what files
465 we would have converted. */
466 static int nosave_flag = 0; /* Don't save the old version. */
467 static int keep_flag = 0; /* Don't delete the .X files. */
468 static const char ** compile_params = 0; /* Option string for gcc. */
470 static const char *indent_string = " "; /* Indentation for newly
471 inserted parm decls. */
472 #else /* !defined (UNPROTOIZE) */
473 static int local_flag = 0; /* Insert new local decls (when?). */
474 static int global_flag = 0; /* set by -g option */
475 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
476 static const char* nondefault_syscalls_dir = 0; /* Dir to look for
478 #endif /* !defined (UNPROTOIZE) */
480 /* An index into the compile_params array where we should insert the source
481 file name when we are ready to exec the C compiler. A zero value indicates
482 that we have not yet called munge_compile_params. */
484 static int input_file_name_index = 0;
486 /* An index into the compile_params array where we should insert the filename
487 for the aux info file, when we run the C compiler. */
488 static int aux_info_file_name_index = 0;
490 /* Count of command line arguments which were "filename" arguments. */
492 static int n_base_source_files = 0;
494 /* Points to a malloc'ed list of pointers to all of the filenames of base
495 source files which were specified on the command line. */
497 static const char **base_source_filenames;
499 /* Line number of the line within the current aux_info file that we
500 are currently processing. Used for error messages in case the prototypes
501 info file is corrupted somehow. */
503 static int current_aux_info_lineno;
505 /* Pointer to the name of the source file currently being converted. */
507 static const char *convert_filename;
509 /* Pointer to relative root string (taken from aux_info file) which indicates
510 where directory the user was in when he did the compilation step that
511 produced the containing aux_info file. */
513 static const char *invocation_filename;
515 /* Pointer to the base of the input buffer that holds the original text for the
516 source file currently being converted. */
518 static const char *orig_text_base;
520 /* Pointer to the byte just beyond the end of the input buffer that holds the
521 original text for the source file currently being converted. */
523 static const char *orig_text_limit;
525 /* Pointer to the base of the input buffer that holds the cleaned text for the
526 source file currently being converted. */
528 static const char *clean_text_base;
530 /* Pointer to the byte just beyond the end of the input buffer that holds the
531 cleaned text for the source file currently being converted. */
533 static const char *clean_text_limit;
535 /* Pointer to the last byte in the cleaned text buffer that we have already
536 (virtually) copied to the output buffer (or decided to ignore). */
538 static const char * clean_read_ptr;
540 /* Pointer to the base of the output buffer that holds the replacement text
541 for the source file currently being converted. */
543 static char *repl_text_base;
545 /* Pointer to the byte just beyond the end of the output buffer that holds the
546 replacement text for the source file currently being converted. */
548 static char *repl_text_limit;
550 /* Pointer to the last byte which has been stored into the output buffer.
551 The next byte to be stored should be stored just past where this points
554 static char * repl_write_ptr;
556 /* Pointer into the cleaned text buffer for the source file we are currently
557 converting. This points to the first character of the line that we last
558 did a "seek_to_line" to (see below). */
560 static const char *last_known_line_start;
562 /* Number of the line (in the cleaned text buffer) that we last did a
563 "seek_to_line" to. Will be one if we just read a new source file
564 into the cleaned text buffer. */
566 static int last_known_line_number;
568 /* The filenames hash table. */
570 static hash_table filename_primary;
572 /* The function names hash table. */
574 static hash_table function_name_primary;
576 /* The place to keep the recovery address which is used only in cases where
577 we get hopelessly confused by something in the cleaned original text. */
579 static jmp_buf source_confusion_recovery;
581 /* A pointer to the current directory filename (used by abspath). */
583 static char *cwd_buffer;
585 /* A place to save the read pointer until we are sure that an individual
586 attempt at editing will succeed. */
588 static const char * saved_clean_read_ptr;
590 /* A place to save the write pointer until we are sure that an individual
591 attempt at editing will succeed. */
593 static char * saved_repl_write_ptr;
595 /* Forward declaration. */
597 static const char *shortpath ();
599 /* Allocate some space, but check that the allocation was successful. */
600 /* alloca.c uses this, so don't make it static. */
608 rv = malloc (byte_count);
611 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
613 return 0; /* avoid warnings */
619 /* Reallocate some space, but check that the reallocation was successful. */
622 xrealloc (old_space, byte_count)
623 pointer_type old_space;
628 rv = realloc (old_space, byte_count);
631 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
633 return 0; /* avoid warnings */
639 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
640 the `const' qualifier from it and also make sure that the pointer value
645 const_pointer_type p;
648 free ((NONCONST pointer_type) p);
651 /* Make a copy of a string INPUT with size SIZE. */
654 savestring (input, size)
658 char *output = (char *) xmalloc (size + 1);
659 strcpy (output, input);
663 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
666 savestring2 (input1, size1, input2, size2)
672 char *output = (char *) xmalloc (size1 + size2 + 1);
673 strcpy (output, input1);
674 strcpy (&output[size1], input2);
678 /* More 'friendly' abort that prints the line and file.
679 config.h can #define abort fancy_abort if you like that sort of thing. */
684 fprintf (stderr, "%s: internal abort\n", pname);
688 /* Make a duplicate of the first N bytes of a given string in a newly
696 char *ret_val = (char *) xmalloc (n + 1);
698 strncpy (ret_val, s, n);
703 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
704 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
709 const char *const s2;
717 for (p1 = s1, p2 = s2; c = *p2; p1++, p2++)
727 /* Get setup to recover in case the edit we are about to do goes awry. */
732 saved_clean_read_ptr = clean_read_ptr;
733 saved_repl_write_ptr = repl_write_ptr;
736 /* Call this routine to recover our previous state whenever something looks
737 too confusing in the source code we are trying to edit. */
742 clean_read_ptr = saved_clean_read_ptr;
743 repl_write_ptr = saved_repl_write_ptr;
746 /* Return true if the given character is a legal identifier character. */
752 return (isalnum (ch) || (ch == '_') || (ch == '$'));
755 /* Give a message indicating the proper way to invoke this program and then
756 exit with non-zero status. */
762 fprintf (stderr, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
764 #else /* !defined (UNPROTOIZE) */
765 fprintf (stderr, "%s: usage '%s [ -VqfnkNlgC ] [ -B <diname> ] [ filename ... ]'\n",
767 #endif /* !defined (UNPROTOIZE) */
771 /* Return true if the given filename (assumed to be an absolute filename)
772 designates a file residing anywhere beneath any one of the "system"
773 include directories. */
776 in_system_include_dir (path)
779 struct default_include *p;
782 abort (); /* Must be an absolutized filename. */
784 for (p = include_defaults; p->fname; p++)
785 if (!strncmp (path, p->fname, strlen (p->fname))
786 && path[strlen (p->fname)] == '/')
792 /* Return true if the given filename designates a file that the user has
793 read access to and for which the user has write access to the containing
797 file_could_be_converted (const char *path)
799 char *const dir_name = (char *) alloca (strlen (path) + 1);
801 if (my_access (path, R_OK))
805 char *dir_last_slash;
807 strcpy (dir_name, path);
808 dir_last_slash = rindex (dir_name, '/');
810 *dir_last_slash = '\0';
812 abort (); /* Should have been an absolutized filename. */
815 if (my_access (path, W_OK))
821 /* Return true if the given filename designates a file that we are allowed
822 to modify. Files which we should not attempt to modify are (a) "system"
823 include files, and (b) files which the user doesn't have write access to,
824 and (c) files which reside in directories which the user doesn't have
825 write access to. Unless requested to be quiet, give warnings about
826 files that we will not try to convert for one reason or another. An
827 exception is made for "system" include files, which we never try to
828 convert and for which we don't issue the usual warnings. */
831 file_normally_convertible (const char *path)
833 char *const dir_name = alloca (strlen (path) + 1);
835 if (in_system_include_dir (path))
839 char *dir_last_slash;
841 strcpy (dir_name, path);
842 dir_last_slash = rindex (dir_name, '/');
844 *dir_last_slash = '\0';
846 abort (); /* Should have been an absolutized filename. */
849 if (my_access (path, R_OK))
852 fprintf (stderr, "%s: warning: no read access for file `%s'\n",
853 pname, shortpath (NULL, path));
857 if (my_access (path, W_OK))
860 fprintf (stderr, "%s: warning: no write access for file `%s'\n",
861 pname, shortpath (NULL, path));
865 if (my_access (dir_name, W_OK))
868 fprintf (stderr, "%s: warning: no write access for dir containing `%s'\n",
869 pname, shortpath (NULL, path));
879 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
880 file. Return false otherwise. */
883 is_syscalls_file (fi_p)
884 const file_info *fi_p;
886 char const *f = fi_p->hash_entry->symbol;
887 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
888 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
891 #endif /* !defined (UNPROTOIZE) */
893 /* Check to see if this file will need to have anything done to it on this
894 run. If there is nothing in the given file which both needs conversion
895 and for which we have the necessary stuff to do the conversion, return
896 false. Otherwise, return true.
898 Note that (for protoize) it is only valid to call this function *after*
899 the connections between declarations and definitions have all been made
900 by connect_defs_and_decs. */
903 needs_to_be_converted (file_p)
904 const file_info *file_p;
906 const def_dec_info *ddp;
910 if (is_syscalls_file (file_p))
913 #endif /* !defined (UNPROTOIZE) */
915 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
921 /* ... and if we a protoizing and this function is in old style ... */
923 /* ... and if this a definition or is a decl with an associated def ... */
924 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
926 #else /* defined (UNPROTOIZE) */
928 /* ... and if we are unprotoizing and this function is in new style ... */
931 #endif /* defined (UNPROTOIZE) */
933 /* ... then the containing file needs converting. */
938 /* Return 1 if the file name NAME is in a directory
939 that should be converted. */
942 directory_specified_p (name)
945 struct string_list *p;
947 for (p = directory_list; p; p = p->next)
948 if (!strncmp (name, p->name, strlen (p->name))
949 && name[strlen (p->name)] == '/')
951 const char *q = name + strlen (p->name) + 1;
953 /* If there are more slashes, it's in a subdir, so
954 this match doesn't count. */
966 /* Return 1 if the file named NAME should be excluded from conversion. */
969 file_excluded_p (name)
972 struct string_list *p;
973 int len = strlen (name);
975 for (p = exclude_list; p; p = p->next)
976 if (!strcmp (name + len - strlen (p->name), p->name)
977 && name[len - strlen (p->name) - 1] == '/')
983 /* Construct a new element of a string_list.
984 STRING is the new element value, and REST holds the remaining elements. */
986 static struct string_list *
987 string_list_cons (string, rest)
989 struct string_list *rest;
991 struct string_list *temp
992 = (struct string_list *) xmalloc (sizeof (struct string_list));
999 /* ??? The GNU convention for mentioning function args in its comments
1000 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1001 Likewise for all the other functions. */
1003 /* Given a hash table, apply some function to each node in the table. The
1004 table to traverse is given as the "hash_tab_p" argument, and the
1005 function to be applied to each node in the table is given as "func"
1009 visit_each_hash_node (hash_tab_p, func)
1010 const hash_table_entry *hash_tab_p;
1013 const hash_table_entry *primary;
1015 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
1016 if (primary->symbol)
1018 hash_table_entry *second;
1021 for (second = primary->hash_next; second; second = second->hash_next)
1026 /* Initialize all of the fields of a new hash table entry, pointed
1027 to by the "p" parameter. Note that the space to hold the entry
1028 is assumed to have already been allocated before this routine is
1031 static hash_table_entry *
1033 hash_table_entry *p;
1036 p->hash_next = NULL;
1037 p->symbol = savestring (s, strlen (s));
1043 /* Look for a particular function name or filename in the particular
1044 hash table indicated by "hash_tab_p". If the name is not in the
1045 given hash table, add it. Either way, return a pointer to the
1046 hash table entry for the given name. */
1048 static hash_table_entry *
1049 lookup (hash_tab_p, search_symbol)
1050 hash_table_entry *hash_tab_p;
1051 const char *search_symbol;
1054 const char *search_symbol_char_p = search_symbol;
1055 hash_table_entry *p;
1057 while (*search_symbol_char_p)
1058 hash_value += *search_symbol_char_p++;
1059 hash_value &= hash_mask;
1060 p = &hash_tab_p[hash_value];
1062 return add_symbol (p, search_symbol);
1063 if (!strcmp (p->symbol, search_symbol))
1065 while (p->hash_next)
1068 if (!strcmp (p->symbol, search_symbol))
1071 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1073 return add_symbol (p, search_symbol);
1076 /* Throw a def/dec record on the junk heap.
1078 Also, since we are not using this record anymore, free up all of the
1079 stuff it pointed to. */
1085 xfree (p->ansi_decl);
1089 const f_list_chain_item * curr;
1090 const f_list_chain_item * next;
1092 for (curr = p->f_list_chain; curr; curr = next)
1094 next = curr->chain_next;
1098 #endif /* !defined (UNPROTOIZE) */
1103 /* Unexpand as many macro symbol as we can find.
1105 If the given line must be unexpanded, make a copy of it in the heap and
1106 return a pointer to the unexpanded copy. Otherwise return NULL. */
1109 unexpand_if_needed (aux_info_line)
1110 const char *aux_info_line;
1112 static char *line_buf = 0;
1113 static int line_buf_size = 0;
1114 const unexpansion* unexp_p;
1115 int got_unexpanded = 0;
1117 char *copy_p = line_buf;
1121 line_buf_size = 1024;
1122 line_buf = (char *) xmalloc (line_buf_size);
1127 /* Make a copy of the input string in line_buf, expanding as necessary. */
1129 for (s = aux_info_line; *s != '\n'; )
1131 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1133 const char *in_p = unexp_p->expanded;
1134 size_t len = strlen (in_p);
1136 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1138 int size = strlen (unexp_p->contracted);
1140 if (copy_p + size - line_buf >= line_buf_size)
1142 int offset = copy_p - line_buf;
1144 line_buf_size += size;
1145 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1146 copy_p = line_buf + offset;
1148 strcpy (copy_p, unexp_p->contracted);
1151 /* Assume the there will not be another replacement required
1152 within the text just replaced. */
1155 goto continue_outer;
1158 if (copy_p - line_buf == line_buf_size)
1160 int offset = copy_p - line_buf;
1162 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1163 copy_p = line_buf + offset;
1168 if (copy_p + 2 - line_buf >= line_buf_size)
1170 int offset = copy_p - line_buf;
1172 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1173 copy_p = line_buf + offset;
1178 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1181 /* Return the absolutized filename for the given relative
1182 filename. Note that if that filename is already absolute, it may
1183 still be returned in a modified form because this routine also
1184 eliminates redundant slashes and single dots and eliminates double
1185 dots to get a shortest possible filename from the given input
1186 filename. The absolutization of relative filenames is made by
1187 assuming that the given filename is to be taken as relative to
1188 the first argument (cwd) or to the current directory if cwd is
1192 abspath (cwd, rel_filename)
1194 const char *rel_filename;
1196 /* Setup the current working directory as needed. */
1197 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1198 char *const abs_buffer
1199 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1200 char *endp = abs_buffer;
1203 /* Copy the filename (possibly preceded by the current working
1204 directory name) into the absolutization buffer. */
1209 if (rel_filename[0] != '/')
1212 while (*endp++ = *src_p++)
1214 *(endp-1) = '/'; /* overwrite null */
1216 src_p = rel_filename;
1217 while (*endp++ = *src_p++)
1221 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1222 filename (by taking out slashes and dots) as we go. */
1224 outp = inp = abs_buffer;
1225 *outp++ = *inp++; /* copy first slash */
1228 *outp++ = *inp++; /* copy second slash */
1234 else if (inp[0] == '/' && outp[-1] == '/')
1239 else if (inp[0] == '.' && outp[-1] == '/')
1243 else if (inp[1] == '/')
1248 else if ((inp[1] == '.') && (inp[2] == 0 || inp[2] == '/'))
1250 inp += (inp[2] == '/') ? 3 : 2;
1252 while (outp >= abs_buffer && *outp != '/')
1254 if (outp < abs_buffer)
1256 /* Catch cases like /.. where we try to backup to a
1257 point above the absolute root of the logical file
1260 fprintf (stderr, "%s: invalid file name: %s\n",
1261 pname, rel_filename);
1271 /* On exit, make sure that there is a trailing null, and make sure that
1272 the last character of the returned string is *not* a slash. */
1275 if (outp[-1] == '/')
1278 /* Make a copy (in the heap) of the stuff left in the absolutization
1279 buffer and return a pointer to the copy. */
1281 return savestring (abs_buffer, outp - abs_buffer);
1284 /* Given a filename (and possibly a directory name from which the filename
1285 is relative) return a string which is the shortest possible
1286 equivalent for the corresponding full (absolutized) filename. The
1287 shortest possible equivalent may be constructed by converting the
1288 absolutized filename to be a relative filename (i.e. relative to
1289 the actual current working directory). However if a relative filename
1290 is longer, then the full absolute filename is returned.
1294 Note that "simple-minded" conversion of any given type of filename (either
1295 relative or absolute) may not result in a valid equivalent filename if any
1296 subpart of the original filename is actually a symbolic link. */
1299 shortpath (cwd, filename)
1301 const char *filename;
1305 char *cwd_p = cwd_buffer;
1307 int unmatched_slash_count = 0;
1308 size_t filename_len = strlen (filename);
1310 path_p = abspath (cwd, filename);
1311 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1313 while (*cwd_p && (*cwd_p == *path_p))
1318 if (!*cwd_p && (!*path_p || *path_p == '/')) /* whole pwd matched */
1320 if (!*path_p) /* input *is* the current path! */
1331 while (*cwd_p != '/') /* backup to last slash */
1338 unmatched_slash_count++;
1341 /* Find out how many directory levels in cwd were *not* matched. */
1343 if (*cwd_p++ == '/')
1344 unmatched_slash_count++;
1346 /* Now we know how long the "short name" will be.
1347 Reject it if longer than the input. */
1348 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1351 /* For each of them, put a `../' at the beginning of the short name. */
1352 while (unmatched_slash_count--)
1354 /* Give up if the result gets to be longer
1355 than the absolute path name. */
1356 if (rel_buffer + filename_len <= rel_buf_p + 3)
1363 /* Then tack on the unmatched part of the desired file's name. */
1366 if (rel_buffer + filename_len <= rel_buf_p)
1369 while (*rel_buf_p++ = *path_p++);
1372 if (*(rel_buf_p-1) == '/')
1373 *--rel_buf_p = '\0';
1378 /* Lookup the given filename in the hash table for filenames. If it is a
1379 new one, then the hash table info pointer will be null. In this case,
1380 we create a new file_info record to go with the filename, and we initialize
1381 that record with some reasonable values. */
1383 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1384 That is probably a bug in AIX, but might as well avoid the warning. */
1387 find_file (filename, do_not_stat)
1391 hash_table_entry *hash_entry_p;
1393 hash_entry_p = lookup (filename_primary, filename);
1394 if (hash_entry_p->fip)
1395 return hash_entry_p->fip;
1398 struct stat stat_buf;
1399 file_info *file_p = (file_info *) xmalloc (sizeof (file_info));
1401 /* If we cannot get status on any given source file, give a warning
1402 and then just set its time of last modification to infinity. */
1405 stat_buf.st_mtime = (time_t) 0;
1408 if (my_stat (filename, &stat_buf) == -1)
1410 fprintf (stderr, "%s: %s: can't get status: %s\n",
1411 pname, shortpath (NULL, filename), sys_errlist[errno]);
1412 stat_buf.st_mtime = (time_t) -1;
1416 hash_entry_p->fip = file_p;
1417 file_p->hash_entry = hash_entry_p;
1418 file_p->defs_decs = NULL;
1419 file_p->mtime = stat_buf.st_mtime;
1424 /* Generate a fatal error because some part of the aux_info file is
1428 aux_info_corrupted ()
1430 fprintf (stderr, "\n%s: fatal error: aux info file corrupted at line %d\n",
1431 pname, current_aux_info_lineno);
1435 /* ??? This comment is vague. Say what the condition is for. */
1436 /* Check to see that a condition is true. This is kind of like an assert. */
1439 check_aux_info (cond)
1443 aux_info_corrupted ();
1446 /* Given a pointer to the closing right parenthesis for a particular formals
1447 list (in an aux_info file) find the corresponding left parenthesis and
1448 return a pointer to it. */
1451 find_corresponding_lparen (p)
1457 for (paren_depth = 1, q = p-1; paren_depth; q--)
1472 /* Given a line from an aux info file, and a time at which the aux info
1473 file it came from was created, check to see if the item described in
1474 the line comes from a file which has been modified since the aux info
1475 file was created. If so, return non-zero, else return zero. */
1478 referenced_file_is_newer (l, aux_info_mtime)
1480 time_t aux_info_mtime;
1486 check_aux_info (l[0] == '/');
1487 check_aux_info (l[1] == '*');
1488 check_aux_info (l[2] == ' ');
1491 const char *filename_start = p = l + 3;
1495 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1496 strncpy (filename, filename_start, (size_t) (p - filename_start));
1497 filename[p-filename_start] = '\0';
1500 /* Call find_file to find the file_info record associated with the file
1501 which contained this particular def or dec item. Note that this call
1502 may cause a new file_info record to be created if this is the first time
1503 that we have ever known about this particular file. */
1505 fi_p = find_file (abspath (invocation_filename, filename), 0);
1507 return (fi_p->mtime > aux_info_mtime);
1510 /* Given a line of info from the aux_info file, create a new
1511 def_dec_info record to remember all of the important information about
1512 a function definition or declaration.
1514 Link this record onto the list of such records for the particular file in
1515 which it occurred in proper (descending) line number order (for now).
1517 If there is an identical record already on the list for the file, throw
1518 this one away. Doing so takes care of the (useless and troublesome)
1519 duplicates which are bound to crop up due to multiple inclusions of any
1520 given individual header file.
1522 Finally, link the new def_dec record onto the list of such records
1523 pertaining to this particular function name. */
1526 save_def_or_dec (l, is_syscalls)
1531 const char *semicolon_p;
1532 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1535 def_dec_p->written = 0;
1536 #endif /* !defined (UNPROTOIZE) */
1538 /* Start processing the line by picking off 5 pieces of information from
1539 the left hand end of the line. These are filename, line number,
1540 new/old/implicit flag (new = ANSI prototype format), definition or
1541 declaration flag, and extern/static flag). */
1543 check_aux_info (l[0] == '/');
1544 check_aux_info (l[1] == '*');
1545 check_aux_info (l[2] == ' ');
1548 const char *filename_start = p = l + 3;
1553 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1554 strncpy (filename, filename_start, (size_t) (p - filename_start));
1555 filename[p-filename_start] = '\0';
1557 /* Call find_file to find the file_info record associated with the file
1558 which contained this particular def or dec item. Note that this call
1559 may cause a new file_info record to be created if this is the first time
1560 that we have ever known about this particular file.
1562 Note that we started out by forcing all of the base source file names
1563 (i.e. the names of the aux_info files with the .X stripped off) into the
1564 filenames hash table, and we simultaneously setup file_info records for
1565 all of these base file names (even if they may be useless later).
1566 The file_info records for all of these "base" file names (properly)
1567 act as file_info records for the "original" (i.e. un-included) files
1568 which were submitted to gcc for compilation (when the -aux-info
1569 option was used). */
1571 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1575 const char *line_number_start = ++p;
1576 char line_number[10];
1580 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1581 line_number[p-line_number_start] = '\0';
1582 def_dec_p->line = atoi (line_number);
1585 /* Check that this record describes a new-style, old-style, or implicit
1586 definition or declaration. */
1588 p++; /* Skip over the `:'. */
1589 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1591 /* Is this a new style (ANSI prototyped) definition or declaration? */
1593 def_dec_p->prototyped = (*p == 'N');
1597 /* Is this an implicit declaration? */
1599 def_dec_p->is_implicit = (*p == 'I');
1601 #endif /* !defined (UNPROTOIZE) */
1605 check_aux_info ((*p == 'C') || (*p == 'F'));
1607 /* Is this item a function definition (F) or a declaration (C). Note that
1608 we treat item taken from the syscalls file as though they were function
1609 definitions regardless of what the stuff in the file says. */
1611 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1614 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1615 #endif /* !defined (UNPROTOIZE) */
1617 check_aux_info (*p++ == ' ');
1618 check_aux_info (*p++ == '*');
1619 check_aux_info (*p++ == '/');
1620 check_aux_info (*p++ == ' ');
1623 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1624 #else /* !defined (UNPROTOIZE) */
1625 if (!strncmp (p, "static", 6))
1626 def_dec_p->is_static = -1;
1627 else if (!strncmp (p, "extern", 6))
1628 def_dec_p->is_static = 0;
1630 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1631 #endif /* !defined (UNPROTOIZE) */
1634 const char *ansi_start = p;
1636 p += 6; /* Pass over the "static" or "extern". */
1638 /* We are now past the initial stuff. Search forward from here to find
1639 the terminating semicolon that should immediately follow the entire
1640 ANSI format function declaration. */
1647 /* Make a copy of the ansi declaration part of the line from the aux_info
1650 def_dec_p->ansi_decl
1651 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1654 /* Backup and point at the final right paren of the final argument list. */
1658 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1659 there will only be one list to isolate, but there could be more. */
1661 def_dec_p->f_list_count = 0;
1664 def_dec_p->f_list_chain = NULL;
1665 #endif /* !defined (UNPROTOIZE) */
1669 const char *left_paren_p = find_corresponding_lparen (p);
1672 f_list_chain_item *cip =
1673 (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1676 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1678 /* Add the new chain item at the head of the current list. */
1680 cip->chain_next = def_dec_p->f_list_chain;
1681 def_dec_p->f_list_chain = cip;
1683 #endif /* !defined (UNPROTOIZE) */
1684 def_dec_p->f_list_count++;
1686 p = left_paren_p - 2;
1688 /* p must now point either to another right paren, or to the last
1689 character of the name of the function that was declared/defined.
1690 If p points to another right paren, then this indicates that we
1691 are dealing with multiple formals lists. In that case, there
1692 really should be another right paren preceding this right paren. */
1697 check_aux_info (*--p == ')');
1702 const char *past_fn = p + 1;
1704 check_aux_info (*past_fn == ' ');
1706 /* Scan leftwards over the identifier that names the function. */
1708 while (is_id_char (*p))
1712 /* p now points to the leftmost character of the function name. */
1715 char *fn_string = (char *) alloca (past_fn - p + 1);
1717 strncpy (fn_string, p, (size_t) (past_fn - p));
1718 fn_string[past_fn-p] = '\0';
1719 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1723 /* Look at all of the defs and decs for this function name that we have
1724 collected so far. If there is already one which is at the same
1725 line number in the same file, then we can discard this new def_dec_info
1728 As an extra assurance that any such pair of (nominally) identical
1729 function declarations are in fact identical, we also compare the
1730 ansi_decl parts of the lines from the aux_info files just to be on
1733 This comparison will fail if (for instance) the user was playing
1734 messy games with the preprocessor which ultimately causes one
1735 function declaration in one header file to look differently when
1736 that file is included by two (or more) other files. */
1739 const def_dec_info *other;
1741 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1743 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1745 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1747 fprintf (stderr, "%s:%d: declaration of function `%s' takes different forms\n",
1748 def_dec_p->file->hash_entry->symbol,
1750 def_dec_p->hash_entry->symbol);
1753 free_def_dec (def_dec_p);
1761 /* If we are doing unprotoizing, we must now setup the pointers that will
1762 point to the K&R name list and to the K&R argument declarations list.
1764 Note that if this is only a function declaration, then we should not
1765 expect to find any K&R style formals list following the ANSI-style
1766 formals list. This is because GCC knows that such information is
1767 useless in the case of function declarations (function definitions
1768 are a different story however).
1770 Since we are unprotoizing, we don't need any such lists anyway.
1771 All we plan to do is to delete all characters between ()'s in any
1774 def_dec_p->formal_names = NULL;
1775 def_dec_p->formal_decls = NULL;
1777 if (def_dec_p->is_func_def)
1780 check_aux_info (*++p == ' ');
1781 check_aux_info (*++p == '/');
1782 check_aux_info (*++p == '*');
1783 check_aux_info (*++p == ' ');
1784 check_aux_info (*++p == '(');
1787 const char *kr_names_start = ++p; /* Point just inside '('. */
1791 p--; /* point to closing right paren */
1793 /* Make a copy of the K&R parameter names list. */
1795 def_dec_p->formal_names
1796 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1799 check_aux_info (*++p == ' ');
1802 /* p now points to the first character of the K&R style declarations
1803 list (if there is one) or to the star-slash combination that ends
1804 the comment in which such lists get embedded. */
1806 /* Make a copy of the K&R formal decls list and set the def_dec record
1809 if (*p == '*') /* Are there no K&R declarations? */
1811 check_aux_info (*++p == '/');
1812 def_dec_p->formal_decls = "";
1816 const char *kr_decls_start = p;
1818 while (p[0] != '*' || p[1] != '/')
1822 check_aux_info (*p == ' ');
1824 def_dec_p->formal_decls
1825 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1828 /* Handle a special case. If we have a function definition marked as
1829 being in "old" style, and if it's formal names list is empty, then
1830 it may actually have the string "void" in its real formals list
1831 in the original source code. Just to make sure, we will get setup
1832 to convert such things anyway.
1834 This kludge only needs to be here because of an insurmountable
1835 problem with generating .X files. */
1837 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1838 def_dec_p->prototyped = 1;
1841 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1842 we can just ignore it. If that is true, throw away the itme now. */
1844 if (!def_dec_p->prototyped)
1846 free_def_dec (def_dec_p);
1850 #endif /* defined (UNPROTOIZE) */
1852 /* Add this record to the head of the list of records pertaining to this
1853 particular function name. */
1855 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1856 def_dec_p->hash_entry->ddip = def_dec_p;
1858 /* Add this new def_dec_info record to the sorted list of def_dec_info
1859 records for this file. Note that we don't have to worry about duplicates
1860 (caused by multiple inclusions of header files) here because we have
1861 already eliminated duplicates above. */
1863 if (!def_dec_p->file->defs_decs)
1865 def_dec_p->file->defs_decs = def_dec_p;
1866 def_dec_p->next_in_file = NULL;
1870 int line = def_dec_p->line;
1871 const def_dec_info *prev = NULL;
1872 const def_dec_info *curr = def_dec_p->file->defs_decs;
1873 const def_dec_info *next = curr->next_in_file;
1875 while (next && (line < curr->line))
1879 next = next->next_in_file;
1881 if (line >= curr->line)
1883 def_dec_p->next_in_file = curr;
1885 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
1887 def_dec_p->file->defs_decs = def_dec_p;
1889 else /* assert (next == NULL); */
1891 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
1892 /* assert (next == NULL); */
1893 def_dec_p->next_in_file = next;
1898 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1899 Also set input_file_name_index and aux_info_file_name_index
1900 to the indices of the slots where the file names should go. */
1902 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1903 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1906 munge_compile_params (params_list)
1907 const char *params_list;
1909 /* Build up the contents in a temporary vector
1910 that is so big that to has to be big enough. */
1911 const char **temp_params
1912 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
1913 int param_count = 0;
1916 temp_params[param_count++] = compiler_file_name;
1919 while (isspace (*params_list))
1923 param = params_list;
1924 while (*params_list && !isspace (*params_list))
1926 if (param[0] != '-')
1927 temp_params[param_count++]
1928 = dupnstr (param, (size_t) (params_list - param));
1937 break; /* Don't copy these. */
1939 while (isspace (*params_list))
1941 while (*params_list && !isspace (*params_list))
1945 temp_params[param_count++]
1946 = dupnstr (param, (size_t) (params_list - param));
1952 temp_params[param_count++] = "-aux-info";
1954 /* Leave room for the aux-info file name argument. */
1955 aux_info_file_name_index = param_count;
1956 temp_params[param_count++] = NULL;
1958 temp_params[param_count++] = "-S";
1959 temp_params[param_count++] = "-o";
1960 temp_params[param_count++] = "/dev/null";
1962 /* Leave room for the input file name argument. */
1963 input_file_name_index = param_count;
1964 temp_params[param_count++] = NULL;
1965 /* Terminate the list. */
1966 temp_params[param_count++] = NULL;
1968 /* Make a copy of the compile_params in heap space. */
1971 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
1972 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
1975 /* Do a recompilation for the express purpose of generating a new aux_info
1976 file to go with a specific base source file. */
1979 gen_aux_info_file (base_filename)
1980 const char *base_filename;
1984 if (!input_file_name_index)
1985 munge_compile_params ("");
1987 /* Store the full source file name in the argument vector. */
1988 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
1989 /* Add .X to source file name to get aux-info file name. */
1990 compile_params[aux_info_file_name_index]
1991 = savestring2 (compile_params[input_file_name_index],
1992 strlen (compile_params[input_file_name_index]),
1997 fprintf (stderr, "%s: compiling `%s'\n",
1998 pname, compile_params[input_file_name_index]);
2000 if (child_pid = fork ())
2002 if (child_pid == -1)
2004 fprintf (stderr, "%s: could not fork process: %s\n",
2005 pname, sys_errlist[errno]);
2010 /* Print out the command line that the other process is now executing. */
2016 fputs ("\t", stderr);
2017 for (arg = compile_params; *arg; arg++)
2019 fputs (*arg, stderr);
2020 fputc (' ', stderr);
2022 fputc ('\n', stderr);
2030 if (wait (&wait_status) == -1)
2032 fprintf (stderr, "%s: wait failed: %s\n",
2033 pname, sys_errlist[errno]);
2036 if ((wait_status & 0x7F) != 0)
2038 fprintf (stderr, "%s: subprocess got fatal signal %d",
2039 pname, (wait_status & 0x7F));
2042 if (((wait_status & 0xFF00) >> 8) != 0)
2044 fprintf (stderr, "%s: %s exited with status %d\n",
2045 pname, base_filename, ((wait_status & 0xFF00) >> 8));
2053 if (my_execvp (compile_params[0], (char *const *) compile_params))
2055 int e = errno, f = fileno (stderr);
2056 write (f, pname, strlen (pname));
2058 write (f, compile_params[0], strlen (compile_params[0]));
2060 write (f, sys_errlist[e], strlen (sys_errlist[e]));
2064 return 1; /* Never executed. */
2068 /* Read in all of the information contained in a single aux_info file.
2069 Save all of the important stuff for later. */
2072 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2073 const char *base_source_filename;
2077 size_t base_len = strlen (base_source_filename);
2078 char * aux_info_filename
2079 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2080 char *aux_info_base;
2081 char *aux_info_limit;
2082 char *aux_info_relocated_name;
2083 const char *aux_info_second_line;
2084 time_t aux_info_mtime;
2085 size_t aux_info_size;
2088 /* Construct the aux_info filename from the base source filename. */
2090 strcpy (aux_info_filename, base_source_filename);
2091 strcat (aux_info_filename, aux_info_suffix);
2093 /* Check that the aux_info file exists and is readable. If it does not
2094 exist, try to create it (once only). */
2096 /* If file doesn't exist, set must_create.
2097 Likewise if it exists and we can read it but it is obsolete.
2098 Otherwise, report an error. */
2101 /* Come here with must_create set to 1 if file is out of date. */
2104 if (my_access (aux_info_filename, R_OK) == -1)
2106 if (errno == ENOENT)
2110 fprintf (stderr, "%s: warning: missing SYSCALLS file `%s'\n",
2111 pname, aux_info_filename);
2118 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2119 pname, shortpath (NULL, aux_info_filename),
2120 sys_errlist[errno]);
2125 #if 0 /* There is code farther down to take care of this. */
2129 stat (aux_info_file_name, &s1);
2130 stat (base_source_file_name, &s2);
2131 if (s2.st_mtime > s1.st_mtime)
2136 /* If we need a .X file, create it, and verify we can read it. */
2139 if (!gen_aux_info_file (base_source_filename))
2144 if (my_access (aux_info_filename, R_OK) == -1)
2146 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2147 pname, shortpath (NULL, aux_info_filename),
2148 sys_errlist[errno]);
2155 struct stat stat_buf;
2157 /* Get some status information about this aux_info file. */
2159 if (my_stat (aux_info_filename, &stat_buf) == -1)
2161 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2162 pname, shortpath (NULL, aux_info_filename),
2163 sys_errlist[errno]);
2168 /* Check on whether or not this aux_info file is zero length. If it is,
2169 then just ignore it and return. */
2171 if ((aux_info_size = stat_buf.st_size) == 0)
2174 /* Get the date/time of last modification for this aux_info file and
2175 remember it. We will have to check that any source files that it
2176 contains information about are at least this old or older. */
2178 aux_info_mtime = stat_buf.st_mtime;
2182 /* Compare mod time with the .c file; update .X file if obsolete.
2183 The code later on can fail to check the .c file
2184 if it did not directly define any functions. */
2186 if (my_stat (base_source_filename, &stat_buf) == -1)
2188 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2189 pname, shortpath (NULL, base_source_filename),
2190 sys_errlist[errno]);
2194 if (stat_buf.st_mtime > aux_info_mtime)
2205 /* Open the aux_info file. */
2207 if ((aux_info_file = my_open (aux_info_filename, O_RDONLY, 0444 )) == -1)
2209 fprintf (stderr, "%s: can't open aux info file `%s' for reading: %s\n",
2210 pname, shortpath (NULL, aux_info_filename),
2211 sys_errlist[errno]);
2215 /* Allocate space to hold the aux_info file in memory. */
2217 aux_info_base = xmalloc (aux_info_size + 1);
2218 aux_info_limit = aux_info_base + aux_info_size;
2219 *aux_info_limit = '\0';
2221 /* Read the aux_info file into memory. */
2223 if (read (aux_info_file, aux_info_base, aux_info_size) != aux_info_size)
2225 fprintf (stderr, "%s: error reading aux info file `%s': %s\n",
2226 pname, shortpath (NULL, aux_info_filename),
2227 sys_errlist[errno]);
2228 free (aux_info_base);
2229 close (aux_info_file);
2233 /* Close the aux info file. */
2235 if (close (aux_info_file))
2237 fprintf (stderr, "%s: error closing aux info file `%s': %s\n",
2238 pname, shortpath (NULL, aux_info_filename),
2239 sys_errlist[errno]);
2240 free (aux_info_base);
2241 close (aux_info_file);
2246 /* Delete the aux_info file (unless requested not to). If the deletion
2247 fails for some reason, don't even worry about it. */
2249 if (must_create && !keep_it)
2250 if (my_unlink (aux_info_filename) == -1)
2251 fprintf (stderr, "%s: can't delete aux info file `%s': %s\n",
2252 pname, shortpath (NULL, aux_info_filename),
2253 sys_errlist[errno]);
2255 /* Save a pointer into the first line of the aux_info file which
2256 contains the filename of the directory from which the compiler
2257 was invoked when the associated source file was compiled.
2258 This information is used later to help create complete
2259 filenames out of the (potentially) relative filenames in
2260 the aux_info file. */
2263 char *p = aux_info_base;
2270 invocation_filename = p; /* Save a pointer to first byte of path. */
2275 while (*p++ != '\n')
2277 aux_info_second_line = p;
2278 aux_info_relocated_name = 0;
2279 if (invocation_filename[0] != '/')
2281 /* INVOCATION_FILENAME is relative;
2282 append it to BASE_SOURCE_FILENAME's dir. */
2284 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2285 strcpy (aux_info_relocated_name, base_source_filename);
2286 dir_end = rindex (aux_info_relocated_name, '/');
2290 dir_end = aux_info_relocated_name;
2291 strcpy (dir_end, invocation_filename);
2292 invocation_filename = aux_info_relocated_name;
2298 const char *aux_info_p;
2300 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2301 of the source files referenced in there are at least as old as this
2302 aux_info file itself. If not, go back and regenerate the aux_info
2303 file anew. Don't do any of this for the syscalls file. */
2307 current_aux_info_lineno = 2;
2309 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2311 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2313 free (aux_info_base);
2314 xfree (aux_info_relocated_name);
2315 if (keep_it && my_unlink (aux_info_filename) == -1)
2317 fprintf (stderr, "%s: can't delete file `%s': %s\n",
2318 pname, shortpath (NULL, aux_info_filename),
2319 sys_errlist[errno]);
2325 /* Skip over the rest of this line to start of next line. */
2327 while (*aux_info_p != '\n')
2330 current_aux_info_lineno++;
2334 /* Now do the real pass on the aux_info lines. Save their information in
2335 the in-core data base. */
2337 current_aux_info_lineno = 2;
2339 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2341 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2343 if (unexpanded_line)
2345 save_def_or_dec (unexpanded_line, is_syscalls);
2346 free (unexpanded_line);
2349 save_def_or_dec (aux_info_p, is_syscalls);
2351 /* Skip over the rest of this line and get to start of next line. */
2353 while (*aux_info_p != '\n')
2356 current_aux_info_lineno++;
2360 free (aux_info_base);
2361 xfree (aux_info_relocated_name);
2366 /* Check an individual filename for a .c suffix. If the filename has this
2367 suffix, rename the file such that its suffix is changed to .C. This
2368 function implements the -C option. */
2372 const hash_table_entry *hp;
2374 const char *filename = hp->symbol;
2375 int last_char_index = strlen (filename) - 1;
2376 char *const new_filename = (char *) alloca (strlen (filename) + 1);
2378 /* Note that we don't care here if the given file was converted or not. It
2379 is possible that the given file was *not* converted, simply because there
2380 was nothing in it which actually required conversion. Even in this case,
2381 we want to do the renaming. Note that we only rename files with the .c
2384 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.')
2387 strcpy (new_filename, filename);
2388 new_filename[last_char_index] = 'C';
2390 if (my_link (filename, new_filename) == -1)
2392 fprintf (stderr, "%s: warning: can't link file `%s' to `%s': %s\n",
2393 pname, shortpath (NULL, filename),
2394 shortpath (NULL, new_filename), sys_errlist[errno]);
2399 if (my_unlink (filename) == -1)
2401 fprintf (stderr, "%s: warning: can't delete file `%s': %s\n",
2402 pname, shortpath (NULL, filename), sys_errlist[errno]);
2408 #endif /* !defined (UNPROTOIZE) */
2410 /* Take the list of definitions and declarations attached to a particular
2411 file_info node and reverse the order of the list. This should get the
2412 list into an order such that the item with the lowest associated line
2413 number is nearest the head of the list. When these lists are originally
2414 built, they are in the opposite order. We want to traverse them in
2415 normal line number order later (i.e. lowest to highest) so reverse the
2419 reverse_def_dec_list (hp)
2420 const hash_table_entry *hp;
2422 file_info *file_p = hp->fip;
2423 const def_dec_info *prev = NULL;
2424 const def_dec_info *current = file_p->defs_decs;
2426 if (!( current = file_p->defs_decs))
2427 return; /* no list to reverse */
2430 if (! (current = current->next_in_file))
2431 return; /* can't reverse a single list element */
2433 ((NONCONST def_dec_info *) prev)->next_in_file = NULL;
2437 const def_dec_info *next = current->next_in_file;
2439 ((NONCONST def_dec_info *) current)->next_in_file = prev;
2444 file_p->defs_decs = prev;
2449 /* Find the (only?) extern definition for a particular function name, starting
2450 from the head of the linked list of entries for the given name. If we
2451 cannot find an extern definition for the given function name, issue a
2452 warning and scrounge around for the next best thing, i.e. an extern
2453 function declaration with a prototype attached to it. Note that we only
2454 allow such substitutions for extern declarations and never for static
2455 declarations. That's because the only reason we allow them at all is
2456 to let un-prototyped function declarations for system-supplied library
2457 functions get their prototypes from our own extra SYSCALLS.c.X file which
2458 contains all of the correct prototypes for system functions. */
2460 static const def_dec_info *
2461 find_extern_def (head, user)
2462 const def_dec_info *head;
2463 const def_dec_info *user;
2465 const def_dec_info *dd_p;
2466 const def_dec_info *extern_def_p = NULL;
2467 int conflict_noted = 0;
2469 /* Don't act too stupid here. Somebody may try to convert an entire system
2470 in one swell fwoop (rather than one program at a time, as should be done)
2471 and in that case, we may find that there are multiple extern definitions
2472 of a given function name in the entire set of source files that we are
2473 converting. If however one of these definitions resides in exactly the
2474 same source file as the reference we are trying to satisfy then in that
2475 case it would be stupid for us to fail to realize that this one definition
2476 *must* be the precise one we are looking for.
2478 To make sure that we don't miss an opportunity to make this "same file"
2479 leap of faith, we do a prescan of the list of records relating to the
2480 given function name, and we look (on this first scan) *only* for a
2481 definition of the function which is in the same file as the reference
2482 we are currently trying to satisfy. */
2484 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2485 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2488 /* Now, since we have not found a definition in the same file as the
2489 reference, we scan the list again and consider all possibilities from
2490 all files. Here we may get conflicts with the things listed in the
2491 SYSCALLS.c.X file, but if that happens it only means that the source
2492 code being converted contains its own definition of a function which
2493 could have been supplied by libc.a. In such cases, we should avoid
2494 issuing the normal warning, and defer to the definition given in the
2497 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2498 if (dd_p->is_func_def && !dd_p->is_static)
2500 if (!extern_def_p) /* Previous definition? */
2501 extern_def_p = dd_p; /* Remember the first definition found. */
2504 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2506 if (is_syscalls_file (dd_p->file))
2509 /* Quietly replace the definition previously found with the one
2510 just found if the previous one was from SYSCALLS.c.X. */
2512 if (is_syscalls_file (extern_def_p->file))
2514 extern_def_p = dd_p;
2518 /* If we get here, then there is a conflict between two function
2519 declarations for the same function, both of which came from the
2522 if (!conflict_noted) /* first time we noticed? */
2525 fprintf (stderr, "%s: conflicting extern definitions of '%s'\n",
2526 pname, head->hash_entry->symbol);
2529 fprintf (stderr, "%s: declarations of '%s' will not be converted\n",
2530 pname, head->hash_entry->symbol);
2531 fprintf (stderr, "%s: conflict list for '%s' follows:\n",
2532 pname, head->hash_entry->symbol);
2533 fprintf (stderr, "%s: %s(%d): %s\n",
2535 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2536 extern_def_p->line, extern_def_p->ansi_decl);
2540 fprintf (stderr, "%s: %s(%d): %s\n",
2542 shortpath (NULL, dd_p->file->hash_entry->symbol),
2543 dd_p->line, dd_p->ansi_decl);
2547 /* We want to err on the side of caution, so if we found multiple conflicting
2548 definitions for the same function, treat this as being that same as if we
2549 had found no definitions (i.e. return NULL). */
2556 /* We have no definitions for this function so do the next best thing.
2557 Search for an extern declaration already in prototype form. */
2559 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2560 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2562 extern_def_p = dd_p; /* save a pointer to the definition */
2564 fprintf (stderr, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2566 shortpath (NULL, dd_p->file->hash_entry->symbol),
2567 dd_p->line, dd_p->hash_entry->symbol);
2571 /* Gripe about unprototyped function declarations that we found no
2572 corresponding definition (or other source of prototype information)
2575 Gripe even if the unprototyped declaration we are worried about
2576 exists in a file in one of the "system" include directories. We
2577 can gripe about these because we should have at least found a
2578 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2579 didn't, then that means that the SYSCALLS.c.X file is missing some
2580 needed prototypes for this particular system. That is worth telling
2585 const char *file = user->file->hash_entry->symbol;
2588 if (in_system_include_dir (file))
2590 /* Why copy this string into `needed' at all?
2591 Why not just use user->ansi_decl without copying? */
2592 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2595 strcpy (needed, user->ansi_decl);
2596 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2597 + strlen (user->hash_entry->symbol) + 2;
2598 /* Avoid having ??? in the string. */
2604 fprintf (stderr, "%s: %d: `%s' used but missing from SYSCALLS\n",
2605 shortpath (NULL, file), user->line,
2606 needed+7); /* Don't print "extern " */
2610 fprintf (stderr, "%s: %d: warning: no extern definition for `%s'\n",
2611 shortpath (NULL, file), user->line,
2612 user->hash_entry->symbol);
2616 return extern_def_p;
2619 /* Find the (only?) static definition for a particular function name in a
2620 given file. Here we get the function-name and the file info indirectly
2621 from the def_dec_info record pointer which is passed in. */
2623 static const def_dec_info *
2624 find_static_definition (user)
2625 const def_dec_info *user;
2627 const def_dec_info *head = user->hash_entry->ddip;
2628 const def_dec_info *dd_p;
2629 int num_static_defs = 0;
2630 const def_dec_info *static_def_p = NULL;
2632 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2633 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2635 static_def_p = dd_p; /* save a pointer to the definition */
2638 if (num_static_defs == 0)
2641 fprintf (stderr, "%s: warning: no static definition for `%s' in file `%s'\n",
2642 pname, head->hash_entry->symbol,
2643 shortpath (NULL, user->file->hash_entry->symbol));
2645 else if (num_static_defs > 1)
2647 fprintf (stderr, "%s: multiple static defs of `%s' in file `%s'\n",
2648 pname, head->hash_entry->symbol,
2649 shortpath (NULL, user->file->hash_entry->symbol));
2652 return static_def_p;
2655 /* Find good prototype style formal argument lists for all of the function
2656 declarations which didn't have them before now.
2658 To do this we consider each function name one at a time. For each function
2659 name, we look at the items on the linked list of def_dec_info records for
2660 that particular name.
2662 Somewhere on this list we should find one (and only one) def_dec_info
2663 record which represents the actual function definition, and this record
2664 should have a nice formal argument list already associated with it.
2666 Thus, all we have to do is to connect up all of the other def_dec_info
2667 records for this particular function name to the special one which has
2668 the full-blown formals list.
2670 Of course it is a little more complicated than just that. See below for
2674 connect_defs_and_decs (hp)
2675 const hash_table_entry *hp;
2677 const def_dec_info *dd_p;
2678 const def_dec_info *extern_def_p = NULL;
2679 int first_extern_reference = 1;
2681 /* Traverse the list of definitions and declarations for this particular
2682 function name. For each item on the list, if it is a function
2683 definition (either old style or new style) then GCC has already been
2684 kind enough to produce a prototype for us, and it is associated with
2685 the item already, so declare the item as its own associated "definition".
2687 Also, for each item which is only a function declaration, but which
2688 nonetheless has its own prototype already (obviously supplied by the user)
2689 declare the item as it's own definition.
2691 Note that when/if there are multiple user-supplied prototypes already
2692 present for multiple declarations of any given function, these multiple
2693 prototypes *should* all match exactly with one another and with the
2694 prototype for the actual function definition. We don't check for this
2695 here however, since we assume that the compiler must have already done
2696 this consistency checking when it was creating the .X files. */
2698 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2699 if (dd_p->prototyped)
2700 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2702 /* Traverse the list of definitions and declarations for this particular
2703 function name. For each item on the list, if it is an extern function
2704 declaration and if it has no associated definition yet, go try to find
2705 the matching extern definition for the declaration.
2707 When looking for the matching function definition, warn the user if we
2710 If we find more that one function definition also issue a warning.
2712 Do the search for the matching definition only once per unique function
2713 name (and only when absolutely needed) so that we can avoid putting out
2714 redundant warning messages, and so that we will only put out warning
2715 messages when there is actually a reference (i.e. a declaration) for
2716 which we need to find a matching definition. */
2718 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2719 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2721 if (first_extern_reference)
2723 extern_def_p = find_extern_def (hp->ddip, dd_p);
2724 first_extern_reference = 0;
2726 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2729 /* Traverse the list of definitions and declarations for this particular
2730 function name. For each item on the list, if it is a static function
2731 declaration and if it has no associated definition yet, go try to find
2732 the matching static definition for the declaration within the same file.
2734 When looking for the matching function definition, warn the user if we
2735 fail to find one in the same file with the declaration, and refuse to
2736 convert this kind of cross-file static function declaration. After all,
2737 this is stupid practice and should be discouraged.
2739 We don't have to worry about the possibility that there is more than one
2740 matching function definition in the given file because that would have
2741 been flagged as an error by the compiler.
2743 Do the search for the matching definition only once per unique
2744 function-name/source-file pair (and only when absolutely needed) so that
2745 we can avoid putting out redundant warning messages, and so that we will
2746 only put out warning messages when there is actually a reference (i.e. a
2747 declaration) for which we actually need to find a matching definition. */
2749 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2750 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2752 const def_dec_info *dd_p2;
2753 const def_dec_info *static_def;
2755 /* We have now found a single static declaration for which we need to
2756 find a matching definition. We want to minimize the work (and the
2757 number of warnings), so we will find an appropriate (matching)
2758 static definition for this declaration, and then distribute it
2759 (as the definition for) any and all other static declarations
2760 for this function name which occur within the same file, and which
2761 do not already have definitions.
2763 Note that a trick is used here to prevent subsequent attempts to
2764 call find_static_definition for a given function-name & file
2765 if the first such call returns NULL. Essentially, we convert
2766 these NULL return values to -1, and put the -1 into the definition
2767 field for each other static declaration from the same file which
2768 does not already have an associated definition.
2769 This makes these other static declarations look like they are
2770 actually defined already when the outer loop here revisits them
2771 later on. Thus, the outer loop will skip over them. Later, we
2772 turn the -1's back to NULL's. */
2774 ((NONCONST def_dec_info *) dd_p)->definition =
2775 (static_def = find_static_definition (dd_p))
2777 : (const def_dec_info *) -1;
2779 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2780 if (!dd_p2->is_func_def && dd_p2->is_static
2781 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2782 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2785 /* Convert any dummy (-1) definitions we created in the step above back to
2786 NULL's (as they should be). */
2788 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2789 if (dd_p->definition == (def_dec_info *) -1)
2790 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2793 #endif /* !defined (UNPROTOIZE) */
2795 /* Give a pointer into the clean text buffer, return a number which is the
2796 original source line number that the given pointer points into. */
2799 identify_lineno (clean_p)
2800 const char *clean_p;
2805 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2806 if (*scan_p == '\n')
2811 /* Issue an error message and give up on doing this particular edit. */
2814 declare_source_confusing (clean_p)
2815 const char *clean_p;
2820 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2821 shortpath (NULL, convert_filename), last_known_line_number);
2823 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2824 shortpath (NULL, convert_filename),
2825 identify_lineno (clean_p));
2827 longjmp (source_confusion_recovery, 1);
2830 /* Check that a condition which is expected to be true in the original source
2831 code is in fact true. If not, issue an error message and give up on
2832 converting this particular source file. */
2835 check_source (cond, clean_p)
2837 const char *clean_p;
2840 declare_source_confusing (clean_p);
2843 /* If we think of the in-core cleaned text buffer as a memory mapped
2844 file (with the variable last_known_line_start acting as sort of a
2845 file pointer) then we can imagine doing "seeks" on the buffer. The
2846 following routine implements a kind of "seek" operation for the in-core
2847 (cleaned) copy of the source file. When finished, it returns a pointer to
2848 the start of a given (numbered) line in the cleaned text buffer.
2850 Note that protoize only has to "seek" in the forward direction on the
2851 in-core cleaned text file buffers, and it never needs to back up.
2853 This routine is made a little bit faster by remembering the line number
2854 (and pointer value) supplied (and returned) from the previous "seek".
2855 This prevents us from always having to start all over back at the top
2856 of the in-core cleaned buffer again. */
2862 if (n < last_known_line_number)
2865 while (n > last_known_line_number)
2867 while (*last_known_line_start != '\n')
2868 check_source (++last_known_line_start < clean_text_limit, 0);
2869 last_known_line_start++;
2870 last_known_line_number++;
2872 return last_known_line_start;
2875 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2876 to the next non-whitepace character which follows it. */
2879 forward_to_next_token_char (ptr)
2882 for (++ptr; isspace (*ptr); check_source (++ptr < clean_text_limit, 0))
2887 /* Copy a chunk of text of length `len' and starting at `str' to the current
2888 output buffer. Note that all attempts to add stuff to the current output
2889 buffer ultimately go through here. */
2892 output_bytes (str, len)
2896 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2898 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2899 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2901 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2902 repl_text_base = new_buf;
2903 repl_text_limit = new_buf + new_size;
2905 memcpy (repl_write_ptr + 1, str, len);
2906 repl_write_ptr += len;
2909 /* Copy all bytes (except the trailing null) of a null terminated string to
2910 the current output buffer. */
2916 output_bytes (str, strlen (str));
2919 /* Copy some characters from the original text buffer to the current output
2922 This routine takes a pointer argument `p' which is assumed to be a pointer
2923 into the cleaned text buffer. The bytes which are copied are the `original'
2924 equivalents for the set of bytes between the last value of `clean_read_ptr'
2925 and the argument value `p'.
2927 The set of bytes copied however, comes *not* from the cleaned text buffer,
2928 but rather from the direct counterparts of these bytes within the original
2931 Thus, when this function is called, some bytes from the original text
2932 buffer (which may include original comments and preprocessing directives)
2933 will be copied into the output buffer.
2935 Note that the request implide when this routine is called includes the
2936 byte pointed to by the argument pointer `p'. */
2942 size_t copy_length = (size_t) (p - clean_read_ptr);
2943 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
2945 if (copy_length == 0)
2948 output_bytes (copy_start, copy_length);
2952 /* Given a pointer to a def_dec_info record which represents some form of
2953 definition of a function (perhaps a real definition, or in lieu of that
2954 perhaps just a declaration with a full prototype) return true if this
2955 function is one which we should avoid converting. Return false
2959 other_variable_style_function (ansi_header)
2960 const char *ansi_header;
2964 /* See if we have a stdarg function, or a function which has stdarg style
2965 parameters or a stdarg style return type. */
2967 return substr (ansi_header, "...") != 0;
2969 #else /* !defined (UNPROTOIZE) */
2971 /* See if we have a varargs function, or a function which has varargs style
2972 parameters or a varargs style return type. */
2975 int len = strlen (varargs_style_indicator);
2977 for (p = ansi_header; p; )
2979 const char *candidate;
2981 if ((candidate = substr (p, varargs_style_indicator)) == 0)
2984 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
2990 #endif /* !defined (UNPROTOIZE) */
2993 /* Do the editing operation specifically for a function "declaration". Note
2994 that editing for function "definitions" are handled in a separate routine
2998 edit_fn_declaration (def_dec_p, clean_text_p)
2999 const def_dec_info *def_dec_p;
3000 const char *volatile clean_text_p;
3002 const char *start_formals;
3003 const char *end_formals;
3004 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3005 size_t func_name_len = strlen (function_to_edit);
3006 const char *end_of_fn_name;
3010 const f_list_chain_item *this_f_list_chain_item;
3011 const def_dec_info *definition = def_dec_p->definition;
3013 /* If we are protoizing, and if we found no corresponding definition for
3014 this particular function declaration, then just leave this declaration
3015 exactly as it is. */
3020 /* If we are protoizing, and if the corresponding definition that we found
3021 for this particular function declaration defined an old style varargs
3022 function, then we want to issue a warning and just leave this function
3023 declaration unconverted. */
3025 if (other_variable_style_function (definition->ansi_decl))
3028 fprintf (stderr, "%s: %d: warning: varargs function declaration not converted\n",
3029 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3034 #endif /* !defined (UNPROTOIZE) */
3036 /* Setup here to recover from confusing source code detected during this
3037 particular "edit". */
3040 if (setjmp (source_confusion_recovery))
3042 restore_pointers ();
3043 fprintf (stderr, "%s: declaration of function `%s' not converted\n",
3044 pname, function_to_edit);
3048 /* We are editing a function declaration. The line number we did a seek to
3049 contains the comma or semicolon which follows the declaration. Our job
3050 now is to scan backwards looking for the function name. This name *must*
3051 be followed by open paren (ignoring whitespace, of course). We need to
3052 replace everything between that open paren and the corresponding closing
3053 paren. If we are protoizing, we need to insert the prototype-style
3054 formals lists. If we are unprotoizing, we need to just delete everything
3055 between the pairs of opening and closing parens. */
3057 /* First move up to the end of the line. */
3059 while (*clean_text_p != '\n')
3060 check_source (++clean_text_p < clean_text_limit, 0);
3061 clean_text_p--; /* Point to just before the newline character. */
3063 /* Now we can scan backwards for the function name. */
3069 /* Scan leftwards until we find some character which can be
3070 part of an identifier. */
3072 while (!is_id_char (*clean_text_p))
3073 check_source (--clean_text_p > clean_read_ptr, 0);
3075 /* Scan backwards until we find a char that cannot be part of an
3078 while (is_id_char (*clean_text_p))
3079 check_source (--clean_text_p > clean_read_ptr, 0);
3081 /* Having found an "id break", see if the following id is the one
3082 that we are looking for. If so, then exit from this loop. */
3084 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3086 char ch = *(clean_text_p + 1 + func_name_len);
3088 /* Must also check to see that the name in the source text
3089 ends where it should (in order to prevent bogus matches
3090 on similar but longer identifiers. */
3092 if (! is_id_char (ch))
3093 break; /* exit from loop */
3097 /* We have now found the first perfect match for the function name in
3098 our backward search. This may or may not be the actual function
3099 name at the start of the actual function declaration (i.e. we could
3100 have easily been mislead). We will try to avoid getting fooled too
3101 often by looking forward for the open paren which should follow the
3102 identifier we just found. We ignore whitespace while hunting. If
3103 the next non-whitespace byte we see is *not* an open left paren,
3104 then we must assume that we have been fooled and we start over
3105 again accordingly. Note that there is no guarantee, that even if
3106 we do see the open paren, that we are in the right place.
3107 Programmers do the strangest things sometimes! */
3109 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3110 start_formals = forward_to_next_token_char (end_of_fn_name);
3112 while (*start_formals != '(');
3114 /* start_of_formals now points to the opening left paren which immediately
3115 follows the name of the function. */
3117 /* Note that there may be several formals lists which need to be modified
3118 due to the possibility that the return type of this function is a
3119 pointer-to-function type. If there are several formals lists, we
3120 convert them in left-to-right order here. */
3123 this_f_list_chain_item = definition->f_list_chain;
3124 #endif /* !defined (UNPROTOIZE) */
3131 end_formals = start_formals + 1;
3133 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3135 switch (*end_formals)
3148 /* end_formals now points to the closing right paren of the formals
3149 list whose left paren is pointed to by start_formals. */
3151 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3152 attached to the associated definition of this function. If however
3153 we are unprotoizing, then we simply delete any formals list which
3156 output_up_to (start_formals);
3158 if (this_f_list_chain_item)
3160 output_string (this_f_list_chain_item->formals_list);
3161 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3166 fprintf (stderr, "%s: warning: too many parameter lists in declaration of `%s'\n",
3167 pname, def_dec_p->hash_entry->symbol);
3168 check_source (0, end_formals); /* leave the declaration intact */
3170 #endif /* !defined (UNPROTOIZE) */
3171 clean_read_ptr = end_formals - 1;
3173 /* Now see if it looks like there may be another formals list associated
3174 with the function declaration that we are converting (following the
3175 formals list that we just converted. */
3178 const char *another_r_paren = forward_to_next_token_char (end_formals);
3180 if ((*another_r_paren != ')')
3181 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3184 if (this_f_list_chain_item)
3187 fprintf (stderr, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3188 pname, def_dec_p->hash_entry->symbol);
3189 check_source (0, start_formals); /* leave the decl intact */
3191 #endif /* !defined (UNPROTOIZE) */
3197 /* There does appear to be yet another formals list, so loop around
3198 again, and convert it also. */
3202 /* Edit a whole group of formals lists, starting with the rightmost one
3203 from some set of formals lists. This routine is called once (from the
3204 outside) for each function declaration which is converted. It is
3205 recursive however, and it calls itself once for each remaining formal
3206 list that lies to the left of the one it was originally called to work
3207 on. Thus, a whole set gets done in right-to-left order.
3209 This routine returns non-zero if it thinks that it should not be trying
3210 to convert this particular function definition (because the name of the
3211 function doesn't match the one expected). */
3214 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3215 const char *end_formals;
3216 unsigned int f_list_count;
3217 const def_dec_info *def_dec_p;
3219 const char *start_formals;
3222 start_formals = end_formals - 1;
3224 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3226 switch (*start_formals)
3238 /* start_formals now points to the opening left paren of the formals list. */
3244 const char *next_end;
3246 /* There should be more formal lists to the left of here. */
3248 next_end = start_formals - 1;
3249 check_source (next_end > clean_read_ptr, 0);
3250 while (isspace (*next_end))
3251 check_source (--next_end > clean_read_ptr, 0);
3252 check_source (*next_end == ')', next_end);
3253 check_source (--next_end > clean_read_ptr, 0);
3254 check_source (*next_end == ')', next_end);
3255 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3259 /* Check that the function name in the header we are working on is the same
3260 as the one we would expect to find. If not, issue a warning and return
3263 if (f_list_count == 0)
3265 const char *expected = def_dec_p->hash_entry->symbol;
3266 const char *func_name_start;
3267 const char *func_name_limit;
3268 size_t func_name_len;
3270 for (func_name_limit = start_formals-1; isspace (*func_name_limit); )
3271 check_source (--func_name_limit > clean_read_ptr, 0);
3273 for (func_name_start = func_name_limit++;
3274 is_id_char (*func_name_start);
3276 check_source (func_name_start > clean_read_ptr, 0);
3278 func_name_len = func_name_limit - func_name_start;
3279 if (func_name_len == 0)
3280 check_source (0, func_name_start);
3281 if (func_name_len != strlen (expected)
3282 || strncmp (func_name_start, expected, func_name_len))
3284 fprintf (stderr, "%s: %d: warning: found `%s' but expected `%s'\n",
3285 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3286 identify_lineno (func_name_start),
3287 dupnstr (func_name_start, func_name_len),
3293 output_up_to (start_formals);
3296 if (f_list_count == 0)
3297 output_string (def_dec_p->formal_names);
3298 #else /* !defined (UNPROTOIZE) */
3300 unsigned f_list_depth;
3301 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3303 /* At this point, the current value of f_list count says how many
3304 links we have to follow through the f_list_chain to get to the
3305 particular formals list that we need to output next. */
3307 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3308 flci_p = flci_p->chain_next;
3309 output_string (flci_p->formals_list);
3311 #endif /* !defined (UNPROTOIZE) */
3313 clean_read_ptr = end_formals - 1;
3317 /* Given a pointer to a byte in the clean text buffer which points to the
3318 beginning of a line that contains a "follower" token for a function
3319 definition header, do whatever is necessary to find the right closing
3320 paren for the rightmost formals list of the function definition header.
3324 find_rightmost_formals_list (clean_text_p)
3325 const char *clean_text_p;
3327 const char *end_formals;
3329 /* We are editing a function definition. The line number we did a seek
3330 to contains the first token which immediately follows the entire set of
3331 formals lists which are part of this particular function definition
3334 Our job now is to scan leftwards in the clean text looking for the
3335 right-paren which is at the end of the function header's rightmost
3338 If we ignore whitespace, this right paren should be the first one we
3339 see which is (ignoring whitespace) immediately followed either by the
3340 open curly-brace beginning the function body or by an alphabetic
3341 character (in the case where the function definition is in old (K&R)
3342 style and there are some declarations of formal parameters). */
3344 /* It is possible that the right paren we are looking for is on the
3345 current line (together with its following token). Just in case that
3346 might be true, we start out here by skipping down to the right end of
3347 the current line before starting our scan. */
3349 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3355 /* Now scan backwards while looking for the right end of the rightmost
3356 formals list associated with this function definition. */
3360 const char *l_brace_p;
3362 /* Look leftward and try to find a right-paren. */
3364 while (*end_formals != ')')
3366 if (isspace (*end_formals))
3367 while (isspace (*end_formals))
3368 check_source (--end_formals > clean_read_ptr, 0);
3370 check_source (--end_formals > clean_read_ptr, 0);
3373 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3374 /* Since we are unprotoizing an ANSI-style (prototyped) function
3375 definition, there had better not be anything (except whitespace)
3376 between the end of the ANSI formals list and the beginning of the
3377 function body (i.e. the '{'). */
3379 check_source (ch == '{', l_brace_p);
3382 #else /* !defined (UNPROTOIZE) */
3384 /* Now scan backwards while looking for the right end of the rightmost
3385 formals list associated with this function definition. */
3390 const char *l_brace_p;
3392 /* Look leftward and try to find a right-paren. */
3394 while (*end_formals != ')')
3396 if (isspace (*end_formals))
3397 while (isspace (*end_formals))
3398 check_source (--end_formals > clean_read_ptr, 0);
3400 check_source (--end_formals > clean_read_ptr, 0);
3403 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3405 /* Since it is possible that we found a right paren before the starting
3406 '{' of the body which IS NOT the one at the end of the real K&R
3407 formals list (say for instance, we found one embedded inside one of
3408 the old K&R formal parameter declarations) we have to check to be
3409 sure that this is in fact the right paren that we were looking for.
3411 The one we were looking for *must* be followed by either a '{' or
3412 by an alphabetic character, while others *cannot* legally be followed
3413 by such characters. */
3415 if ((ch == '{') || isalpha (ch))
3418 /* At this point, we have found a right paren, but we know that it is
3419 not the one we were looking for, so backup one character and keep
3422 check_source (--end_formals > clean_read_ptr, 0);
3425 #endif /* !defined (UNPROTOIZE) */
3432 /* Insert into the output file a totally new declaration for a function
3433 which (up until now) was being called from within the current block
3434 without having been declared at any point such that the declaration
3435 was visible (i.e. in scope) at the point of the call.
3437 We need to add in explicit declarations for all such function calls
3438 in order to get the full benefit of prototype-based function call
3439 parameter type checking. */
3442 add_local_decl (def_dec_p, clean_text_p)
3443 const def_dec_info *def_dec_p;
3444 const char *clean_text_p;
3446 const char *start_of_block;
3447 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3449 /* Don't insert new local explicit declarations unless explicitly requested
3455 /* Setup here to recover from confusing source code detected during this
3456 particular "edit". */
3459 if (setjmp (source_confusion_recovery))
3461 restore_pointers ();
3462 fprintf (stderr, "%s: local declaration for function `%s' not inserted\n",
3463 pname, function_to_edit);
3467 /* We have already done a seek to the start of the line which should
3468 contain *the* open curly brace which begins the block in which we need
3469 to insert an explicit function declaration (to replace the implicit one).
3471 Now we scan that line, starting from the left, until we find the
3472 open curly brace we are looking for. Note that there may actually be
3473 multiple open curly braces on the given line, but we will be happy
3474 with the leftmost one no matter what. */
3476 start_of_block = clean_text_p;
3477 while (*start_of_block != '{' && *start_of_block != '\n')
3478 check_source (++start_of_block < clean_text_limit, 0);
3480 /* Note that the line from the original source could possibly
3481 contain *no* open curly braces! This happens if the line contains
3482 a macro call which expands into a chunk of text which includes a
3483 block (and that block's associated open and close curly braces).
3484 In cases like this, we give up, issue a warning, and do nothing. */
3486 if (*start_of_block != '{')
3490 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3491 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3492 def_dec_p->hash_entry->symbol);
3496 /* Figure out what a nice (pretty) indentation would be for the new
3497 declaration we are adding. In order to do this, we must scan forward
3498 from the '{' until we find the first line which starts with some
3499 non-whitespace characters (i.e. real "token" material). */
3502 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3505 /* Now we have ep pointing at the rightmost byte of some existing indent
3506 stuff. At least that is the hope.
3508 We can now just scan backwards and find the left end of the existing
3509 indentation string, and then copy it to the output buffer. */
3511 for (sp = ep; isspace (*sp) && *sp != '\n'; sp--)
3514 /* Now write out the open { which began this block, and any following
3515 trash up to and including the last byte of the existing indent that
3520 /* Now we go ahead and insert the new declaration at this point.
3522 If the definition of the given function is in the same file that we
3523 are currently editing, and if its full ANSI declaration normally
3524 would start with the keyword `extern', suppress the `extern'. */
3527 const char *decl = def_dec_p->definition->ansi_decl;
3529 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3531 output_string (decl);
3534 /* Finally, write out a new indent string, just like the preceding one
3535 that we found. This will typically include a newline as the first
3536 character of the indent string. */
3538 output_bytes (sp, (size_t) (ep - sp) + 1);
3542 /* Given a pointer to a file_info record, and a pointer to the beginning
3543 of a line (in the clean text buffer) which is assumed to contain the
3544 first "follower" token for the first function definition header in the
3545 given file, find a good place to insert some new global function
3546 declarations (which will replace scattered and imprecise implicit ones)
3547 and then insert the new explicit declaration at that point in the file. */
3550 add_global_decls (file_p, clean_text_p)
3551 const file_info *file_p;
3552 const char *clean_text_p;
3554 const def_dec_info *dd_p;
3557 /* Setup here to recover from confusing source code detected during this
3558 particular "edit". */
3561 if (setjmp (source_confusion_recovery))
3563 restore_pointers ();
3564 fprintf (stderr, "%s: global declarations for file `%s' not inserted\n",
3565 pname, shortpath (NULL, file_p->hash_entry->symbol));
3569 /* Start by finding a good location for adding the new explicit function
3570 declarations. To do this, we scan backwards, ignoring whitespace
3571 and comments and other junk until we find either a semicolon, or until
3572 we hit the beginning of the file. */
3574 scan_p = find_rightmost_formals_list (clean_text_p);
3577 if (scan_p < clean_text_base)
3579 check_source (scan_p > clean_read_ptr, 0);
3584 /* scan_p now points either to a semicolon, or to just before the start
3585 of the whole file. */
3587 /* Now scan forward for the first non-whitespace character. In theory,
3588 this should be the first character of the following function definition
3589 header. We will put in the added declarations just prior to that. */
3592 while (isspace (*scan_p))
3596 output_up_to (scan_p);
3598 /* Now write out full prototypes for all of the things that had been
3599 implicitly declared in this file (but only those for which we were
3600 actually able to find unique matching definitions). Avoid duplicates
3601 by marking things that we write out as we go. */
3604 int some_decls_added = 0;
3606 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3607 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3609 const char *decl = dd_p->definition->ansi_decl;
3611 /* If the function for which we are inserting a declaration is
3612 actually defined later in the same file, then suppress the
3613 leading `extern' keyword (if there is one). */
3615 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3618 output_string ("\n");
3619 output_string (decl);
3620 some_decls_added = 1;
3621 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3623 if (some_decls_added)
3624 output_string ("\n\n");
3627 /* Unmark all of the definitions that we just marked. */
3629 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3630 if (dd_p->definition)
3631 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3634 #endif /* !defined (UNPROTOIZE) */
3636 /* Do the editing operation specifically for a function "definition". Note
3637 that editing operations for function "declarations" are handled by a
3638 separate routine above. */
3641 edit_fn_definition (def_dec_p, clean_text_p)
3642 const def_dec_info *def_dec_p;
3643 const char *clean_text_p;
3645 const char *end_formals;
3646 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3648 /* Setup here to recover from confusing source code detected during this
3649 particular "edit". */
3652 if (setjmp (source_confusion_recovery))
3654 restore_pointers ();
3655 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3656 pname, function_to_edit);
3660 end_formals = find_rightmost_formals_list (clean_text_p);
3662 /* end_of_formals now points to the closing right paren of the rightmost
3663 formals list which is actually part of the `header' of the function
3664 definition that we are converting. */
3666 /* If the header of this function definition looks like it declares a
3667 function with a variable number of arguments, and if the way it does
3668 that is different from that way we would like it (i.e. varargs vs.
3669 stdarg) then issue a warning and leave the header unconverted. */
3671 if (other_variable_style_function (def_dec_p->ansi_decl))
3674 fprintf (stderr, "%s: %d: warning: definition of %s not converted\n",
3675 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3676 identify_lineno (end_formals),
3678 output_up_to (end_formals);
3682 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3684 restore_pointers ();
3685 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3686 pname, function_to_edit);
3690 /* Have to output the last right paren because this never gets flushed by
3691 edit_formals_list. */
3693 output_up_to (end_formals);
3698 const char *semicolon_p;
3699 const char *limit_p;
3701 int had_newlines = 0;
3703 /* Now write out the K&R style formal declarations, one per line. */
3705 decl_p = def_dec_p->formal_decls;
3706 limit_p = decl_p + strlen (decl_p);
3707 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3709 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3711 output_string ("\n");
3712 output_string (indent_string);
3713 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3716 /* If there are no newlines between the end of the formals list and the
3717 start of the body, we should insert one now. */
3719 for (scan_p = end_formals+1; *scan_p != '{'; )
3721 if (*scan_p == '\n')
3726 check_source (++scan_p < clean_text_limit, 0);
3729 output_string ("\n");
3731 #else /* !defined (UNPROTOIZE) */
3732 /* If we are protoizing, there may be some flotsum & jetsum (like comments
3733 and preprocessing directives) after the old formals list but before
3734 the following { and we would like to preserve that stuff while effectively
3735 deleting the existing K&R formal parameter declarations. We do so here
3736 in a rather tricky way. Basically, we white out any stuff *except*
3737 the comments/pp-directives in the original text buffer, then, if there
3738 is anything in this area *other* than whitespace, we output it. */
3740 const char *end_formals_orig;
3741 const char *start_body;
3742 const char *start_body_orig;
3744 const char *scan_orig;
3745 int have_flotsum = 0;
3746 int have_newlines = 0;
3748 for (start_body = end_formals + 1; *start_body != '{';)
3749 check_source (++start_body < clean_text_limit, 0);
3751 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3752 start_body_orig = orig_text_base + (start_body - clean_text_base);
3753 scan = end_formals + 1;
3754 scan_orig = end_formals_orig + 1;
3755 for (; scan < start_body; scan++, scan_orig++)
3757 if (*scan == *scan_orig)
3759 have_newlines |= (*scan_orig == '\n');
3760 /* Leave identical whitespace alone. */
3761 if (!isspace (*scan_orig))
3762 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3768 output_bytes (end_formals_orig + 1,
3769 (size_t) (start_body_orig - end_formals_orig) - 1);
3772 output_string ("\n");
3774 output_string (" ");
3775 clean_read_ptr = start_body - 1;
3777 #endif /* !defined (UNPROTOIZE) */
3780 /* Clean up the clean text buffer. Do this by converting comments and
3781 preprocessor directives into spaces. Also convert line continuations
3782 into whitespace. Also, whiteout string and character literals. */
3785 do_cleaning (new_clean_text_base, new_clean_text_limit)
3786 char *new_clean_text_base;
3787 char *new_clean_text_limit;
3790 int non_whitespace_since_newline = 0;
3792 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3796 case '/': /* Handle comments. */
3797 if (scan_p[1] != '*')
3799 non_whitespace_since_newline = 1;
3803 while (scan_p[1] != '/' || scan_p[0] != '*')
3805 if (!isspace (*scan_p))
3807 if (++scan_p >= new_clean_text_limit)
3814 case '#': /* Handle pp directives. */
3815 if (non_whitespace_since_newline)
3818 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3820 if (!isspace (*scan_p))
3822 if (++scan_p >= new_clean_text_limit)
3828 case '\'': /* Handle character literals. */
3829 non_whitespace_since_newline = 1;
3830 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3832 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3834 if (!isspace (*scan_p))
3836 if (++scan_p >= new_clean_text_limit)
3842 case '"': /* Handle string literals. */
3843 non_whitespace_since_newline = 1;
3844 while (scan_p[1] != '"' || scan_p[0] == '\\')
3846 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3848 if (!isspace (*scan_p))
3850 if (++scan_p >= new_clean_text_limit)
3856 case '\\': /* Handle line continuations. */
3857 if (scan_p[1] != '\n')
3863 non_whitespace_since_newline = 0; /* Reset. */
3872 break; /* Whitespace characters. */
3876 non_whitespace_since_newline = 1;
3882 /* Given a pointer to the closing right parenthesis for a particular formals
3883 list (in the clean text buffer) find the corresponding left parenthesis
3884 and return a pointer to it. */
3887 careful_find_l_paren (p)
3893 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
3908 /* Scan the clean text buffer for cases of function definitions that we
3909 don't really know about because they were preprocessed out when the
3910 aux info files were created.
3912 In this version of protoize/unprotoize we just give a warning for each
3913 one found. A later version may be able to at least unprotoize such
3916 Note that we may easily find all function definitions simply by
3917 looking for places where there is a left paren which is (ignoring
3918 whitespace) immediately followed by either a left-brace or by an
3919 upper or lower case letter. Whenever we find this combination, we
3920 have also found a function definition header.
3922 Finding function *declarations* using syntactic clues is much harder.
3923 I will probably try to do this in a later version though. */
3926 scan_for_missed_items (file_p)
3927 const file_info *file_p;
3929 static const char *scan_p;
3930 const char *limit = clean_text_limit - 3;
3931 static const char *backup_limit;
3933 backup_limit = clean_text_base - 1;
3935 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
3939 static const char *last_r_paren;
3940 const char *ahead_p;
3942 last_r_paren = scan_p;
3944 for (ahead_p = scan_p + 1; isspace (*ahead_p); )
3945 check_source (++ahead_p < limit, limit);
3947 scan_p = ahead_p - 1;
3949 if (isalpha (*ahead_p) || *ahead_p == '{')
3951 const char *last_l_paren;
3952 const int lineno = identify_lineno (ahead_p);
3954 if (setjmp (source_confusion_recovery))
3957 /* We know we have a function definition header. Now skip
3958 leftwards over all of its associated formals lists. */
3962 last_l_paren = careful_find_l_paren (last_r_paren);
3963 for (last_r_paren = last_l_paren-1; isspace (*last_r_paren); )
3964 check_source (--last_r_paren >= backup_limit, backup_limit);
3966 while (*last_r_paren == ')');
3968 if (is_id_char (*last_r_paren))
3970 const char *id_limit = last_r_paren + 1;
3971 const char *id_start;
3973 const def_dec_info *dd_p;
3975 for (id_start = id_limit-1; is_id_char (*id_start); )
3976 check_source (--id_start >= backup_limit, backup_limit);
3978 backup_limit = id_start;
3979 if ((id_length = (size_t) (id_limit - id_start)) == 0)
3983 char *func_name = (char *) alloca (id_length + 1);
3984 static const char * const stmt_keywords[]
3985 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
3986 const char * const *stmt_keyword;
3988 strncpy (func_name, id_start, id_length);
3989 func_name[id_length] = '\0';
3991 /* We must check here to see if we are actually looking at
3992 a statement rather than an actual function call. */
3994 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
3995 if (!strcmp (func_name, *stmt_keyword))
3999 fprintf (stderr, "%s: found definition of `%s' at %s(%d)\n",
4002 shortpath (NULL, file_p->hash_entry->symbol),
4003 identify_lineno (id_start));
4005 /* We really should check for a match of the function name
4006 here also, but why bother. */
4008 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4009 if (dd_p->is_func_def && dd_p->line == lineno)
4012 /* If we make it here, then we did not know about this
4013 function definition. */
4015 fprintf (stderr, "%s: %d: warning: `%s' excluded by preprocessing\n",
4016 shortpath (NULL, file_p->hash_entry->symbol),
4017 identify_lineno (id_start), func_name);
4018 fprintf (stderr, "%s: function definition not converted\n",
4028 /* Do all editing operations for a single source file (either a "base" file
4029 or an "include" file). To do this we read the file into memory, keep a
4030 virgin copy there, make another cleaned in-core copy of the original file
4031 (i.e. one in which all of the comments and preprocessor directives have
4032 been replaced with whitespace), then use these two in-core copies of the
4033 file to make a new edited in-core copy of the file. Finally, rename the
4034 original file (as a way of saving it), and then write the edited version
4035 of the file from core to a disk file of the same name as the original.
4037 Note that the trick of making a copy of the original sans comments &
4038 preprocessor directives make the editing a whole lot easier. */
4042 const hash_table_entry *hp;
4044 struct stat stat_buf;
4045 const file_info *file_p = hp->fip;
4046 char *new_orig_text_base;
4047 char *new_orig_text_limit;
4048 char *new_clean_text_base;
4049 char *new_clean_text_limit;
4052 int first_definition_in_file;
4054 /* If we are not supposed to be converting this file, or if there is
4055 nothing in there which needs converting, just skip this file. */
4057 if (!needs_to_be_converted (file_p))
4060 convert_filename = file_p->hash_entry->symbol;
4062 /* Convert a file if it is in a directory where we want conversion
4063 and the file is not excluded. */
4065 if (!directory_specified_p (convert_filename)
4066 || file_excluded_p (convert_filename))
4070 /* Don't even mention "system" include files unless we are
4071 protoizing. If we are protoizing, we mention these as a
4072 gentle way of prodding the user to convert his "system"
4073 include files to prototype format. */
4074 && !in_system_include_dir (convert_filename)
4075 #endif /* defined (UNPROTOIZE) */
4077 fprintf (stderr, "%s: `%s' not converted\n",
4078 pname, shortpath (NULL, convert_filename));
4082 /* Let the user know what we are up to. */
4085 fprintf (stderr, "%s: would convert file `%s'\n",
4086 pname, shortpath (NULL, convert_filename));
4088 fprintf (stderr, "%s: converting file `%s'\n",
4089 pname, shortpath (NULL, convert_filename));
4092 /* Find out the size (in bytes) of the original file. */
4094 /* The cast avoids an erroneous warning on AIX. */
4095 if (my_stat ((char *)convert_filename, &stat_buf) == -1)
4097 fprintf (stderr, "%s: can't get status for file `%s': %s\n",
4098 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4101 orig_size = stat_buf.st_size;
4103 /* Allocate a buffer to hold the original text. */
4105 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4106 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4108 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4110 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4111 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4112 clean_read_ptr = clean_text_base - 1;
4114 /* Allocate a buffer that will hopefully be large enough to hold the entire
4115 converted output text. As an initial guess for the maximum size of the
4116 output buffer, use 125% of the size of the original + some extra. This
4117 buffer can be expanded later as needed. */
4119 repl_size = orig_size + (orig_size >> 2) + 4096;
4120 repl_text_base = (char *) xmalloc (repl_size + 2);
4121 repl_text_limit = repl_text_base + repl_size - 1;
4122 repl_write_ptr = repl_text_base - 1;
4127 /* Open the file to be converted in READ ONLY mode. */
4129 if ((input_file = my_open (convert_filename, O_RDONLY, 0444)) == -1)
4131 fprintf (stderr, "%s: can't open file `%s' for reading: %s\n",
4132 pname, shortpath (NULL, convert_filename),
4133 sys_errlist[errno]);
4137 /* Read the entire original source text file into the original text buffer
4138 in one swell fwoop. Then figure out where the end of the text is and
4139 make sure that it ends with a newline followed by a null. */
4141 if (read (input_file, new_orig_text_base, orig_size) != orig_size)
4144 fprintf (stderr, "\n%s: error reading input file `%s': %s\n",
4145 pname, shortpath (NULL, convert_filename),
4146 sys_errlist[errno]);
4153 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4155 *new_orig_text_limit++ = '\n';
4159 /* Create the cleaned up copy of the original text. */
4161 memcpy (new_clean_text_base, orig_text_base,
4162 (size_t) (orig_text_limit - orig_text_base));
4163 do_cleaning (new_clean_text_base, new_clean_text_limit);
4168 size_t clean_size = orig_text_limit - orig_text_base;
4169 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4171 /* Open (and create) the clean file. */
4173 strcpy (clean_filename, convert_filename);
4174 strcat (clean_filename, ".clean");
4175 if ((clean_file = creat (clean_filename, 0666)) == -1)
4177 fprintf (stderr, "%s: can't create/open clean file `%s': %s\n",
4178 pname, shortpath (NULL, clean_filename),
4179 sys_errlist[errno]);
4183 /* Write the clean file. */
4185 if (write (clean_file, new_clean_text_base, clean_size) != clean_size)
4186 fprintf (stderr, "%s: error writing file `%s': %s\n",
4187 pname, shortpath (NULL, clean_filename), sys_errlist[errno]);
4193 /* Do a simplified scan of the input looking for things that were not
4194 mentioned in the aux info files because of the fact that they were
4195 in a region of the source which was preprocessed-out (via #if or
4198 scan_for_missed_items (file_p);
4200 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4202 last_known_line_number = 1;
4203 last_known_line_start = clean_text_base;
4205 /* Now get down to business and make all of the necessary edits. */
4208 const def_dec_info *def_dec_p;
4210 first_definition_in_file = 1;
4211 def_dec_p = file_p->defs_decs;
4212 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4214 const char *clean_text_p = seek_to_line (def_dec_p->line);
4216 /* clean_text_p now points to the first character of the line which
4217 contains the `terminator' for the declaration or definition that
4218 we are about to process. */
4222 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4224 add_global_decls (def_dec_p->file, clean_text_p);
4225 first_definition_in_file = 0;
4228 /* Don't edit this item if it is already in prototype format or if it
4229 is a function declaration and we have found no corresponding
4232 if (def_dec_p->prototyped
4233 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4236 #endif /* !defined (UNPROTOIZE) */
4238 if (def_dec_p->is_func_def)
4239 edit_fn_definition (def_dec_p, clean_text_p);
4242 if (def_dec_p->is_implicit)
4243 add_local_decl (def_dec_p, clean_text_p);
4245 #endif /* !defined (UNPROTOIZE) */
4246 edit_fn_declaration (def_dec_p, clean_text_p);
4250 /* Finalize things. Output the last trailing part of the original text. */
4252 output_up_to (clean_text_limit - 1);
4254 /* If this is just a test run, stop now and just deallocate the buffers. */
4258 free (new_orig_text_base);
4259 free (new_clean_text_base);
4260 free (repl_text_base);
4264 /* Change the name of the original input file. This is just a quick way of
4265 saving the original file. */
4269 char *new_filename =
4270 (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4272 strcpy (new_filename, convert_filename);
4273 strcat (new_filename, save_suffix);
4274 if (my_link (convert_filename, new_filename) == -1)
4276 if (errno == EEXIST)
4279 fprintf (stderr, "%s: warning: file `%s' already saved in `%s'\n",
4281 shortpath (NULL, convert_filename),
4282 shortpath (NULL, new_filename));
4286 fprintf (stderr, "%s: can't link file `%s' to `%s': %s\n",
4288 shortpath (NULL, convert_filename),
4289 shortpath (NULL, new_filename),
4290 sys_errlist[errno]);
4296 if (my_unlink (convert_filename) == -1)
4298 fprintf (stderr, "%s: can't delete file `%s': %s\n",
4299 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4306 /* Open (and create) the output file. */
4308 if ((output_file = creat (convert_filename, 0666)) == -1)
4310 fprintf (stderr, "%s: can't create/open output file `%s': %s\n",
4311 pname, shortpath (NULL, convert_filename),
4312 sys_errlist[errno]);
4316 /* Write the output file. */
4319 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4321 if (write (output_file, repl_text_base, out_size) != out_size)
4322 fprintf (stderr, "%s: error writing file `%s': %s\n",
4323 pname, shortpath (NULL, convert_filename),
4324 sys_errlist[errno]);
4327 close (output_file);
4330 /* Deallocate the conversion buffers. */
4332 free (new_orig_text_base);
4333 free (new_clean_text_base);
4334 free (repl_text_base);
4336 /* Change the mode of the output file to match the original file. */
4338 /* The cast avoids an erroneous warning on AIX. */
4339 if (my_chmod ((char *)convert_filename, stat_buf.st_mode) == -1)
4340 fprintf (stderr, "%s: can't change mode of file `%s': %s\n",
4341 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4343 /* Note: We would try to change the owner and group of the output file
4344 to match those of the input file here, except that may not be a good
4345 thing to do because it might be misleading. Also, it might not even
4346 be possible to do that (on BSD systems with quotas for instance). */
4349 /* Do all of the individual steps needed to do the protoization (or
4350 unprotoization) of the files referenced in the aux_info files given
4351 in the command line. */
4356 const char * const *base_pp;
4357 const char * const * const end_pps
4358 = &base_source_filenames[n_base_source_files];
4362 #endif /* !defined (UNPROTOIZE) */
4364 /* One-by-one, check (and create if necessary), open, and read all of the
4365 stuff in each aux_info file. After reading each aux_info file, the
4366 aux_info_file just read will be automatically deleted unless the
4367 keep_flag is set. */
4369 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4370 process_aux_info_file (*base_pp, keep_flag, 0);
4374 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4375 the prototypes for all of the standard system-supplied functions. */
4377 if (nondefault_syscalls_dir)
4379 syscalls_absolute_filename
4380 = (char *) xmalloc (strlen (nondefault_syscalls_dir)
4381 + sizeof (syscalls_filename) + 1);
4382 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4386 syscalls_absolute_filename
4387 = (char *) xmalloc (strlen (default_syscalls_dir)
4388 + sizeof (syscalls_filename) + 1);
4389 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4392 syscalls_len = strlen (syscalls_absolute_filename);
4393 if (*(syscalls_absolute_filename + syscalls_len - 1) != '/')
4395 *(syscalls_absolute_filename + syscalls_len++) = '/';
4396 *(syscalls_absolute_filename + syscalls_len) = '\0';
4398 strcat (syscalls_absolute_filename, syscalls_filename);
4400 /* Call process_aux_info_file in such a way that it does not try to
4401 delete the SYSCALLS aux_info file. */
4403 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4405 #endif /* !defined (UNPROTOIZE) */
4407 /* When we first read in all of the information from the aux_info files
4408 we saved in it descending line number order, because that was likely to
4409 be faster. Now however, we want the chains of def & dec records to
4410 appear in ascending line number order as we get further away from the
4411 file_info record that they hang from. The following line causes all of
4412 these lists to be rearranged into ascending line number order. */
4414 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4418 /* Now do the "real" work. The following line causes each declaration record
4419 to be "visited". For each of these nodes, an attempt is made to match
4420 up the function declaration with a corresponding function definition,
4421 which should have a full prototype-format formals list with it. Once
4422 these match-ups are made, the conversion of the function declarations
4423 to prototype format can be made. */
4425 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4427 #endif /* !defined (UNPROTOIZE) */
4429 /* Now convert each file that can be converted (and needs to be). */
4431 visit_each_hash_node (filename_primary, edit_file);
4435 /* If we are working in cplusplus mode, try to rename all .c files to .C
4436 files. Don't panic if some of the renames don't work. */
4438 if (cplusplus_flag && !nochange_flag)
4439 visit_each_hash_node (filename_primary, rename_c_file);
4441 #endif /* !defined (UNPROTOIZE) */
4444 static struct option longopts[] =
4446 {"version", 0, 0, 'V'},
4447 {"file_name", 0, 0, 'p'},
4448 {"quiet", 0, 0, 'q'},
4449 {"silent", 0, 0, 'q'},
4450 {"force", 0, 0, 'f'},
4451 {"keep", 0, 0, 'k'},
4452 {"nosave", 0, 0, 'N'},
4453 {"nochange", 0, 0, 'n'},
4454 {"compiler-options", 1, 0, 'c'},
4455 {"exclude", 1, 0, 'x'},
4456 {"directory", 1, 0, 'd'},
4458 {"indent", 1, 0, 'i'},
4460 {"local", 0, 0, 'l'},
4461 {"global", 0, 0, 'g'},
4463 {"syscalls-dir", 1, 0, 'B'},
4475 const char *params = "";
4477 pname = rindex (argv[0], '/');
4478 pname = pname ? pname+1 : argv[0];
4480 cwd_buffer = getpwd ();
4483 fprintf (stderr, "%s: cannot get working directory: %s\n",
4484 pname, sys_errlist[errno]);
4488 /* By default, convert the files in the current directory. */
4489 directory_list = string_list_cons (cwd_buffer, NULL);
4491 while ((c = getopt_long (argc, argv,
4495 "B:c:Cd:gklnNp:qvVx:",
4497 longopts, &longind)) != EOF)
4499 if (c == 0) /* Long option. */
4500 c = longopts[longind].val;
4504 compiler_file_name = optarg;
4508 = string_list_cons (abspath (NULL, optarg), directory_list);
4511 exclude_list = string_list_cons (optarg, exclude_list);
4541 indent_string = optarg;
4543 #else /* !defined (UNPROTOIZE) */
4554 nondefault_syscalls_dir = optarg;
4556 #endif /* !defined (UNPROTOIZE) */
4562 /* Set up compile_params based on -p and -c options. */
4563 munge_compile_params (params);
4565 n_base_source_files = argc - optind;
4567 /* Now actually make a list of the base source filenames. */
4569 base_source_filenames =
4570 (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4571 n_base_source_files = 0;
4572 for (; optind < argc; optind++)
4574 const char *path = abspath (NULL, argv[optind]);
4575 int len = strlen (path);
4577 if (path[len-1] == 'c' && path[len-2] == '.')
4578 base_source_filenames[n_base_source_files++] = path;
4581 fprintf (stderr, "%s: input file names must have .c suffixes: %s\n",
4582 pname, shortpath (NULL, path));
4588 /* We are only interested in the very first identifier token in the
4589 definition of `va_list', so if there is more junk after that first
4590 identifier token, delete it from the `varargs_style_indicator'. */
4594 for (cp = varargs_style_indicator; isalnum (*cp) || *cp == '_'; cp++)
4597 varargs_style_indicator = savestring (varargs_style_indicator,
4598 cp - varargs_style_indicator);
4600 #endif /* !defined (UNPROTOIZE) */
4607 fprintf (stderr, "%s: %s\n", pname, version_string);