1 /* Protoize program - Original version by Ron Guilmette at MCC.
3 Copyright (C) 1989, 1992, 1993 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
21 /* Any reasonable C++ compiler should have all of the same features
22 as __STDC__ plus more, so make sure that __STDC__ is defined if
23 __cplusplus is defined. */
25 #if defined(__cplusplus) && !defined(__STDC__)
27 #endif /* defined(__cplusplus) && !defined(__STDC__) */
29 #if defined(__GNUC__) || defined (__GNUG__)
30 #define VOLATILE volatile
43 /* Users are not supposed to use _POSIX_SOURCE to say the
44 system is a POSIX system. That is not what _POSIX_SOURCE means! -- rms */
45 /* If the user asked for POSIX via _POSIX_SOURCE, turn on POSIX code. */
46 #if defined(_POSIX_SOURCE) && !defined(POSIX)
51 #ifdef POSIX /* We should be able to define _POSIX_SOURCE unconditionally,
52 but some systems respond in buggy ways to it,
53 including SunOS 4.1.1. Which we don't classify as POSIX. */
54 /* In case this is a POSIX system with an ANSI C compiler,
55 ask for definition of all POSIX facilities. */
61 /* On some systems stdio.h includes stdarg.h;
62 we must bring in gvarargs.h first. */
66 #include <sys/types.h>
75 /* Include getopt.h for the sake of getopt_long.
76 We don't need the declaration of getopt, and it could conflict
77 with something from a system header file, so effectively nullify that. */
78 #define getopt getopt_loser
84 extern const char *const sys_errlist[];
86 extern char *sys_errlist[];
88 extern char *version_string;
90 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
91 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
92 const qualifiers in the prototypes in the system include files.
93 Unfortunately, this can lead to GCC issuing lots of warnings for
94 calls to the following functions. To eliminate these warnings we
95 provide the following #defines. */
97 #define my_access(file,flag) access((char *)file, flag)
98 #define my_stat(file,pkt) stat((char *)file, pkt)
99 #define my_execvp(prog,argv) execvp((char *)prog, (char **)argv)
100 #define my_link(file1, file2) link((char *)file1, (char *)file2)
101 #define my_unlink(file) unlink((char *)file)
102 #define my_open(file, mode, flag) open((char *)file, mode, flag)
103 #define my_chmod(file, mode) chmod((char *)file, mode)
105 extern char *getpwd ();
107 /* Aliases for pointers to void.
108 These were made to facilitate compilation with old brain-dead DEC C
109 compilers which didn't properly grok `void*' types. */
112 typedef void * pointer_type;
113 typedef const void * const_pointer_type;
115 typedef char * pointer_type;
116 typedef char * const_pointer_type;
126 #else /* !defined(POSIX) */
128 #define R_OK 4 /* Test for Read permission */
129 #define W_OK 2 /* Test for Write permission */
130 #define X_OK 1 /* Test for eXecute permission */
131 #define F_OK 0 /* Test for existence of File */
136 /* Declaring stat or __flsbuf with a prototype
137 causes conflicts with system headers on some systems. */
140 typedef void voidfn ();
141 extern VOLATILE voidfn abort;
145 #if 0 /* These conflict with stdio.h on some systems. */
146 extern int fprintf (FILE *, const char *, ...);
147 extern int printf (const char *, ...);
148 extern int open (const char *, int, ...);
155 extern int fflush ();
161 extern int unlink ();
162 extern int access ();
163 extern int execvp ();
165 #if 0 /* size_t from sys/types.h may fail to match GCC.
166 If so, we would get a warning from this. */
167 extern size_t strlen ()
170 /* Fork is not declared because the declaration caused a conflict
172 #if !(defined (USG) || defined (VMS))
174 #endif /* (defined (USG) || defined (VMS)) */
176 #endif /* !defined (POSIX) */
178 extern char *rindex ();
180 /* Look for these where the `const' qualifier is intentionally cast aside. */
184 /* Define a STRINGIFY macro that's right for ANSI or traditional C. */
187 #define STRINGIFY(STRING) #STRING
189 #define STRINGIFY(STRING) "STRING"
192 /* Define a default place to find the SYSCALLS.X file. */
194 #ifndef STD_PROTO_DIR
195 #define STD_PROTO_DIR "/usr/local/lib"
196 #endif /* !defined (STD_PROTO_DIR) */
198 /* Suffix of aux_info files. */
200 static const char * const aux_info_suffix = ".X";
202 /* String to attach to filenames for saved versions of original files. */
204 static const char * const save_suffix = ".save";
208 /* File name of the file which contains descriptions of standard system
209 routines. Note that we never actually do anything with this file per se,
210 but we do read in its corresponding aux_info file. */
212 static const char syscalls_filename[] = "SYSCALLS.c";
214 /* Default place to find the above file. */
216 static const char * const default_syscalls_dir = STD_PROTO_DIR;
218 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
221 static char * syscalls_absolute_filename;
223 #endif /* !defined (UNPROTOIZE) */
225 /* Type of the structure that holds information about macro unexpansions. */
227 struct unexpansion_struct {
228 const char *expanded;
229 const char *contracted;
231 typedef struct unexpansion_struct unexpansion;
233 /* A table of conversions that may need to be made for some (stupid) older
234 operating systems where these types are preprocessor macros rather than
235 typedefs (as they really ought to be).
237 WARNING: The contracted forms must be as small (or smaller) as the
238 expanded forms, or else havoc will ensue. */
240 static const unexpansion unexpansions[] = {
241 { "struct _iobuf", "FILE" },
245 /* The number of "primary" slots in the hash tables for filenames and for
246 function names. This can be as big or as small as you like, except that
247 it must be a power of two. */
249 #define HASH_TABLE_SIZE (1 << 9)
251 /* Bit mask to use when computing hash values. */
253 static const int hash_mask = (HASH_TABLE_SIZE - 1);
255 /* Make a table of default system include directories
256 just as it is done in cccp.c. */
258 #ifndef STANDARD_INCLUDE_DIR
259 #define STANDARD_INCLUDE_DIR "/usr/include"
262 #ifndef LOCAL_INCLUDE_DIR
263 #define LOCAL_INCLUDE_DIR "/usr/local/include"
266 struct default_include { const char *fname; int cplusplus; } include_defaults[]
267 #ifdef INCLUDE_DEFAULTS
271 /* Pick up GNU C++ specific include files. */
272 { GPLUSPLUS_INCLUDE_DIR, 1},
274 /* This is the dir for fixincludes. Put it just before
275 the files that we fix. */
276 { GCC_INCLUDE_DIR, 0},
277 /* For cross-compilation, this dir name is generated
278 automatically in Makefile.in. */
279 { CROSS_INCLUDE_DIR, 0 },
280 /* This is another place that the target system's headers might be. */
281 { TOOL_INCLUDE_DIR, 0},
282 #else /* not CROSS_COMPILE */
283 /* This should be /use/local/include and should come before
284 the fixincludes-fixed header files. */
285 { LOCAL_INCLUDE_DIR, 0},
286 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
287 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
288 { TOOL_INCLUDE_DIR, 0},
289 /* This is the dir for fixincludes. Put it just before
290 the files that we fix. */
291 { GCC_INCLUDE_DIR, 0},
292 /* Some systems have an extra dir of include files. */
293 #ifdef SYSTEM_INCLUDE_DIR
294 { SYSTEM_INCLUDE_DIR, 0},
296 { STANDARD_INCLUDE_DIR, 0},
297 #endif /* not CROSS_COMPILE */
300 #endif /* no INCLUDE_DEFAULTS */
302 /* Datatype for lists of directories or filenames. */
306 struct string_list *next;
309 /* List of directories in which files should be converted. */
311 struct string_list *directory_list;
313 /* List of file names which should not be converted.
314 A file is excluded if the end of its name, following a /,
315 matches one of the names in this list. */
317 struct string_list *exclude_list;
319 /* The name of the other style of variable-number-of-parameters functions
320 (i.e. the style that we want to leave unconverted because we don't yet
321 know how to convert them to this style. This string is used in warning
324 /* Also define here the string that we can search for in the parameter lists
325 taken from the .X files which will unambiguously indicate that we have
326 found a varargs style function. */
329 static const char * const other_var_style = "stdarg";
330 #else /* !defined (UNPROTOIZE) */
331 static const char * const other_var_style = "varargs";
332 /* Note that this is a string containing the expansion of va_alist.
333 But in `main' we discard all but the first token. */
334 static const char *varargs_style_indicator = STRINGIFY (va_alist);
335 #endif /* !defined (UNPROTOIZE) */
337 /* The following two types are used to create hash tables. In this program,
338 there are two hash tables which are used to store and quickly lookup two
339 different classes of strings. The first type of strings stored in the
340 first hash table are absolute filenames of files which protoize needs to
341 know about. The second type of strings (stored in the second hash table)
342 are function names. It is this second class of strings which really
343 inspired the use of the hash tables, because there may be a lot of them. */
345 typedef struct hash_table_entry_struct hash_table_entry;
347 /* Do some typedefs so that we don't have to write "struct" so often. */
349 typedef struct def_dec_info_struct def_dec_info;
350 typedef struct file_info_struct file_info;
351 typedef struct f_list_chain_item_struct f_list_chain_item;
353 /* In the struct below, note that the "_info" field has two different uses
354 depending on the type of hash table we are in (i.e. either the filenames
355 hash table or the function names hash table). In the filenames hash table
356 the info fields of the entries point to the file_info struct which is
357 associated with each filename (1 per filename). In the function names
358 hash table, the info field points to the head of a singly linked list of
359 def_dec_info entries which are all defs or decs of the function whose
360 name is pointed to by the "symbol" field. Keeping all of the defs/decs
361 for a given function name on a special list specifically for that function
362 name makes it quick and easy to find out all of the important information
363 about a given (named) function. */
365 struct hash_table_entry_struct {
366 hash_table_entry * hash_next; /* -> to secondary entries */
367 const char * symbol; /* -> to the hashed string */
369 const def_dec_info * _ddip;
373 #define ddip _info._ddip
374 #define fip _info._fip
376 /* Define a type specifically for our two hash tables. */
378 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
380 /* The following struct holds all of the important information about any
381 single filename (e.g. file) which we need to know about. */
383 struct file_info_struct {
384 const hash_table_entry * hash_entry; /* -> to associated hash entry */
385 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
386 time_t mtime; /* Time of last modification. */
389 /* Due to the possibility that functions may return pointers to functions,
390 (which may themselves have their own parameter lists) and due to the
391 fact that returned pointers-to-functions may be of type "pointer-to-
392 function-returning-pointer-to-function" (ad nauseum) we have to keep
393 an entire chain of ANSI style formal parameter lists for each function.
395 Normally, for any given function, there will only be one formals list
396 on the chain, but you never know.
398 Note that the head of each chain of formals lists is pointed to by the
399 `f_list_chain' field of the corresponding def_dec_info record.
401 For any given chain, the item at the head of the chain is the *leftmost*
402 parameter list seen in the actual C language function declaration. If
403 there are other members of the chain, then these are linked in left-to-right
404 order from the head of the chain. */
406 struct f_list_chain_item_struct {
407 const f_list_chain_item * chain_next; /* -> to next item on chain */
408 const char * formals_list; /* -> to formals list string */
411 /* The following struct holds all of the important information about any
412 single function definition or declaration which we need to know about.
413 Note that for unprotoize we don't need to know very much because we
414 never even create records for stuff that we don't intend to convert
415 (like for instance defs and decs which are already in old K&R format
416 and "implicit" function declarations). */
418 struct def_dec_info_struct {
419 const def_dec_info * next_in_file; /* -> to rest of chain for file */
420 file_info * file; /* -> file_info for containing file */
421 int line; /* source line number of def/dec */
422 const char * ansi_decl; /* -> left end of ansi decl */
423 hash_table_entry * hash_entry; /* -> hash entry for function name */
424 unsigned int is_func_def; /* = 0 means this is a declaration */
425 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
426 unsigned int f_list_count; /* count of formals lists we expect */
427 char prototyped; /* = 0 means already prototyped */
429 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
430 const def_dec_info * definition; /* -> def/dec containing related def */
431 char is_static; /* = 0 means visibility is "extern" */
432 char is_implicit; /* != 0 for implicit func decl's */
433 char written; /* != 0 means written for implicit */
434 #else /* !defined (UNPROTOIZE) */
435 const char * formal_names; /* -> to list of names of formals */
436 const char * formal_decls; /* -> to string of formal declarations */
437 #endif /* !defined (UNPROTOIZE) */
440 /* Pointer to the tail component of the filename by which this program was
441 invoked. Used everywhere in error and warning messages. */
443 static const char *pname;
445 /* Error counter. Will be non-zero if we should give up at the next convenient
448 static int errors = 0;
451 /* ??? These comments should say what the flag mean as well as the options
454 /* File name to use for running gcc. Allows GCC 2 to be named
455 something other than gcc. */
456 static const char *compiler_file_name = "gcc";
458 static int version_flag = 0; /* Print our version number. */
459 static int quiet_flag = 0; /* Don't print messages normally. */
460 static int nochange_flag = 0; /* Don't convert, just say what files
461 we would have converted. */
462 static int nosave_flag = 0; /* Don't save the old version. */
463 static int keep_flag = 0; /* Don't delete the .X files. */
464 static const char ** compile_params = 0; /* Option string for gcc. */
466 static const char *indent_string = " "; /* Indentation for newly
467 inserted parm decls. */
468 #else /* !defined (UNPROTOIZE) */
469 static int local_flag = 0; /* Insert new local decls (when?). */
470 static int global_flag = 0; /* set by -g option */
471 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
472 static const char* nondefault_syscalls_dir = 0; /* Dir to look for
474 #endif /* !defined (UNPROTOIZE) */
476 /* An index into the compile_params array where we should insert the source
477 file name when we are ready to exec the C compiler. A zero value indicates
478 that we have not yet called munge_compile_params. */
480 static int input_file_name_index = 0;
482 /* An index into the compile_params array where we should insert the filename
483 for the aux info file, when we run the C compiler. */
484 static int aux_info_file_name_index = 0;
486 /* Count of command line arguments which were "filename" arguments. */
488 static int n_base_source_files = 0;
490 /* Points to a malloc'ed list of pointers to all of the filenames of base
491 source files which were specified on the command line. */
493 static const char **base_source_filenames;
495 /* Line number of the line within the current aux_info file that we
496 are currently processing. Used for error messages in case the prototypes
497 info file is corrupted somehow. */
499 static int current_aux_info_lineno;
501 /* Pointer to the name of the source file currently being converted. */
503 static const char *convert_filename;
505 /* Pointer to relative root string (taken from aux_info file) which indicates
506 where directory the user was in when he did the compilation step that
507 produced the containing aux_info file. */
509 static const char *invocation_filename;
511 /* Pointer to the base of the input buffer that holds the original text for the
512 source file currently being converted. */
514 static const char *orig_text_base;
516 /* Pointer to the byte just beyond the end of the input buffer that holds the
517 original text for the source file currently being converted. */
519 static const char *orig_text_limit;
521 /* Pointer to the base of the input buffer that holds the cleaned text for the
522 source file currently being converted. */
524 static const char *clean_text_base;
526 /* Pointer to the byte just beyond the end of the input buffer that holds the
527 cleaned text for the source file currently being converted. */
529 static const char *clean_text_limit;
531 /* Pointer to the last byte in the cleaned text buffer that we have already
532 (virtually) copied to the output buffer (or decided to ignore). */
534 static const char * clean_read_ptr;
536 /* Pointer to the base of the output buffer that holds the replacement text
537 for the source file currently being converted. */
539 static char *repl_text_base;
541 /* Pointer to the byte just beyond the end of the output buffer that holds the
542 replacement text for the source file currently being converted. */
544 static char *repl_text_limit;
546 /* Pointer to the last byte which has been stored into the output buffer.
547 The next byte to be stored should be stored just past where this points
550 static char * repl_write_ptr;
552 /* Pointer into the cleaned text buffer for the source file we are currently
553 converting. This points to the first character of the line that we last
554 did a "seek_to_line" to (see below). */
556 static const char *last_known_line_start;
558 /* Number of the line (in the cleaned text buffer) that we last did a
559 "seek_to_line" to. Will be one if we just read a new source file
560 into the cleaned text buffer. */
562 static int last_known_line_number;
564 /* The filenames hash table. */
566 static hash_table filename_primary;
568 /* The function names hash table. */
570 static hash_table function_name_primary;
572 /* The place to keep the recovery address which is used only in cases where
573 we get hopelessly confused by something in the cleaned original text. */
575 static jmp_buf source_confusion_recovery;
577 /* A pointer to the current directory filename (used by abspath). */
579 static char *cwd_buffer;
581 /* A place to save the read pointer until we are sure that an individual
582 attempt at editing will succeed. */
584 static const char * saved_clean_read_ptr;
586 /* A place to save the write pointer until we are sure that an individual
587 attempt at editing will succeed. */
589 static char * saved_repl_write_ptr;
591 /* Forward declaration. */
593 static const char *shortpath ();
595 /* Allocate some space, but check that the allocation was successful. */
596 /* alloca.c uses this, so don't make it static. */
604 rv = (pointer_type) malloc (byte_count);
607 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
609 return 0; /* avoid warnings */
615 /* Reallocate some space, but check that the reallocation was successful. */
618 xrealloc (old_space, byte_count)
619 pointer_type old_space;
624 rv = (pointer_type) realloc (old_space, byte_count);
627 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
629 return 0; /* avoid warnings */
635 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
636 the `const' qualifier from it and also make sure that the pointer value
641 const_pointer_type p;
644 free ((NONCONST pointer_type) p);
647 /* Make a copy of a string INPUT with size SIZE. */
650 savestring (input, size)
654 char *output = (char *) xmalloc (size + 1);
655 strcpy (output, input);
659 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
662 savestring2 (input1, size1, input2, size2)
668 char *output = (char *) xmalloc (size1 + size2 + 1);
669 strcpy (output, input1);
670 strcpy (&output[size1], input2);
674 /* More 'friendly' abort that prints the line and file.
675 config.h can #define abort fancy_abort if you like that sort of thing. */
680 fprintf (stderr, "%s: internal abort\n", pname);
684 /* Make a duplicate of the first N bytes of a given string in a newly
692 char *ret_val = (char *) xmalloc (n + 1);
694 strncpy (ret_val, s, n);
699 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
700 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
705 const char *const s2;
713 for (p1 = s1, p2 = s2; c = *p2; p1++, p2++)
723 /* Read LEN bytes at PTR from descriptor DESC, for file FILENAME,
724 retrying if necessary. Return the actual number of bytes read. */
727 safe_read (desc, ptr, len)
734 int nchars = read (desc, ptr, left);
751 /* Write LEN bytes at PTR to descriptor DESC,
752 retrying if necessary, and treating any real error as fatal. */
755 safe_write (desc, ptr, len, out_fname)
762 int written = write (desc, ptr, len);
769 fprintf (stderr, "%s: error writing file `%s': %s\n",
770 pname, shortpath (NULL, out_fname), sys_errlist[errno]);
778 /* Get setup to recover in case the edit we are about to do goes awry. */
783 saved_clean_read_ptr = clean_read_ptr;
784 saved_repl_write_ptr = repl_write_ptr;
787 /* Call this routine to recover our previous state whenever something looks
788 too confusing in the source code we are trying to edit. */
793 clean_read_ptr = saved_clean_read_ptr;
794 repl_write_ptr = saved_repl_write_ptr;
797 /* Return true if the given character is a legal identifier character. */
803 return (isalnum (ch) || (ch == '_') || (ch == '$'));
806 /* Give a message indicating the proper way to invoke this program and then
807 exit with non-zero status. */
813 fprintf (stderr, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
815 #else /* !defined (UNPROTOIZE) */
816 fprintf (stderr, "%s: usage '%s [ -VqfnkNlgC ] [ -B <diname> ] [ filename ... ]'\n",
818 #endif /* !defined (UNPROTOIZE) */
822 /* Return true if the given filename (assumed to be an absolute filename)
823 designates a file residing anywhere beneath any one of the "system"
824 include directories. */
827 in_system_include_dir (path)
830 struct default_include *p;
833 abort (); /* Must be an absolutized filename. */
835 for (p = include_defaults; p->fname; p++)
836 if (!strncmp (path, p->fname, strlen (p->fname))
837 && path[strlen (p->fname)] == '/')
843 /* Return true if the given filename designates a file that the user has
844 read access to and for which the user has write access to the containing
848 file_could_be_converted (const char *path)
850 char *const dir_name = (char *) alloca (strlen (path) + 1);
852 if (my_access (path, R_OK))
856 char *dir_last_slash;
858 strcpy (dir_name, path);
859 dir_last_slash = rindex (dir_name, '/');
861 *dir_last_slash = '\0';
863 abort (); /* Should have been an absolutized filename. */
866 if (my_access (path, W_OK))
872 /* Return true if the given filename designates a file that we are allowed
873 to modify. Files which we should not attempt to modify are (a) "system"
874 include files, and (b) files which the user doesn't have write access to,
875 and (c) files which reside in directories which the user doesn't have
876 write access to. Unless requested to be quiet, give warnings about
877 files that we will not try to convert for one reason or another. An
878 exception is made for "system" include files, which we never try to
879 convert and for which we don't issue the usual warnings. */
882 file_normally_convertible (const char *path)
884 char *const dir_name = alloca (strlen (path) + 1);
886 if (in_system_include_dir (path))
890 char *dir_last_slash;
892 strcpy (dir_name, path);
893 dir_last_slash = rindex (dir_name, '/');
895 *dir_last_slash = '\0';
897 abort (); /* Should have been an absolutized filename. */
900 if (my_access (path, R_OK))
903 fprintf (stderr, "%s: warning: no read access for file `%s'\n",
904 pname, shortpath (NULL, path));
908 if (my_access (path, W_OK))
911 fprintf (stderr, "%s: warning: no write access for file `%s'\n",
912 pname, shortpath (NULL, path));
916 if (my_access (dir_name, W_OK))
919 fprintf (stderr, "%s: warning: no write access for dir containing `%s'\n",
920 pname, shortpath (NULL, path));
930 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
931 file. Return false otherwise. */
934 is_syscalls_file (fi_p)
935 const file_info *fi_p;
937 char const *f = fi_p->hash_entry->symbol;
938 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
939 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
942 #endif /* !defined (UNPROTOIZE) */
944 /* Check to see if this file will need to have anything done to it on this
945 run. If there is nothing in the given file which both needs conversion
946 and for which we have the necessary stuff to do the conversion, return
947 false. Otherwise, return true.
949 Note that (for protoize) it is only valid to call this function *after*
950 the connections between declarations and definitions have all been made
951 by connect_defs_and_decs. */
954 needs_to_be_converted (file_p)
955 const file_info *file_p;
957 const def_dec_info *ddp;
961 if (is_syscalls_file (file_p))
964 #endif /* !defined (UNPROTOIZE) */
966 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
972 /* ... and if we a protoizing and this function is in old style ... */
974 /* ... and if this a definition or is a decl with an associated def ... */
975 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
977 #else /* defined (UNPROTOIZE) */
979 /* ... and if we are unprotoizing and this function is in new style ... */
982 #endif /* defined (UNPROTOIZE) */
984 /* ... then the containing file needs converting. */
989 /* Return 1 if the file name NAME is in a directory
990 that should be converted. */
993 directory_specified_p (name)
996 struct string_list *p;
998 for (p = directory_list; p; p = p->next)
999 if (!strncmp (name, p->name, strlen (p->name))
1000 && name[strlen (p->name)] == '/')
1002 const char *q = name + strlen (p->name) + 1;
1004 /* If there are more slashes, it's in a subdir, so
1005 this match doesn't count. */
1017 /* Return 1 if the file named NAME should be excluded from conversion. */
1020 file_excluded_p (name)
1023 struct string_list *p;
1024 int len = strlen (name);
1026 for (p = exclude_list; p; p = p->next)
1027 if (!strcmp (name + len - strlen (p->name), p->name)
1028 && name[len - strlen (p->name) - 1] == '/')
1034 /* Construct a new element of a string_list.
1035 STRING is the new element value, and REST holds the remaining elements. */
1037 static struct string_list *
1038 string_list_cons (string, rest)
1040 struct string_list *rest;
1042 struct string_list *temp
1043 = (struct string_list *) xmalloc (sizeof (struct string_list));
1046 temp->name = string;
1050 /* ??? The GNU convention for mentioning function args in its comments
1051 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1052 Likewise for all the other functions. */
1054 /* Given a hash table, apply some function to each node in the table. The
1055 table to traverse is given as the "hash_tab_p" argument, and the
1056 function to be applied to each node in the table is given as "func"
1060 visit_each_hash_node (hash_tab_p, func)
1061 const hash_table_entry *hash_tab_p;
1064 const hash_table_entry *primary;
1066 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
1067 if (primary->symbol)
1069 hash_table_entry *second;
1072 for (second = primary->hash_next; second; second = second->hash_next)
1077 /* Initialize all of the fields of a new hash table entry, pointed
1078 to by the "p" parameter. Note that the space to hold the entry
1079 is assumed to have already been allocated before this routine is
1082 static hash_table_entry *
1084 hash_table_entry *p;
1087 p->hash_next = NULL;
1088 p->symbol = savestring (s, strlen (s));
1094 /* Look for a particular function name or filename in the particular
1095 hash table indicated by "hash_tab_p". If the name is not in the
1096 given hash table, add it. Either way, return a pointer to the
1097 hash table entry for the given name. */
1099 static hash_table_entry *
1100 lookup (hash_tab_p, search_symbol)
1101 hash_table_entry *hash_tab_p;
1102 const char *search_symbol;
1105 const char *search_symbol_char_p = search_symbol;
1106 hash_table_entry *p;
1108 while (*search_symbol_char_p)
1109 hash_value += *search_symbol_char_p++;
1110 hash_value &= hash_mask;
1111 p = &hash_tab_p[hash_value];
1113 return add_symbol (p, search_symbol);
1114 if (!strcmp (p->symbol, search_symbol))
1116 while (p->hash_next)
1119 if (!strcmp (p->symbol, search_symbol))
1122 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1124 return add_symbol (p, search_symbol);
1127 /* Throw a def/dec record on the junk heap.
1129 Also, since we are not using this record anymore, free up all of the
1130 stuff it pointed to. */
1136 xfree (p->ansi_decl);
1140 const f_list_chain_item * curr;
1141 const f_list_chain_item * next;
1143 for (curr = p->f_list_chain; curr; curr = next)
1145 next = curr->chain_next;
1149 #endif /* !defined (UNPROTOIZE) */
1154 /* Unexpand as many macro symbol as we can find.
1156 If the given line must be unexpanded, make a copy of it in the heap and
1157 return a pointer to the unexpanded copy. Otherwise return NULL. */
1160 unexpand_if_needed (aux_info_line)
1161 const char *aux_info_line;
1163 static char *line_buf = 0;
1164 static int line_buf_size = 0;
1165 const unexpansion* unexp_p;
1166 int got_unexpanded = 0;
1168 char *copy_p = line_buf;
1172 line_buf_size = 1024;
1173 line_buf = (char *) xmalloc (line_buf_size);
1178 /* Make a copy of the input string in line_buf, expanding as necessary. */
1180 for (s = aux_info_line; *s != '\n'; )
1182 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1184 const char *in_p = unexp_p->expanded;
1185 size_t len = strlen (in_p);
1187 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1189 int size = strlen (unexp_p->contracted);
1191 if (copy_p + size - line_buf >= line_buf_size)
1193 int offset = copy_p - line_buf;
1195 line_buf_size += size;
1196 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1197 copy_p = line_buf + offset;
1199 strcpy (copy_p, unexp_p->contracted);
1202 /* Assume the there will not be another replacement required
1203 within the text just replaced. */
1206 goto continue_outer;
1209 if (copy_p - line_buf == line_buf_size)
1211 int offset = copy_p - line_buf;
1213 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1214 copy_p = line_buf + offset;
1219 if (copy_p + 2 - line_buf >= line_buf_size)
1221 int offset = copy_p - line_buf;
1223 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1224 copy_p = line_buf + offset;
1229 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1232 /* Return the absolutized filename for the given relative
1233 filename. Note that if that filename is already absolute, it may
1234 still be returned in a modified form because this routine also
1235 eliminates redundant slashes and single dots and eliminates double
1236 dots to get a shortest possible filename from the given input
1237 filename. The absolutization of relative filenames is made by
1238 assuming that the given filename is to be taken as relative to
1239 the first argument (cwd) or to the current directory if cwd is
1243 abspath (cwd, rel_filename)
1245 const char *rel_filename;
1247 /* Setup the current working directory as needed. */
1248 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1249 char *const abs_buffer
1250 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1251 char *endp = abs_buffer;
1254 /* Copy the filename (possibly preceded by the current working
1255 directory name) into the absolutization buffer. */
1260 if (rel_filename[0] != '/')
1263 while (*endp++ = *src_p++)
1265 *(endp-1) = '/'; /* overwrite null */
1267 src_p = rel_filename;
1268 while (*endp++ = *src_p++)
1272 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1273 filename (by taking out slashes and dots) as we go. */
1275 outp = inp = abs_buffer;
1276 *outp++ = *inp++; /* copy first slash */
1279 *outp++ = *inp++; /* copy second slash */
1285 else if (inp[0] == '/' && outp[-1] == '/')
1290 else if (inp[0] == '.' && outp[-1] == '/')
1294 else if (inp[1] == '/')
1299 else if ((inp[1] == '.') && (inp[2] == 0 || inp[2] == '/'))
1301 inp += (inp[2] == '/') ? 3 : 2;
1303 while (outp >= abs_buffer && *outp != '/')
1305 if (outp < abs_buffer)
1307 /* Catch cases like /.. where we try to backup to a
1308 point above the absolute root of the logical file
1311 fprintf (stderr, "%s: invalid file name: %s\n",
1312 pname, rel_filename);
1322 /* On exit, make sure that there is a trailing null, and make sure that
1323 the last character of the returned string is *not* a slash. */
1326 if (outp[-1] == '/')
1329 /* Make a copy (in the heap) of the stuff left in the absolutization
1330 buffer and return a pointer to the copy. */
1332 return savestring (abs_buffer, outp - abs_buffer);
1335 /* Given a filename (and possibly a directory name from which the filename
1336 is relative) return a string which is the shortest possible
1337 equivalent for the corresponding full (absolutized) filename. The
1338 shortest possible equivalent may be constructed by converting the
1339 absolutized filename to be a relative filename (i.e. relative to
1340 the actual current working directory). However if a relative filename
1341 is longer, then the full absolute filename is returned.
1345 Note that "simple-minded" conversion of any given type of filename (either
1346 relative or absolute) may not result in a valid equivalent filename if any
1347 subpart of the original filename is actually a symbolic link. */
1350 shortpath (cwd, filename)
1352 const char *filename;
1356 char *cwd_p = cwd_buffer;
1358 int unmatched_slash_count = 0;
1359 size_t filename_len = strlen (filename);
1361 path_p = abspath (cwd, filename);
1362 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1364 while (*cwd_p && (*cwd_p == *path_p))
1369 if (!*cwd_p && (!*path_p || *path_p == '/')) /* whole pwd matched */
1371 if (!*path_p) /* input *is* the current path! */
1382 while (*cwd_p != '/') /* backup to last slash */
1389 unmatched_slash_count++;
1392 /* Find out how many directory levels in cwd were *not* matched. */
1394 if (*cwd_p++ == '/')
1395 unmatched_slash_count++;
1397 /* Now we know how long the "short name" will be.
1398 Reject it if longer than the input. */
1399 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1402 /* For each of them, put a `../' at the beginning of the short name. */
1403 while (unmatched_slash_count--)
1405 /* Give up if the result gets to be longer
1406 than the absolute path name. */
1407 if (rel_buffer + filename_len <= rel_buf_p + 3)
1414 /* Then tack on the unmatched part of the desired file's name. */
1417 if (rel_buffer + filename_len <= rel_buf_p)
1420 while (*rel_buf_p++ = *path_p++);
1423 if (*(rel_buf_p-1) == '/')
1424 *--rel_buf_p = '\0';
1429 /* Lookup the given filename in the hash table for filenames. If it is a
1430 new one, then the hash table info pointer will be null. In this case,
1431 we create a new file_info record to go with the filename, and we initialize
1432 that record with some reasonable values. */
1434 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1435 That is probably a bug in AIX, but might as well avoid the warning. */
1438 find_file (filename, do_not_stat)
1442 hash_table_entry *hash_entry_p;
1444 hash_entry_p = lookup (filename_primary, filename);
1445 if (hash_entry_p->fip)
1446 return hash_entry_p->fip;
1449 struct stat stat_buf;
1450 file_info *file_p = (file_info *) xmalloc (sizeof (file_info));
1452 /* If we cannot get status on any given source file, give a warning
1453 and then just set its time of last modification to infinity. */
1456 stat_buf.st_mtime = (time_t) 0;
1459 if (my_stat (filename, &stat_buf) == -1)
1461 fprintf (stderr, "%s: %s: can't get status: %s\n",
1462 pname, shortpath (NULL, filename), sys_errlist[errno]);
1463 stat_buf.st_mtime = (time_t) -1;
1467 hash_entry_p->fip = file_p;
1468 file_p->hash_entry = hash_entry_p;
1469 file_p->defs_decs = NULL;
1470 file_p->mtime = stat_buf.st_mtime;
1475 /* Generate a fatal error because some part of the aux_info file is
1479 aux_info_corrupted ()
1481 fprintf (stderr, "\n%s: fatal error: aux info file corrupted at line %d\n",
1482 pname, current_aux_info_lineno);
1486 /* ??? This comment is vague. Say what the condition is for. */
1487 /* Check to see that a condition is true. This is kind of like an assert. */
1490 check_aux_info (cond)
1494 aux_info_corrupted ();
1497 /* Given a pointer to the closing right parenthesis for a particular formals
1498 list (in an aux_info file) find the corresponding left parenthesis and
1499 return a pointer to it. */
1502 find_corresponding_lparen (p)
1508 for (paren_depth = 1, q = p-1; paren_depth; q--)
1523 /* Given a line from an aux info file, and a time at which the aux info
1524 file it came from was created, check to see if the item described in
1525 the line comes from a file which has been modified since the aux info
1526 file was created. If so, return non-zero, else return zero. */
1529 referenced_file_is_newer (l, aux_info_mtime)
1531 time_t aux_info_mtime;
1537 check_aux_info (l[0] == '/');
1538 check_aux_info (l[1] == '*');
1539 check_aux_info (l[2] == ' ');
1542 const char *filename_start = p = l + 3;
1546 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1547 strncpy (filename, filename_start, (size_t) (p - filename_start));
1548 filename[p-filename_start] = '\0';
1551 /* Call find_file to find the file_info record associated with the file
1552 which contained this particular def or dec item. Note that this call
1553 may cause a new file_info record to be created if this is the first time
1554 that we have ever known about this particular file. */
1556 fi_p = find_file (abspath (invocation_filename, filename), 0);
1558 return (fi_p->mtime > aux_info_mtime);
1561 /* Given a line of info from the aux_info file, create a new
1562 def_dec_info record to remember all of the important information about
1563 a function definition or declaration.
1565 Link this record onto the list of such records for the particular file in
1566 which it occurred in proper (descending) line number order (for now).
1568 If there is an identical record already on the list for the file, throw
1569 this one away. Doing so takes care of the (useless and troublesome)
1570 duplicates which are bound to crop up due to multiple inclusions of any
1571 given individual header file.
1573 Finally, link the new def_dec record onto the list of such records
1574 pertaining to this particular function name. */
1577 save_def_or_dec (l, is_syscalls)
1582 const char *semicolon_p;
1583 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1586 def_dec_p->written = 0;
1587 #endif /* !defined (UNPROTOIZE) */
1589 /* Start processing the line by picking off 5 pieces of information from
1590 the left hand end of the line. These are filename, line number,
1591 new/old/implicit flag (new = ANSI prototype format), definition or
1592 declaration flag, and extern/static flag). */
1594 check_aux_info (l[0] == '/');
1595 check_aux_info (l[1] == '*');
1596 check_aux_info (l[2] == ' ');
1599 const char *filename_start = p = l + 3;
1604 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1605 strncpy (filename, filename_start, (size_t) (p - filename_start));
1606 filename[p-filename_start] = '\0';
1608 /* Call find_file to find the file_info record associated with the file
1609 which contained this particular def or dec item. Note that this call
1610 may cause a new file_info record to be created if this is the first time
1611 that we have ever known about this particular file.
1613 Note that we started out by forcing all of the base source file names
1614 (i.e. the names of the aux_info files with the .X stripped off) into the
1615 filenames hash table, and we simultaneously setup file_info records for
1616 all of these base file names (even if they may be useless later).
1617 The file_info records for all of these "base" file names (properly)
1618 act as file_info records for the "original" (i.e. un-included) files
1619 which were submitted to gcc for compilation (when the -aux-info
1620 option was used). */
1622 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1626 const char *line_number_start = ++p;
1627 char line_number[10];
1631 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1632 line_number[p-line_number_start] = '\0';
1633 def_dec_p->line = atoi (line_number);
1636 /* Check that this record describes a new-style, old-style, or implicit
1637 definition or declaration. */
1639 p++; /* Skip over the `:'. */
1640 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1642 /* Is this a new style (ANSI prototyped) definition or declaration? */
1644 def_dec_p->prototyped = (*p == 'N');
1648 /* Is this an implicit declaration? */
1650 def_dec_p->is_implicit = (*p == 'I');
1652 #endif /* !defined (UNPROTOIZE) */
1656 check_aux_info ((*p == 'C') || (*p == 'F'));
1658 /* Is this item a function definition (F) or a declaration (C). Note that
1659 we treat item taken from the syscalls file as though they were function
1660 definitions regardless of what the stuff in the file says. */
1662 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1665 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1666 #endif /* !defined (UNPROTOIZE) */
1668 check_aux_info (*p++ == ' ');
1669 check_aux_info (*p++ == '*');
1670 check_aux_info (*p++ == '/');
1671 check_aux_info (*p++ == ' ');
1674 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1675 #else /* !defined (UNPROTOIZE) */
1676 if (!strncmp (p, "static", 6))
1677 def_dec_p->is_static = -1;
1678 else if (!strncmp (p, "extern", 6))
1679 def_dec_p->is_static = 0;
1681 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1682 #endif /* !defined (UNPROTOIZE) */
1685 const char *ansi_start = p;
1687 p += 6; /* Pass over the "static" or "extern". */
1689 /* We are now past the initial stuff. Search forward from here to find
1690 the terminating semicolon that should immediately follow the entire
1691 ANSI format function declaration. */
1698 /* Make a copy of the ansi declaration part of the line from the aux_info
1701 def_dec_p->ansi_decl
1702 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1704 /* Backup and point at the final right paren of the final argument list. */
1709 def_dec_p->f_list_chain = NULL;
1710 #endif /* !defined (UNPROTOIZE) */
1712 while (p != ansi_start && (p[-1] == ' ' || p[-1] == '\t')) p--;
1715 free_def_dec (def_dec_p);
1720 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1721 there will only be one list to isolate, but there could be more. */
1723 def_dec_p->f_list_count = 0;
1727 const char *left_paren_p = find_corresponding_lparen (p);
1730 f_list_chain_item *cip =
1731 (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1734 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1736 /* Add the new chain item at the head of the current list. */
1738 cip->chain_next = def_dec_p->f_list_chain;
1739 def_dec_p->f_list_chain = cip;
1741 #endif /* !defined (UNPROTOIZE) */
1742 def_dec_p->f_list_count++;
1744 p = left_paren_p - 2;
1746 /* p must now point either to another right paren, or to the last
1747 character of the name of the function that was declared/defined.
1748 If p points to another right paren, then this indicates that we
1749 are dealing with multiple formals lists. In that case, there
1750 really should be another right paren preceding this right paren. */
1755 check_aux_info (*--p == ')');
1760 const char *past_fn = p + 1;
1762 check_aux_info (*past_fn == ' ');
1764 /* Scan leftwards over the identifier that names the function. */
1766 while (is_id_char (*p))
1770 /* p now points to the leftmost character of the function name. */
1773 char *fn_string = (char *) alloca (past_fn - p + 1);
1775 strncpy (fn_string, p, (size_t) (past_fn - p));
1776 fn_string[past_fn-p] = '\0';
1777 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1781 /* Look at all of the defs and decs for this function name that we have
1782 collected so far. If there is already one which is at the same
1783 line number in the same file, then we can discard this new def_dec_info
1786 As an extra assurance that any such pair of (nominally) identical
1787 function declarations are in fact identical, we also compare the
1788 ansi_decl parts of the lines from the aux_info files just to be on
1791 This comparison will fail if (for instance) the user was playing
1792 messy games with the preprocessor which ultimately causes one
1793 function declaration in one header file to look differently when
1794 that file is included by two (or more) other files. */
1797 const def_dec_info *other;
1799 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1801 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1803 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1805 fprintf (stderr, "%s:%d: declaration of function `%s' takes different forms\n",
1806 def_dec_p->file->hash_entry->symbol,
1808 def_dec_p->hash_entry->symbol);
1811 free_def_dec (def_dec_p);
1819 /* If we are doing unprotoizing, we must now setup the pointers that will
1820 point to the K&R name list and to the K&R argument declarations list.
1822 Note that if this is only a function declaration, then we should not
1823 expect to find any K&R style formals list following the ANSI-style
1824 formals list. This is because GCC knows that such information is
1825 useless in the case of function declarations (function definitions
1826 are a different story however).
1828 Since we are unprotoizing, we don't need any such lists anyway.
1829 All we plan to do is to delete all characters between ()'s in any
1832 def_dec_p->formal_names = NULL;
1833 def_dec_p->formal_decls = NULL;
1835 if (def_dec_p->is_func_def)
1838 check_aux_info (*++p == ' ');
1839 check_aux_info (*++p == '/');
1840 check_aux_info (*++p == '*');
1841 check_aux_info (*++p == ' ');
1842 check_aux_info (*++p == '(');
1845 const char *kr_names_start = ++p; /* Point just inside '('. */
1849 p--; /* point to closing right paren */
1851 /* Make a copy of the K&R parameter names list. */
1853 def_dec_p->formal_names
1854 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1857 check_aux_info (*++p == ' ');
1860 /* p now points to the first character of the K&R style declarations
1861 list (if there is one) or to the star-slash combination that ends
1862 the comment in which such lists get embedded. */
1864 /* Make a copy of the K&R formal decls list and set the def_dec record
1867 if (*p == '*') /* Are there no K&R declarations? */
1869 check_aux_info (*++p == '/');
1870 def_dec_p->formal_decls = "";
1874 const char *kr_decls_start = p;
1876 while (p[0] != '*' || p[1] != '/')
1880 check_aux_info (*p == ' ');
1882 def_dec_p->formal_decls
1883 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1886 /* Handle a special case. If we have a function definition marked as
1887 being in "old" style, and if it's formal names list is empty, then
1888 it may actually have the string "void" in its real formals list
1889 in the original source code. Just to make sure, we will get setup
1890 to convert such things anyway.
1892 This kludge only needs to be here because of an insurmountable
1893 problem with generating .X files. */
1895 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1896 def_dec_p->prototyped = 1;
1899 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1900 we can just ignore it. If that is true, throw away the itme now. */
1902 if (!def_dec_p->prototyped)
1904 free_def_dec (def_dec_p);
1908 #endif /* defined (UNPROTOIZE) */
1910 /* Add this record to the head of the list of records pertaining to this
1911 particular function name. */
1913 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1914 def_dec_p->hash_entry->ddip = def_dec_p;
1916 /* Add this new def_dec_info record to the sorted list of def_dec_info
1917 records for this file. Note that we don't have to worry about duplicates
1918 (caused by multiple inclusions of header files) here because we have
1919 already eliminated duplicates above. */
1921 if (!def_dec_p->file->defs_decs)
1923 def_dec_p->file->defs_decs = def_dec_p;
1924 def_dec_p->next_in_file = NULL;
1928 int line = def_dec_p->line;
1929 const def_dec_info *prev = NULL;
1930 const def_dec_info *curr = def_dec_p->file->defs_decs;
1931 const def_dec_info *next = curr->next_in_file;
1933 while (next && (line < curr->line))
1937 next = next->next_in_file;
1939 if (line >= curr->line)
1941 def_dec_p->next_in_file = curr;
1943 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
1945 def_dec_p->file->defs_decs = def_dec_p;
1947 else /* assert (next == NULL); */
1949 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
1950 /* assert (next == NULL); */
1951 def_dec_p->next_in_file = next;
1956 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1957 Also set input_file_name_index and aux_info_file_name_index
1958 to the indices of the slots where the file names should go. */
1960 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1961 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1964 munge_compile_params (params_list)
1965 const char *params_list;
1967 /* Build up the contents in a temporary vector
1968 that is so big that to has to be big enough. */
1969 const char **temp_params
1970 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
1971 int param_count = 0;
1974 temp_params[param_count++] = compiler_file_name;
1977 while (isspace (*params_list))
1981 param = params_list;
1982 while (*params_list && !isspace (*params_list))
1984 if (param[0] != '-')
1985 temp_params[param_count++]
1986 = dupnstr (param, (size_t) (params_list - param));
1995 break; /* Don't copy these. */
1997 while (isspace (*params_list))
1999 while (*params_list && !isspace (*params_list))
2003 temp_params[param_count++]
2004 = dupnstr (param, (size_t) (params_list - param));
2010 temp_params[param_count++] = "-aux-info";
2012 /* Leave room for the aux-info file name argument. */
2013 aux_info_file_name_index = param_count;
2014 temp_params[param_count++] = NULL;
2016 temp_params[param_count++] = "-S";
2017 temp_params[param_count++] = "-o";
2018 temp_params[param_count++] = "/dev/null";
2020 /* Leave room for the input file name argument. */
2021 input_file_name_index = param_count;
2022 temp_params[param_count++] = NULL;
2023 /* Terminate the list. */
2024 temp_params[param_count++] = NULL;
2026 /* Make a copy of the compile_params in heap space. */
2029 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
2030 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
2033 /* Do a recompilation for the express purpose of generating a new aux_info
2034 file to go with a specific base source file. */
2037 gen_aux_info_file (base_filename)
2038 const char *base_filename;
2042 if (!input_file_name_index)
2043 munge_compile_params ("");
2045 /* Store the full source file name in the argument vector. */
2046 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
2047 /* Add .X to source file name to get aux-info file name. */
2048 compile_params[aux_info_file_name_index]
2049 = savestring2 (compile_params[input_file_name_index],
2050 strlen (compile_params[input_file_name_index]),
2055 fprintf (stderr, "%s: compiling `%s'\n",
2056 pname, compile_params[input_file_name_index]);
2058 if (child_pid = fork ())
2060 if (child_pid == -1)
2062 fprintf (stderr, "%s: could not fork process: %s\n",
2063 pname, sys_errlist[errno]);
2068 /* Print out the command line that the other process is now executing. */
2074 fputs ("\t", stderr);
2075 for (arg = compile_params; *arg; arg++)
2077 fputs (*arg, stderr);
2078 fputc (' ', stderr);
2080 fputc ('\n', stderr);
2088 if (wait (&wait_status) == -1)
2090 fprintf (stderr, "%s: wait failed: %s\n",
2091 pname, sys_errlist[errno]);
2094 if ((wait_status & 0x7F) != 0)
2096 fprintf (stderr, "%s: subprocess got fatal signal %d",
2097 pname, (wait_status & 0x7F));
2100 if (((wait_status & 0xFF00) >> 8) != 0)
2102 fprintf (stderr, "%s: %s exited with status %d\n",
2103 pname, base_filename, ((wait_status & 0xFF00) >> 8));
2111 if (my_execvp (compile_params[0], (char *const *) compile_params))
2113 int e = errno, f = fileno (stderr);
2114 write (f, pname, strlen (pname));
2116 write (f, compile_params[0], strlen (compile_params[0]));
2118 write (f, sys_errlist[e], strlen (sys_errlist[e]));
2122 return 1; /* Never executed. */
2126 /* Read in all of the information contained in a single aux_info file.
2127 Save all of the important stuff for later. */
2130 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2131 const char *base_source_filename;
2135 size_t base_len = strlen (base_source_filename);
2136 char * aux_info_filename
2137 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2138 char *aux_info_base;
2139 char *aux_info_limit;
2140 char *aux_info_relocated_name;
2141 const char *aux_info_second_line;
2142 time_t aux_info_mtime;
2143 size_t aux_info_size;
2146 /* Construct the aux_info filename from the base source filename. */
2148 strcpy (aux_info_filename, base_source_filename);
2149 strcat (aux_info_filename, aux_info_suffix);
2151 /* Check that the aux_info file exists and is readable. If it does not
2152 exist, try to create it (once only). */
2154 /* If file doesn't exist, set must_create.
2155 Likewise if it exists and we can read it but it is obsolete.
2156 Otherwise, report an error. */
2159 /* Come here with must_create set to 1 if file is out of date. */
2162 if (my_access (aux_info_filename, R_OK) == -1)
2164 if (errno == ENOENT)
2168 fprintf (stderr, "%s: warning: missing SYSCALLS file `%s'\n",
2169 pname, aux_info_filename);
2176 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2177 pname, shortpath (NULL, aux_info_filename),
2178 sys_errlist[errno]);
2183 #if 0 /* There is code farther down to take care of this. */
2187 stat (aux_info_file_name, &s1);
2188 stat (base_source_file_name, &s2);
2189 if (s2.st_mtime > s1.st_mtime)
2194 /* If we need a .X file, create it, and verify we can read it. */
2197 if (!gen_aux_info_file (base_source_filename))
2202 if (my_access (aux_info_filename, R_OK) == -1)
2204 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2205 pname, shortpath (NULL, aux_info_filename),
2206 sys_errlist[errno]);
2213 struct stat stat_buf;
2215 /* Get some status information about this aux_info file. */
2217 if (my_stat (aux_info_filename, &stat_buf) == -1)
2219 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2220 pname, shortpath (NULL, aux_info_filename),
2221 sys_errlist[errno]);
2226 /* Check on whether or not this aux_info file is zero length. If it is,
2227 then just ignore it and return. */
2229 if ((aux_info_size = stat_buf.st_size) == 0)
2232 /* Get the date/time of last modification for this aux_info file and
2233 remember it. We will have to check that any source files that it
2234 contains information about are at least this old or older. */
2236 aux_info_mtime = stat_buf.st_mtime;
2240 /* Compare mod time with the .c file; update .X file if obsolete.
2241 The code later on can fail to check the .c file
2242 if it did not directly define any functions. */
2244 if (my_stat (base_source_filename, &stat_buf) == -1)
2246 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2247 pname, shortpath (NULL, base_source_filename),
2248 sys_errlist[errno]);
2252 if (stat_buf.st_mtime > aux_info_mtime)
2263 /* Open the aux_info file. */
2265 if ((aux_info_file = my_open (aux_info_filename, O_RDONLY, 0444 )) == -1)
2267 fprintf (stderr, "%s: can't open aux info file `%s' for reading: %s\n",
2268 pname, shortpath (NULL, aux_info_filename),
2269 sys_errlist[errno]);
2273 /* Allocate space to hold the aux_info file in memory. */
2275 aux_info_base = xmalloc (aux_info_size + 1);
2276 aux_info_limit = aux_info_base + aux_info_size;
2277 *aux_info_limit = '\0';
2279 /* Read the aux_info file into memory. */
2281 if (safe_read (aux_info_file, aux_info_base, aux_info_size) != aux_info_size)
2283 fprintf (stderr, "%s: error reading aux info file `%s': %s\n",
2284 pname, shortpath (NULL, aux_info_filename),
2285 sys_errlist[errno]);
2286 free (aux_info_base);
2287 close (aux_info_file);
2291 /* Close the aux info file. */
2293 if (close (aux_info_file))
2295 fprintf (stderr, "%s: error closing aux info file `%s': %s\n",
2296 pname, shortpath (NULL, aux_info_filename),
2297 sys_errlist[errno]);
2298 free (aux_info_base);
2299 close (aux_info_file);
2304 /* Delete the aux_info file (unless requested not to). If the deletion
2305 fails for some reason, don't even worry about it. */
2307 if (must_create && !keep_it)
2308 if (my_unlink (aux_info_filename) == -1)
2309 fprintf (stderr, "%s: can't delete aux info file `%s': %s\n",
2310 pname, shortpath (NULL, aux_info_filename),
2311 sys_errlist[errno]);
2313 /* Save a pointer into the first line of the aux_info file which
2314 contains the filename of the directory from which the compiler
2315 was invoked when the associated source file was compiled.
2316 This information is used later to help create complete
2317 filenames out of the (potentially) relative filenames in
2318 the aux_info file. */
2321 char *p = aux_info_base;
2328 invocation_filename = p; /* Save a pointer to first byte of path. */
2333 while (*p++ != '\n')
2335 aux_info_second_line = p;
2336 aux_info_relocated_name = 0;
2337 if (invocation_filename[0] != '/')
2339 /* INVOCATION_FILENAME is relative;
2340 append it to BASE_SOURCE_FILENAME's dir. */
2342 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2343 strcpy (aux_info_relocated_name, base_source_filename);
2344 dir_end = rindex (aux_info_relocated_name, '/');
2348 dir_end = aux_info_relocated_name;
2349 strcpy (dir_end, invocation_filename);
2350 invocation_filename = aux_info_relocated_name;
2356 const char *aux_info_p;
2358 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2359 of the source files referenced in there are at least as old as this
2360 aux_info file itself. If not, go back and regenerate the aux_info
2361 file anew. Don't do any of this for the syscalls file. */
2365 current_aux_info_lineno = 2;
2367 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2369 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2371 free (aux_info_base);
2372 xfree (aux_info_relocated_name);
2373 if (keep_it && my_unlink (aux_info_filename) == -1)
2375 fprintf (stderr, "%s: can't delete file `%s': %s\n",
2376 pname, shortpath (NULL, aux_info_filename),
2377 sys_errlist[errno]);
2383 /* Skip over the rest of this line to start of next line. */
2385 while (*aux_info_p != '\n')
2388 current_aux_info_lineno++;
2392 /* Now do the real pass on the aux_info lines. Save their information in
2393 the in-core data base. */
2395 current_aux_info_lineno = 2;
2397 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2399 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2401 if (unexpanded_line)
2403 save_def_or_dec (unexpanded_line, is_syscalls);
2404 free (unexpanded_line);
2407 save_def_or_dec (aux_info_p, is_syscalls);
2409 /* Skip over the rest of this line and get to start of next line. */
2411 while (*aux_info_p != '\n')
2414 current_aux_info_lineno++;
2418 free (aux_info_base);
2419 xfree (aux_info_relocated_name);
2424 /* Check an individual filename for a .c suffix. If the filename has this
2425 suffix, rename the file such that its suffix is changed to .C. This
2426 function implements the -C option. */
2430 const hash_table_entry *hp;
2432 const char *filename = hp->symbol;
2433 int last_char_index = strlen (filename) - 1;
2434 char *const new_filename = (char *) alloca (strlen (filename) + 1);
2436 /* Note that we don't care here if the given file was converted or not. It
2437 is possible that the given file was *not* converted, simply because there
2438 was nothing in it which actually required conversion. Even in this case,
2439 we want to do the renaming. Note that we only rename files with the .c
2442 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.')
2445 strcpy (new_filename, filename);
2446 new_filename[last_char_index] = 'C';
2448 if (my_link (filename, new_filename) == -1)
2450 fprintf (stderr, "%s: warning: can't link file `%s' to `%s': %s\n",
2451 pname, shortpath (NULL, filename),
2452 shortpath (NULL, new_filename), sys_errlist[errno]);
2457 if (my_unlink (filename) == -1)
2459 fprintf (stderr, "%s: warning: can't delete file `%s': %s\n",
2460 pname, shortpath (NULL, filename), sys_errlist[errno]);
2466 #endif /* !defined (UNPROTOIZE) */
2468 /* Take the list of definitions and declarations attached to a particular
2469 file_info node and reverse the order of the list. This should get the
2470 list into an order such that the item with the lowest associated line
2471 number is nearest the head of the list. When these lists are originally
2472 built, they are in the opposite order. We want to traverse them in
2473 normal line number order later (i.e. lowest to highest) so reverse the
2477 reverse_def_dec_list (hp)
2478 const hash_table_entry *hp;
2480 file_info *file_p = hp->fip;
2481 const def_dec_info *prev = NULL;
2482 const def_dec_info *current = file_p->defs_decs;
2484 if (!( current = file_p->defs_decs))
2485 return; /* no list to reverse */
2488 if (! (current = current->next_in_file))
2489 return; /* can't reverse a single list element */
2491 ((NONCONST def_dec_info *) prev)->next_in_file = NULL;
2495 const def_dec_info *next = current->next_in_file;
2497 ((NONCONST def_dec_info *) current)->next_in_file = prev;
2502 file_p->defs_decs = prev;
2507 /* Find the (only?) extern definition for a particular function name, starting
2508 from the head of the linked list of entries for the given name. If we
2509 cannot find an extern definition for the given function name, issue a
2510 warning and scrounge around for the next best thing, i.e. an extern
2511 function declaration with a prototype attached to it. Note that we only
2512 allow such substitutions for extern declarations and never for static
2513 declarations. That's because the only reason we allow them at all is
2514 to let un-prototyped function declarations for system-supplied library
2515 functions get their prototypes from our own extra SYSCALLS.c.X file which
2516 contains all of the correct prototypes for system functions. */
2518 static const def_dec_info *
2519 find_extern_def (head, user)
2520 const def_dec_info *head;
2521 const def_dec_info *user;
2523 const def_dec_info *dd_p;
2524 const def_dec_info *extern_def_p = NULL;
2525 int conflict_noted = 0;
2527 /* Don't act too stupid here. Somebody may try to convert an entire system
2528 in one swell fwoop (rather than one program at a time, as should be done)
2529 and in that case, we may find that there are multiple extern definitions
2530 of a given function name in the entire set of source files that we are
2531 converting. If however one of these definitions resides in exactly the
2532 same source file as the reference we are trying to satisfy then in that
2533 case it would be stupid for us to fail to realize that this one definition
2534 *must* be the precise one we are looking for.
2536 To make sure that we don't miss an opportunity to make this "same file"
2537 leap of faith, we do a prescan of the list of records relating to the
2538 given function name, and we look (on this first scan) *only* for a
2539 definition of the function which is in the same file as the reference
2540 we are currently trying to satisfy. */
2542 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2543 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2546 /* Now, since we have not found a definition in the same file as the
2547 reference, we scan the list again and consider all possibilities from
2548 all files. Here we may get conflicts with the things listed in the
2549 SYSCALLS.c.X file, but if that happens it only means that the source
2550 code being converted contains its own definition of a function which
2551 could have been supplied by libc.a. In such cases, we should avoid
2552 issuing the normal warning, and defer to the definition given in the
2555 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2556 if (dd_p->is_func_def && !dd_p->is_static)
2558 if (!extern_def_p) /* Previous definition? */
2559 extern_def_p = dd_p; /* Remember the first definition found. */
2562 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2564 if (is_syscalls_file (dd_p->file))
2567 /* Quietly replace the definition previously found with the one
2568 just found if the previous one was from SYSCALLS.c.X. */
2570 if (is_syscalls_file (extern_def_p->file))
2572 extern_def_p = dd_p;
2576 /* If we get here, then there is a conflict between two function
2577 declarations for the same function, both of which came from the
2580 if (!conflict_noted) /* first time we noticed? */
2583 fprintf (stderr, "%s: conflicting extern definitions of '%s'\n",
2584 pname, head->hash_entry->symbol);
2587 fprintf (stderr, "%s: declarations of '%s' will not be converted\n",
2588 pname, head->hash_entry->symbol);
2589 fprintf (stderr, "%s: conflict list for '%s' follows:\n",
2590 pname, head->hash_entry->symbol);
2591 fprintf (stderr, "%s: %s(%d): %s\n",
2593 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2594 extern_def_p->line, extern_def_p->ansi_decl);
2598 fprintf (stderr, "%s: %s(%d): %s\n",
2600 shortpath (NULL, dd_p->file->hash_entry->symbol),
2601 dd_p->line, dd_p->ansi_decl);
2605 /* We want to err on the side of caution, so if we found multiple conflicting
2606 definitions for the same function, treat this as being that same as if we
2607 had found no definitions (i.e. return NULL). */
2614 /* We have no definitions for this function so do the next best thing.
2615 Search for an extern declaration already in prototype form. */
2617 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2618 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2620 extern_def_p = dd_p; /* save a pointer to the definition */
2622 fprintf (stderr, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2624 shortpath (NULL, dd_p->file->hash_entry->symbol),
2625 dd_p->line, dd_p->hash_entry->symbol);
2629 /* Gripe about unprototyped function declarations that we found no
2630 corresponding definition (or other source of prototype information)
2633 Gripe even if the unprototyped declaration we are worried about
2634 exists in a file in one of the "system" include directories. We
2635 can gripe about these because we should have at least found a
2636 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2637 didn't, then that means that the SYSCALLS.c.X file is missing some
2638 needed prototypes for this particular system. That is worth telling
2643 const char *file = user->file->hash_entry->symbol;
2646 if (in_system_include_dir (file))
2648 /* Why copy this string into `needed' at all?
2649 Why not just use user->ansi_decl without copying? */
2650 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2653 strcpy (needed, user->ansi_decl);
2654 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2655 + strlen (user->hash_entry->symbol) + 2;
2656 /* Avoid having ??? in the string. */
2662 fprintf (stderr, "%s: %d: `%s' used but missing from SYSCALLS\n",
2663 shortpath (NULL, file), user->line,
2664 needed+7); /* Don't print "extern " */
2668 fprintf (stderr, "%s: %d: warning: no extern definition for `%s'\n",
2669 shortpath (NULL, file), user->line,
2670 user->hash_entry->symbol);
2674 return extern_def_p;
2677 /* Find the (only?) static definition for a particular function name in a
2678 given file. Here we get the function-name and the file info indirectly
2679 from the def_dec_info record pointer which is passed in. */
2681 static const def_dec_info *
2682 find_static_definition (user)
2683 const def_dec_info *user;
2685 const def_dec_info *head = user->hash_entry->ddip;
2686 const def_dec_info *dd_p;
2687 int num_static_defs = 0;
2688 const def_dec_info *static_def_p = NULL;
2690 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2691 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2693 static_def_p = dd_p; /* save a pointer to the definition */
2696 if (num_static_defs == 0)
2699 fprintf (stderr, "%s: warning: no static definition for `%s' in file `%s'\n",
2700 pname, head->hash_entry->symbol,
2701 shortpath (NULL, user->file->hash_entry->symbol));
2703 else if (num_static_defs > 1)
2705 fprintf (stderr, "%s: multiple static defs of `%s' in file `%s'\n",
2706 pname, head->hash_entry->symbol,
2707 shortpath (NULL, user->file->hash_entry->symbol));
2710 return static_def_p;
2713 /* Find good prototype style formal argument lists for all of the function
2714 declarations which didn't have them before now.
2716 To do this we consider each function name one at a time. For each function
2717 name, we look at the items on the linked list of def_dec_info records for
2718 that particular name.
2720 Somewhere on this list we should find one (and only one) def_dec_info
2721 record which represents the actual function definition, and this record
2722 should have a nice formal argument list already associated with it.
2724 Thus, all we have to do is to connect up all of the other def_dec_info
2725 records for this particular function name to the special one which has
2726 the full-blown formals list.
2728 Of course it is a little more complicated than just that. See below for
2732 connect_defs_and_decs (hp)
2733 const hash_table_entry *hp;
2735 const def_dec_info *dd_p;
2736 const def_dec_info *extern_def_p = NULL;
2737 int first_extern_reference = 1;
2739 /* Traverse the list of definitions and declarations for this particular
2740 function name. For each item on the list, if it is a function
2741 definition (either old style or new style) then GCC has already been
2742 kind enough to produce a prototype for us, and it is associated with
2743 the item already, so declare the item as its own associated "definition".
2745 Also, for each item which is only a function declaration, but which
2746 nonetheless has its own prototype already (obviously supplied by the user)
2747 declare the item as it's own definition.
2749 Note that when/if there are multiple user-supplied prototypes already
2750 present for multiple declarations of any given function, these multiple
2751 prototypes *should* all match exactly with one another and with the
2752 prototype for the actual function definition. We don't check for this
2753 here however, since we assume that the compiler must have already done
2754 this consistency checking when it was creating the .X files. */
2756 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2757 if (dd_p->prototyped)
2758 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2760 /* Traverse the list of definitions and declarations for this particular
2761 function name. For each item on the list, if it is an extern function
2762 declaration and if it has no associated definition yet, go try to find
2763 the matching extern definition for the declaration.
2765 When looking for the matching function definition, warn the user if we
2768 If we find more that one function definition also issue a warning.
2770 Do the search for the matching definition only once per unique function
2771 name (and only when absolutely needed) so that we can avoid putting out
2772 redundant warning messages, and so that we will only put out warning
2773 messages when there is actually a reference (i.e. a declaration) for
2774 which we need to find a matching definition. */
2776 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2777 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2779 if (first_extern_reference)
2781 extern_def_p = find_extern_def (hp->ddip, dd_p);
2782 first_extern_reference = 0;
2784 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2787 /* Traverse the list of definitions and declarations for this particular
2788 function name. For each item on the list, if it is a static function
2789 declaration and if it has no associated definition yet, go try to find
2790 the matching static definition for the declaration within the same file.
2792 When looking for the matching function definition, warn the user if we
2793 fail to find one in the same file with the declaration, and refuse to
2794 convert this kind of cross-file static function declaration. After all,
2795 this is stupid practice and should be discouraged.
2797 We don't have to worry about the possibility that there is more than one
2798 matching function definition in the given file because that would have
2799 been flagged as an error by the compiler.
2801 Do the search for the matching definition only once per unique
2802 function-name/source-file pair (and only when absolutely needed) so that
2803 we can avoid putting out redundant warning messages, and so that we will
2804 only put out warning messages when there is actually a reference (i.e. a
2805 declaration) for which we actually need to find a matching definition. */
2807 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2808 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2810 const def_dec_info *dd_p2;
2811 const def_dec_info *static_def;
2813 /* We have now found a single static declaration for which we need to
2814 find a matching definition. We want to minimize the work (and the
2815 number of warnings), so we will find an appropriate (matching)
2816 static definition for this declaration, and then distribute it
2817 (as the definition for) any and all other static declarations
2818 for this function name which occur within the same file, and which
2819 do not already have definitions.
2821 Note that a trick is used here to prevent subsequent attempts to
2822 call find_static_definition for a given function-name & file
2823 if the first such call returns NULL. Essentially, we convert
2824 these NULL return values to -1, and put the -1 into the definition
2825 field for each other static declaration from the same file which
2826 does not already have an associated definition.
2827 This makes these other static declarations look like they are
2828 actually defined already when the outer loop here revisits them
2829 later on. Thus, the outer loop will skip over them. Later, we
2830 turn the -1's back to NULL's. */
2832 ((NONCONST def_dec_info *) dd_p)->definition =
2833 (static_def = find_static_definition (dd_p))
2835 : (const def_dec_info *) -1;
2837 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2838 if (!dd_p2->is_func_def && dd_p2->is_static
2839 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2840 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2843 /* Convert any dummy (-1) definitions we created in the step above back to
2844 NULL's (as they should be). */
2846 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2847 if (dd_p->definition == (def_dec_info *) -1)
2848 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2851 #endif /* !defined (UNPROTOIZE) */
2853 /* Give a pointer into the clean text buffer, return a number which is the
2854 original source line number that the given pointer points into. */
2857 identify_lineno (clean_p)
2858 const char *clean_p;
2863 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2864 if (*scan_p == '\n')
2869 /* Issue an error message and give up on doing this particular edit. */
2872 declare_source_confusing (clean_p)
2873 const char *clean_p;
2878 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2879 shortpath (NULL, convert_filename), last_known_line_number);
2881 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2882 shortpath (NULL, convert_filename),
2883 identify_lineno (clean_p));
2885 longjmp (source_confusion_recovery, 1);
2888 /* Check that a condition which is expected to be true in the original source
2889 code is in fact true. If not, issue an error message and give up on
2890 converting this particular source file. */
2893 check_source (cond, clean_p)
2895 const char *clean_p;
2898 declare_source_confusing (clean_p);
2901 /* If we think of the in-core cleaned text buffer as a memory mapped
2902 file (with the variable last_known_line_start acting as sort of a
2903 file pointer) then we can imagine doing "seeks" on the buffer. The
2904 following routine implements a kind of "seek" operation for the in-core
2905 (cleaned) copy of the source file. When finished, it returns a pointer to
2906 the start of a given (numbered) line in the cleaned text buffer.
2908 Note that protoize only has to "seek" in the forward direction on the
2909 in-core cleaned text file buffers, and it never needs to back up.
2911 This routine is made a little bit faster by remembering the line number
2912 (and pointer value) supplied (and returned) from the previous "seek".
2913 This prevents us from always having to start all over back at the top
2914 of the in-core cleaned buffer again. */
2920 if (n < last_known_line_number)
2923 while (n > last_known_line_number)
2925 while (*last_known_line_start != '\n')
2926 check_source (++last_known_line_start < clean_text_limit, 0);
2927 last_known_line_start++;
2928 last_known_line_number++;
2930 return last_known_line_start;
2933 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2934 to the next non-whitepace character which follows it. */
2937 forward_to_next_token_char (ptr)
2940 for (++ptr; isspace (*ptr); check_source (++ptr < clean_text_limit, 0))
2945 /* Copy a chunk of text of length `len' and starting at `str' to the current
2946 output buffer. Note that all attempts to add stuff to the current output
2947 buffer ultimately go through here. */
2950 output_bytes (str, len)
2954 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2956 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2957 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2959 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2960 repl_text_base = new_buf;
2961 repl_text_limit = new_buf + new_size;
2963 memcpy (repl_write_ptr + 1, str, len);
2964 repl_write_ptr += len;
2967 /* Copy all bytes (except the trailing null) of a null terminated string to
2968 the current output buffer. */
2974 output_bytes (str, strlen (str));
2977 /* Copy some characters from the original text buffer to the current output
2980 This routine takes a pointer argument `p' which is assumed to be a pointer
2981 into the cleaned text buffer. The bytes which are copied are the `original'
2982 equivalents for the set of bytes between the last value of `clean_read_ptr'
2983 and the argument value `p'.
2985 The set of bytes copied however, comes *not* from the cleaned text buffer,
2986 but rather from the direct counterparts of these bytes within the original
2989 Thus, when this function is called, some bytes from the original text
2990 buffer (which may include original comments and preprocessing directives)
2991 will be copied into the output buffer.
2993 Note that the request implide when this routine is called includes the
2994 byte pointed to by the argument pointer `p'. */
3000 size_t copy_length = (size_t) (p - clean_read_ptr);
3001 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
3003 if (copy_length == 0)
3006 output_bytes (copy_start, copy_length);
3010 /* Given a pointer to a def_dec_info record which represents some form of
3011 definition of a function (perhaps a real definition, or in lieu of that
3012 perhaps just a declaration with a full prototype) return true if this
3013 function is one which we should avoid converting. Return false
3017 other_variable_style_function (ansi_header)
3018 const char *ansi_header;
3022 /* See if we have a stdarg function, or a function which has stdarg style
3023 parameters or a stdarg style return type. */
3025 return substr (ansi_header, "...") != 0;
3027 #else /* !defined (UNPROTOIZE) */
3029 /* See if we have a varargs function, or a function which has varargs style
3030 parameters or a varargs style return type. */
3033 int len = strlen (varargs_style_indicator);
3035 for (p = ansi_header; p; )
3037 const char *candidate;
3039 if ((candidate = substr (p, varargs_style_indicator)) == 0)
3042 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
3048 #endif /* !defined (UNPROTOIZE) */
3051 /* Do the editing operation specifically for a function "declaration". Note
3052 that editing for function "definitions" are handled in a separate routine
3056 edit_fn_declaration (def_dec_p, clean_text_p)
3057 const def_dec_info *def_dec_p;
3058 const char *volatile clean_text_p;
3060 const char *start_formals;
3061 const char *end_formals;
3062 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3063 size_t func_name_len = strlen (function_to_edit);
3064 const char *end_of_fn_name;
3068 const f_list_chain_item *this_f_list_chain_item;
3069 const def_dec_info *definition = def_dec_p->definition;
3071 /* If we are protoizing, and if we found no corresponding definition for
3072 this particular function declaration, then just leave this declaration
3073 exactly as it is. */
3078 /* If we are protoizing, and if the corresponding definition that we found
3079 for this particular function declaration defined an old style varargs
3080 function, then we want to issue a warning and just leave this function
3081 declaration unconverted. */
3083 if (other_variable_style_function (definition->ansi_decl))
3086 fprintf (stderr, "%s: %d: warning: varargs function declaration not converted\n",
3087 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3092 #endif /* !defined (UNPROTOIZE) */
3094 /* Setup here to recover from confusing source code detected during this
3095 particular "edit". */
3098 if (setjmp (source_confusion_recovery))
3100 restore_pointers ();
3101 fprintf (stderr, "%s: declaration of function `%s' not converted\n",
3102 pname, function_to_edit);
3106 /* We are editing a function declaration. The line number we did a seek to
3107 contains the comma or semicolon which follows the declaration. Our job
3108 now is to scan backwards looking for the function name. This name *must*
3109 be followed by open paren (ignoring whitespace, of course). We need to
3110 replace everything between that open paren and the corresponding closing
3111 paren. If we are protoizing, we need to insert the prototype-style
3112 formals lists. If we are unprotoizing, we need to just delete everything
3113 between the pairs of opening and closing parens. */
3115 /* First move up to the end of the line. */
3117 while (*clean_text_p != '\n')
3118 check_source (++clean_text_p < clean_text_limit, 0);
3119 clean_text_p--; /* Point to just before the newline character. */
3121 /* Now we can scan backwards for the function name. */
3127 /* Scan leftwards until we find some character which can be
3128 part of an identifier. */
3130 while (!is_id_char (*clean_text_p))
3131 check_source (--clean_text_p > clean_read_ptr, 0);
3133 /* Scan backwards until we find a char that cannot be part of an
3136 while (is_id_char (*clean_text_p))
3137 check_source (--clean_text_p > clean_read_ptr, 0);
3139 /* Having found an "id break", see if the following id is the one
3140 that we are looking for. If so, then exit from this loop. */
3142 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3144 char ch = *(clean_text_p + 1 + func_name_len);
3146 /* Must also check to see that the name in the source text
3147 ends where it should (in order to prevent bogus matches
3148 on similar but longer identifiers. */
3150 if (! is_id_char (ch))
3151 break; /* exit from loop */
3155 /* We have now found the first perfect match for the function name in
3156 our backward search. This may or may not be the actual function
3157 name at the start of the actual function declaration (i.e. we could
3158 have easily been mislead). We will try to avoid getting fooled too
3159 often by looking forward for the open paren which should follow the
3160 identifier we just found. We ignore whitespace while hunting. If
3161 the next non-whitespace byte we see is *not* an open left paren,
3162 then we must assume that we have been fooled and we start over
3163 again accordingly. Note that there is no guarantee, that even if
3164 we do see the open paren, that we are in the right place.
3165 Programmers do the strangest things sometimes! */
3167 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3168 start_formals = forward_to_next_token_char (end_of_fn_name);
3170 while (*start_formals != '(');
3172 /* start_of_formals now points to the opening left paren which immediately
3173 follows the name of the function. */
3175 /* Note that there may be several formals lists which need to be modified
3176 due to the possibility that the return type of this function is a
3177 pointer-to-function type. If there are several formals lists, we
3178 convert them in left-to-right order here. */
3181 this_f_list_chain_item = definition->f_list_chain;
3182 #endif /* !defined (UNPROTOIZE) */
3189 end_formals = start_formals + 1;
3191 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3193 switch (*end_formals)
3206 /* end_formals now points to the closing right paren of the formals
3207 list whose left paren is pointed to by start_formals. */
3209 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3210 attached to the associated definition of this function. If however
3211 we are unprotoizing, then we simply delete any formals list which
3214 output_up_to (start_formals);
3216 if (this_f_list_chain_item)
3218 output_string (this_f_list_chain_item->formals_list);
3219 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3224 fprintf (stderr, "%s: warning: too many parameter lists in declaration of `%s'\n",
3225 pname, def_dec_p->hash_entry->symbol);
3226 check_source (0, end_formals); /* leave the declaration intact */
3228 #endif /* !defined (UNPROTOIZE) */
3229 clean_read_ptr = end_formals - 1;
3231 /* Now see if it looks like there may be another formals list associated
3232 with the function declaration that we are converting (following the
3233 formals list that we just converted. */
3236 const char *another_r_paren = forward_to_next_token_char (end_formals);
3238 if ((*another_r_paren != ')')
3239 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3242 if (this_f_list_chain_item)
3245 fprintf (stderr, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3246 pname, def_dec_p->hash_entry->symbol);
3247 check_source (0, start_formals); /* leave the decl intact */
3249 #endif /* !defined (UNPROTOIZE) */
3255 /* There does appear to be yet another formals list, so loop around
3256 again, and convert it also. */
3260 /* Edit a whole group of formals lists, starting with the rightmost one
3261 from some set of formals lists. This routine is called once (from the
3262 outside) for each function declaration which is converted. It is
3263 recursive however, and it calls itself once for each remaining formal
3264 list that lies to the left of the one it was originally called to work
3265 on. Thus, a whole set gets done in right-to-left order.
3267 This routine returns non-zero if it thinks that it should not be trying
3268 to convert this particular function definition (because the name of the
3269 function doesn't match the one expected). */
3272 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3273 const char *end_formals;
3274 unsigned int f_list_count;
3275 const def_dec_info *def_dec_p;
3277 const char *start_formals;
3280 start_formals = end_formals - 1;
3282 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3284 switch (*start_formals)
3296 /* start_formals now points to the opening left paren of the formals list. */
3302 const char *next_end;
3304 /* There should be more formal lists to the left of here. */
3306 next_end = start_formals - 1;
3307 check_source (next_end > clean_read_ptr, 0);
3308 while (isspace (*next_end))
3309 check_source (--next_end > clean_read_ptr, 0);
3310 check_source (*next_end == ')', next_end);
3311 check_source (--next_end > clean_read_ptr, 0);
3312 check_source (*next_end == ')', next_end);
3313 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3317 /* Check that the function name in the header we are working on is the same
3318 as the one we would expect to find. If not, issue a warning and return
3321 if (f_list_count == 0)
3323 const char *expected = def_dec_p->hash_entry->symbol;
3324 const char *func_name_start;
3325 const char *func_name_limit;
3326 size_t func_name_len;
3328 for (func_name_limit = start_formals-1; isspace (*func_name_limit); )
3329 check_source (--func_name_limit > clean_read_ptr, 0);
3331 for (func_name_start = func_name_limit++;
3332 is_id_char (*func_name_start);
3334 check_source (func_name_start > clean_read_ptr, 0);
3336 func_name_len = func_name_limit - func_name_start;
3337 if (func_name_len == 0)
3338 check_source (0, func_name_start);
3339 if (func_name_len != strlen (expected)
3340 || strncmp (func_name_start, expected, func_name_len))
3342 fprintf (stderr, "%s: %d: warning: found `%s' but expected `%s'\n",
3343 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3344 identify_lineno (func_name_start),
3345 dupnstr (func_name_start, func_name_len),
3351 output_up_to (start_formals);
3354 if (f_list_count == 0)
3355 output_string (def_dec_p->formal_names);
3356 #else /* !defined (UNPROTOIZE) */
3358 unsigned f_list_depth;
3359 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3361 /* At this point, the current value of f_list count says how many
3362 links we have to follow through the f_list_chain to get to the
3363 particular formals list that we need to output next. */
3365 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3366 flci_p = flci_p->chain_next;
3367 output_string (flci_p->formals_list);
3369 #endif /* !defined (UNPROTOIZE) */
3371 clean_read_ptr = end_formals - 1;
3375 /* Given a pointer to a byte in the clean text buffer which points to the
3376 beginning of a line that contains a "follower" token for a function
3377 definition header, do whatever is necessary to find the right closing
3378 paren for the rightmost formals list of the function definition header.
3382 find_rightmost_formals_list (clean_text_p)
3383 const char *clean_text_p;
3385 const char *end_formals;
3387 /* We are editing a function definition. The line number we did a seek
3388 to contains the first token which immediately follows the entire set of
3389 formals lists which are part of this particular function definition
3392 Our job now is to scan leftwards in the clean text looking for the
3393 right-paren which is at the end of the function header's rightmost
3396 If we ignore whitespace, this right paren should be the first one we
3397 see which is (ignoring whitespace) immediately followed either by the
3398 open curly-brace beginning the function body or by an alphabetic
3399 character (in the case where the function definition is in old (K&R)
3400 style and there are some declarations of formal parameters). */
3402 /* It is possible that the right paren we are looking for is on the
3403 current line (together with its following token). Just in case that
3404 might be true, we start out here by skipping down to the right end of
3405 the current line before starting our scan. */
3407 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3413 /* Now scan backwards while looking for the right end of the rightmost
3414 formals list associated with this function definition. */
3418 const char *l_brace_p;
3420 /* Look leftward and try to find a right-paren. */
3422 while (*end_formals != ')')
3424 if (isspace (*end_formals))
3425 while (isspace (*end_formals))
3426 check_source (--end_formals > clean_read_ptr, 0);
3428 check_source (--end_formals > clean_read_ptr, 0);
3431 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3432 /* Since we are unprotoizing an ANSI-style (prototyped) function
3433 definition, there had better not be anything (except whitespace)
3434 between the end of the ANSI formals list and the beginning of the
3435 function body (i.e. the '{'). */
3437 check_source (ch == '{', l_brace_p);
3440 #else /* !defined (UNPROTOIZE) */
3442 /* Now scan backwards while looking for the right end of the rightmost
3443 formals list associated with this function definition. */
3448 const char *l_brace_p;
3450 /* Look leftward and try to find a right-paren. */
3452 while (*end_formals != ')')
3454 if (isspace (*end_formals))
3455 while (isspace (*end_formals))
3456 check_source (--end_formals > clean_read_ptr, 0);
3458 check_source (--end_formals > clean_read_ptr, 0);
3461 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3463 /* Since it is possible that we found a right paren before the starting
3464 '{' of the body which IS NOT the one at the end of the real K&R
3465 formals list (say for instance, we found one embedded inside one of
3466 the old K&R formal parameter declarations) we have to check to be
3467 sure that this is in fact the right paren that we were looking for.
3469 The one we were looking for *must* be followed by either a '{' or
3470 by an alphabetic character, while others *cannot* legally be followed
3471 by such characters. */
3473 if ((ch == '{') || isalpha (ch))
3476 /* At this point, we have found a right paren, but we know that it is
3477 not the one we were looking for, so backup one character and keep
3480 check_source (--end_formals > clean_read_ptr, 0);
3483 #endif /* !defined (UNPROTOIZE) */
3490 /* Insert into the output file a totally new declaration for a function
3491 which (up until now) was being called from within the current block
3492 without having been declared at any point such that the declaration
3493 was visible (i.e. in scope) at the point of the call.
3495 We need to add in explicit declarations for all such function calls
3496 in order to get the full benefit of prototype-based function call
3497 parameter type checking. */
3500 add_local_decl (def_dec_p, clean_text_p)
3501 const def_dec_info *def_dec_p;
3502 const char *clean_text_p;
3504 const char *start_of_block;
3505 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3507 /* Don't insert new local explicit declarations unless explicitly requested
3513 /* Setup here to recover from confusing source code detected during this
3514 particular "edit". */
3517 if (setjmp (source_confusion_recovery))
3519 restore_pointers ();
3520 fprintf (stderr, "%s: local declaration for function `%s' not inserted\n",
3521 pname, function_to_edit);
3525 /* We have already done a seek to the start of the line which should
3526 contain *the* open curly brace which begins the block in which we need
3527 to insert an explicit function declaration (to replace the implicit one).
3529 Now we scan that line, starting from the left, until we find the
3530 open curly brace we are looking for. Note that there may actually be
3531 multiple open curly braces on the given line, but we will be happy
3532 with the leftmost one no matter what. */
3534 start_of_block = clean_text_p;
3535 while (*start_of_block != '{' && *start_of_block != '\n')
3536 check_source (++start_of_block < clean_text_limit, 0);
3538 /* Note that the line from the original source could possibly
3539 contain *no* open curly braces! This happens if the line contains
3540 a macro call which expands into a chunk of text which includes a
3541 block (and that block's associated open and close curly braces).
3542 In cases like this, we give up, issue a warning, and do nothing. */
3544 if (*start_of_block != '{')
3548 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3549 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3550 def_dec_p->hash_entry->symbol);
3554 /* Figure out what a nice (pretty) indentation would be for the new
3555 declaration we are adding. In order to do this, we must scan forward
3556 from the '{' until we find the first line which starts with some
3557 non-whitespace characters (i.e. real "token" material). */
3560 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3563 /* Now we have ep pointing at the rightmost byte of some existing indent
3564 stuff. At least that is the hope.
3566 We can now just scan backwards and find the left end of the existing
3567 indentation string, and then copy it to the output buffer. */
3569 for (sp = ep; isspace (*sp) && *sp != '\n'; sp--)
3572 /* Now write out the open { which began this block, and any following
3573 trash up to and including the last byte of the existing indent that
3578 /* Now we go ahead and insert the new declaration at this point.
3580 If the definition of the given function is in the same file that we
3581 are currently editing, and if its full ANSI declaration normally
3582 would start with the keyword `extern', suppress the `extern'. */
3585 const char *decl = def_dec_p->definition->ansi_decl;
3587 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3589 output_string (decl);
3592 /* Finally, write out a new indent string, just like the preceding one
3593 that we found. This will typically include a newline as the first
3594 character of the indent string. */
3596 output_bytes (sp, (size_t) (ep - sp) + 1);
3600 /* Given a pointer to a file_info record, and a pointer to the beginning
3601 of a line (in the clean text buffer) which is assumed to contain the
3602 first "follower" token for the first function definition header in the
3603 given file, find a good place to insert some new global function
3604 declarations (which will replace scattered and imprecise implicit ones)
3605 and then insert the new explicit declaration at that point in the file. */
3608 add_global_decls (file_p, clean_text_p)
3609 const file_info *file_p;
3610 const char *clean_text_p;
3612 const def_dec_info *dd_p;
3615 /* Setup here to recover from confusing source code detected during this
3616 particular "edit". */
3619 if (setjmp (source_confusion_recovery))
3621 restore_pointers ();
3622 fprintf (stderr, "%s: global declarations for file `%s' not inserted\n",
3623 pname, shortpath (NULL, file_p->hash_entry->symbol));
3627 /* Start by finding a good location for adding the new explicit function
3628 declarations. To do this, we scan backwards, ignoring whitespace
3629 and comments and other junk until we find either a semicolon, or until
3630 we hit the beginning of the file. */
3632 scan_p = find_rightmost_formals_list (clean_text_p);
3635 if (scan_p < clean_text_base)
3637 check_source (scan_p > clean_read_ptr, 0);
3642 /* scan_p now points either to a semicolon, or to just before the start
3643 of the whole file. */
3645 /* Now scan forward for the first non-whitespace character. In theory,
3646 this should be the first character of the following function definition
3647 header. We will put in the added declarations just prior to that. */
3650 while (isspace (*scan_p))
3654 output_up_to (scan_p);
3656 /* Now write out full prototypes for all of the things that had been
3657 implicitly declared in this file (but only those for which we were
3658 actually able to find unique matching definitions). Avoid duplicates
3659 by marking things that we write out as we go. */
3662 int some_decls_added = 0;
3664 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3665 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3667 const char *decl = dd_p->definition->ansi_decl;
3669 /* If the function for which we are inserting a declaration is
3670 actually defined later in the same file, then suppress the
3671 leading `extern' keyword (if there is one). */
3673 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3676 output_string ("\n");
3677 output_string (decl);
3678 some_decls_added = 1;
3679 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3681 if (some_decls_added)
3682 output_string ("\n\n");
3685 /* Unmark all of the definitions that we just marked. */
3687 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3688 if (dd_p->definition)
3689 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3692 #endif /* !defined (UNPROTOIZE) */
3694 /* Do the editing operation specifically for a function "definition". Note
3695 that editing operations for function "declarations" are handled by a
3696 separate routine above. */
3699 edit_fn_definition (def_dec_p, clean_text_p)
3700 const def_dec_info *def_dec_p;
3701 const char *clean_text_p;
3703 const char *end_formals;
3704 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3706 /* Setup here to recover from confusing source code detected during this
3707 particular "edit". */
3710 if (setjmp (source_confusion_recovery))
3712 restore_pointers ();
3713 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3714 pname, function_to_edit);
3718 end_formals = find_rightmost_formals_list (clean_text_p);
3720 /* end_of_formals now points to the closing right paren of the rightmost
3721 formals list which is actually part of the `header' of the function
3722 definition that we are converting. */
3724 /* If the header of this function definition looks like it declares a
3725 function with a variable number of arguments, and if the way it does
3726 that is different from that way we would like it (i.e. varargs vs.
3727 stdarg) then issue a warning and leave the header unconverted. */
3729 if (other_variable_style_function (def_dec_p->ansi_decl))
3732 fprintf (stderr, "%s: %d: warning: definition of %s not converted\n",
3733 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3734 identify_lineno (end_formals),
3736 output_up_to (end_formals);
3740 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3742 restore_pointers ();
3743 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3744 pname, function_to_edit);
3748 /* Have to output the last right paren because this never gets flushed by
3749 edit_formals_list. */
3751 output_up_to (end_formals);
3756 const char *semicolon_p;
3757 const char *limit_p;
3759 int had_newlines = 0;
3761 /* Now write out the K&R style formal declarations, one per line. */
3763 decl_p = def_dec_p->formal_decls;
3764 limit_p = decl_p + strlen (decl_p);
3765 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3767 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3769 output_string ("\n");
3770 output_string (indent_string);
3771 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3774 /* If there are no newlines between the end of the formals list and the
3775 start of the body, we should insert one now. */
3777 for (scan_p = end_formals+1; *scan_p != '{'; )
3779 if (*scan_p == '\n')
3784 check_source (++scan_p < clean_text_limit, 0);
3787 output_string ("\n");
3789 #else /* !defined (UNPROTOIZE) */
3790 /* If we are protoizing, there may be some flotsum & jetsum (like comments
3791 and preprocessing directives) after the old formals list but before
3792 the following { and we would like to preserve that stuff while effectively
3793 deleting the existing K&R formal parameter declarations. We do so here
3794 in a rather tricky way. Basically, we white out any stuff *except*
3795 the comments/pp-directives in the original text buffer, then, if there
3796 is anything in this area *other* than whitespace, we output it. */
3798 const char *end_formals_orig;
3799 const char *start_body;
3800 const char *start_body_orig;
3802 const char *scan_orig;
3803 int have_flotsum = 0;
3804 int have_newlines = 0;
3806 for (start_body = end_formals + 1; *start_body != '{';)
3807 check_source (++start_body < clean_text_limit, 0);
3809 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3810 start_body_orig = orig_text_base + (start_body - clean_text_base);
3811 scan = end_formals + 1;
3812 scan_orig = end_formals_orig + 1;
3813 for (; scan < start_body; scan++, scan_orig++)
3815 if (*scan == *scan_orig)
3817 have_newlines |= (*scan_orig == '\n');
3818 /* Leave identical whitespace alone. */
3819 if (!isspace (*scan_orig))
3820 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3826 output_bytes (end_formals_orig + 1,
3827 (size_t) (start_body_orig - end_formals_orig) - 1);
3830 output_string ("\n");
3832 output_string (" ");
3833 clean_read_ptr = start_body - 1;
3835 #endif /* !defined (UNPROTOIZE) */
3838 /* Clean up the clean text buffer. Do this by converting comments and
3839 preprocessor directives into spaces. Also convert line continuations
3840 into whitespace. Also, whiteout string and character literals. */
3843 do_cleaning (new_clean_text_base, new_clean_text_limit)
3844 char *new_clean_text_base;
3845 char *new_clean_text_limit;
3848 int non_whitespace_since_newline = 0;
3850 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3854 case '/': /* Handle comments. */
3855 if (scan_p[1] != '*')
3857 non_whitespace_since_newline = 1;
3861 while (scan_p[1] != '/' || scan_p[0] != '*')
3863 if (!isspace (*scan_p))
3865 if (++scan_p >= new_clean_text_limit)
3872 case '#': /* Handle pp directives. */
3873 if (non_whitespace_since_newline)
3876 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3878 if (!isspace (*scan_p))
3880 if (++scan_p >= new_clean_text_limit)
3886 case '\'': /* Handle character literals. */
3887 non_whitespace_since_newline = 1;
3888 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3890 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3892 if (!isspace (*scan_p))
3894 if (++scan_p >= new_clean_text_limit)
3900 case '"': /* Handle string literals. */
3901 non_whitespace_since_newline = 1;
3902 while (scan_p[1] != '"' || scan_p[0] == '\\')
3904 if (scan_p[0] == '\\' && !isspace (scan_p[1]))
3906 if (!isspace (*scan_p))
3908 if (++scan_p >= new_clean_text_limit)
3914 case '\\': /* Handle line continuations. */
3915 if (scan_p[1] != '\n')
3921 non_whitespace_since_newline = 0; /* Reset. */
3930 break; /* Whitespace characters. */
3934 non_whitespace_since_newline = 1;
3940 /* Given a pointer to the closing right parenthesis for a particular formals
3941 list (in the clean text buffer) find the corresponding left parenthesis
3942 and return a pointer to it. */
3945 careful_find_l_paren (p)
3951 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
3966 /* Scan the clean text buffer for cases of function definitions that we
3967 don't really know about because they were preprocessed out when the
3968 aux info files were created.
3970 In this version of protoize/unprotoize we just give a warning for each
3971 one found. A later version may be able to at least unprotoize such
3974 Note that we may easily find all function definitions simply by
3975 looking for places where there is a left paren which is (ignoring
3976 whitespace) immediately followed by either a left-brace or by an
3977 upper or lower case letter. Whenever we find this combination, we
3978 have also found a function definition header.
3980 Finding function *declarations* using syntactic clues is much harder.
3981 I will probably try to do this in a later version though. */
3984 scan_for_missed_items (file_p)
3985 const file_info *file_p;
3987 static const char *scan_p;
3988 const char *limit = clean_text_limit - 3;
3989 static const char *backup_limit;
3991 backup_limit = clean_text_base - 1;
3993 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
3997 static const char *last_r_paren;
3998 const char *ahead_p;
4000 last_r_paren = scan_p;
4002 for (ahead_p = scan_p + 1; isspace (*ahead_p); )
4003 check_source (++ahead_p < limit, limit);
4005 scan_p = ahead_p - 1;
4007 if (isalpha (*ahead_p) || *ahead_p == '{')
4009 const char *last_l_paren;
4010 const int lineno = identify_lineno (ahead_p);
4012 if (setjmp (source_confusion_recovery))
4015 /* We know we have a function definition header. Now skip
4016 leftwards over all of its associated formals lists. */
4020 last_l_paren = careful_find_l_paren (last_r_paren);
4021 for (last_r_paren = last_l_paren-1; isspace (*last_r_paren); )
4022 check_source (--last_r_paren >= backup_limit, backup_limit);
4024 while (*last_r_paren == ')');
4026 if (is_id_char (*last_r_paren))
4028 const char *id_limit = last_r_paren + 1;
4029 const char *id_start;
4031 const def_dec_info *dd_p;
4033 for (id_start = id_limit-1; is_id_char (*id_start); )
4034 check_source (--id_start >= backup_limit, backup_limit);
4036 backup_limit = id_start;
4037 if ((id_length = (size_t) (id_limit - id_start)) == 0)
4041 char *func_name = (char *) alloca (id_length + 1);
4042 static const char * const stmt_keywords[]
4043 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
4044 const char * const *stmt_keyword;
4046 strncpy (func_name, id_start, id_length);
4047 func_name[id_length] = '\0';
4049 /* We must check here to see if we are actually looking at
4050 a statement rather than an actual function call. */
4052 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
4053 if (!strcmp (func_name, *stmt_keyword))
4057 fprintf (stderr, "%s: found definition of `%s' at %s(%d)\n",
4060 shortpath (NULL, file_p->hash_entry->symbol),
4061 identify_lineno (id_start));
4063 /* We really should check for a match of the function name
4064 here also, but why bother. */
4066 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4067 if (dd_p->is_func_def && dd_p->line == lineno)
4070 /* If we make it here, then we did not know about this
4071 function definition. */
4073 fprintf (stderr, "%s: %d: warning: `%s' excluded by preprocessing\n",
4074 shortpath (NULL, file_p->hash_entry->symbol),
4075 identify_lineno (id_start), func_name);
4076 fprintf (stderr, "%s: function definition not converted\n",
4086 /* Do all editing operations for a single source file (either a "base" file
4087 or an "include" file). To do this we read the file into memory, keep a
4088 virgin copy there, make another cleaned in-core copy of the original file
4089 (i.e. one in which all of the comments and preprocessor directives have
4090 been replaced with whitespace), then use these two in-core copies of the
4091 file to make a new edited in-core copy of the file. Finally, rename the
4092 original file (as a way of saving it), and then write the edited version
4093 of the file from core to a disk file of the same name as the original.
4095 Note that the trick of making a copy of the original sans comments &
4096 preprocessor directives make the editing a whole lot easier. */
4100 const hash_table_entry *hp;
4102 struct stat stat_buf;
4103 const file_info *file_p = hp->fip;
4104 char *new_orig_text_base;
4105 char *new_orig_text_limit;
4106 char *new_clean_text_base;
4107 char *new_clean_text_limit;
4110 int first_definition_in_file;
4112 /* If we are not supposed to be converting this file, or if there is
4113 nothing in there which needs converting, just skip this file. */
4115 if (!needs_to_be_converted (file_p))
4118 convert_filename = file_p->hash_entry->symbol;
4120 /* Convert a file if it is in a directory where we want conversion
4121 and the file is not excluded. */
4123 if (!directory_specified_p (convert_filename)
4124 || file_excluded_p (convert_filename))
4128 /* Don't even mention "system" include files unless we are
4129 protoizing. If we are protoizing, we mention these as a
4130 gentle way of prodding the user to convert his "system"
4131 include files to prototype format. */
4132 && !in_system_include_dir (convert_filename)
4133 #endif /* defined (UNPROTOIZE) */
4135 fprintf (stderr, "%s: `%s' not converted\n",
4136 pname, shortpath (NULL, convert_filename));
4140 /* Let the user know what we are up to. */
4143 fprintf (stderr, "%s: would convert file `%s'\n",
4144 pname, shortpath (NULL, convert_filename));
4146 fprintf (stderr, "%s: converting file `%s'\n",
4147 pname, shortpath (NULL, convert_filename));
4150 /* Find out the size (in bytes) of the original file. */
4152 /* The cast avoids an erroneous warning on AIX. */
4153 if (my_stat ((char *)convert_filename, &stat_buf) == -1)
4155 fprintf (stderr, "%s: can't get status for file `%s': %s\n",
4156 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4159 orig_size = stat_buf.st_size;
4161 /* Allocate a buffer to hold the original text. */
4163 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4164 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4166 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4168 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4169 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4170 clean_read_ptr = clean_text_base - 1;
4172 /* Allocate a buffer that will hopefully be large enough to hold the entire
4173 converted output text. As an initial guess for the maximum size of the
4174 output buffer, use 125% of the size of the original + some extra. This
4175 buffer can be expanded later as needed. */
4177 repl_size = orig_size + (orig_size >> 2) + 4096;
4178 repl_text_base = (char *) xmalloc (repl_size + 2);
4179 repl_text_limit = repl_text_base + repl_size - 1;
4180 repl_write_ptr = repl_text_base - 1;
4185 /* Open the file to be converted in READ ONLY mode. */
4187 if ((input_file = my_open (convert_filename, O_RDONLY, 0444)) == -1)
4189 fprintf (stderr, "%s: can't open file `%s' for reading: %s\n",
4190 pname, shortpath (NULL, convert_filename),
4191 sys_errlist[errno]);
4195 /* Read the entire original source text file into the original text buffer
4196 in one swell fwoop. Then figure out where the end of the text is and
4197 make sure that it ends with a newline followed by a null. */
4199 if (safe_read (input_file, new_orig_text_base, orig_size) != orig_size)
4202 fprintf (stderr, "\n%s: error reading input file `%s': %s\n",
4203 pname, shortpath (NULL, convert_filename),
4204 sys_errlist[errno]);
4211 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4213 *new_orig_text_limit++ = '\n';
4217 /* Create the cleaned up copy of the original text. */
4219 memcpy (new_clean_text_base, orig_text_base,
4220 (size_t) (orig_text_limit - orig_text_base));
4221 do_cleaning (new_clean_text_base, new_clean_text_limit);
4226 size_t clean_size = orig_text_limit - orig_text_base;
4227 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4229 /* Open (and create) the clean file. */
4231 strcpy (clean_filename, convert_filename);
4232 strcat (clean_filename, ".clean");
4233 if ((clean_file = creat (clean_filename, 0666)) == -1)
4235 fprintf (stderr, "%s: can't create/open clean file `%s': %s\n",
4236 pname, shortpath (NULL, clean_filename),
4237 sys_errlist[errno]);
4241 /* Write the clean file. */
4243 safe_write (clean_file, new_clean_text_base, clean_size, clean_filename);
4249 /* Do a simplified scan of the input looking for things that were not
4250 mentioned in the aux info files because of the fact that they were
4251 in a region of the source which was preprocessed-out (via #if or
4254 scan_for_missed_items (file_p);
4256 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4258 last_known_line_number = 1;
4259 last_known_line_start = clean_text_base;
4261 /* Now get down to business and make all of the necessary edits. */
4264 const def_dec_info *def_dec_p;
4266 first_definition_in_file = 1;
4267 def_dec_p = file_p->defs_decs;
4268 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4270 const char *clean_text_p = seek_to_line (def_dec_p->line);
4272 /* clean_text_p now points to the first character of the line which
4273 contains the `terminator' for the declaration or definition that
4274 we are about to process. */
4278 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4280 add_global_decls (def_dec_p->file, clean_text_p);
4281 first_definition_in_file = 0;
4284 /* Don't edit this item if it is already in prototype format or if it
4285 is a function declaration and we have found no corresponding
4288 if (def_dec_p->prototyped
4289 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4292 #endif /* !defined (UNPROTOIZE) */
4294 if (def_dec_p->is_func_def)
4295 edit_fn_definition (def_dec_p, clean_text_p);
4298 if (def_dec_p->is_implicit)
4299 add_local_decl (def_dec_p, clean_text_p);
4301 #endif /* !defined (UNPROTOIZE) */
4302 edit_fn_declaration (def_dec_p, clean_text_p);
4306 /* Finalize things. Output the last trailing part of the original text. */
4308 output_up_to (clean_text_limit - 1);
4310 /* If this is just a test run, stop now and just deallocate the buffers. */
4314 free (new_orig_text_base);
4315 free (new_clean_text_base);
4316 free (repl_text_base);
4320 /* Change the name of the original input file. This is just a quick way of
4321 saving the original file. */
4325 char *new_filename =
4326 (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4328 strcpy (new_filename, convert_filename);
4329 strcat (new_filename, save_suffix);
4330 if (my_link (convert_filename, new_filename) == -1)
4332 if (errno == EEXIST)
4335 fprintf (stderr, "%s: warning: file `%s' already saved in `%s'\n",
4337 shortpath (NULL, convert_filename),
4338 shortpath (NULL, new_filename));
4342 fprintf (stderr, "%s: can't link file `%s' to `%s': %s\n",
4344 shortpath (NULL, convert_filename),
4345 shortpath (NULL, new_filename),
4346 sys_errlist[errno]);
4352 if (my_unlink (convert_filename) == -1)
4354 fprintf (stderr, "%s: can't delete file `%s': %s\n",
4355 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4362 /* Open (and create) the output file. */
4364 if ((output_file = creat (convert_filename, 0666)) == -1)
4366 fprintf (stderr, "%s: can't create/open output file `%s': %s\n",
4367 pname, shortpath (NULL, convert_filename),
4368 sys_errlist[errno]);
4372 /* Write the output file. */
4375 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4377 safe_write (output_file, repl_text_base, out_size, convert_filename);
4380 close (output_file);
4383 /* Deallocate the conversion buffers. */
4385 free (new_orig_text_base);
4386 free (new_clean_text_base);
4387 free (repl_text_base);
4389 /* Change the mode of the output file to match the original file. */
4391 /* The cast avoids an erroneous warning on AIX. */
4392 if (my_chmod ((char *)convert_filename, stat_buf.st_mode) == -1)
4393 fprintf (stderr, "%s: can't change mode of file `%s': %s\n",
4394 pname, shortpath (NULL, convert_filename), sys_errlist[errno]);
4396 /* Note: We would try to change the owner and group of the output file
4397 to match those of the input file here, except that may not be a good
4398 thing to do because it might be misleading. Also, it might not even
4399 be possible to do that (on BSD systems with quotas for instance). */
4402 /* Do all of the individual steps needed to do the protoization (or
4403 unprotoization) of the files referenced in the aux_info files given
4404 in the command line. */
4409 const char * const *base_pp;
4410 const char * const * const end_pps
4411 = &base_source_filenames[n_base_source_files];
4415 #endif /* !defined (UNPROTOIZE) */
4417 /* One-by-one, check (and create if necessary), open, and read all of the
4418 stuff in each aux_info file. After reading each aux_info file, the
4419 aux_info_file just read will be automatically deleted unless the
4420 keep_flag is set. */
4422 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4423 process_aux_info_file (*base_pp, keep_flag, 0);
4427 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4428 the prototypes for all of the standard system-supplied functions. */
4430 if (nondefault_syscalls_dir)
4432 syscalls_absolute_filename
4433 = (char *) xmalloc (strlen (nondefault_syscalls_dir)
4434 + sizeof (syscalls_filename) + 1);
4435 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4439 syscalls_absolute_filename
4440 = (char *) xmalloc (strlen (default_syscalls_dir)
4441 + sizeof (syscalls_filename) + 1);
4442 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4445 syscalls_len = strlen (syscalls_absolute_filename);
4446 if (*(syscalls_absolute_filename + syscalls_len - 1) != '/')
4448 *(syscalls_absolute_filename + syscalls_len++) = '/';
4449 *(syscalls_absolute_filename + syscalls_len) = '\0';
4451 strcat (syscalls_absolute_filename, syscalls_filename);
4453 /* Call process_aux_info_file in such a way that it does not try to
4454 delete the SYSCALLS aux_info file. */
4456 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4458 #endif /* !defined (UNPROTOIZE) */
4460 /* When we first read in all of the information from the aux_info files
4461 we saved in it descending line number order, because that was likely to
4462 be faster. Now however, we want the chains of def & dec records to
4463 appear in ascending line number order as we get further away from the
4464 file_info record that they hang from. The following line causes all of
4465 these lists to be rearranged into ascending line number order. */
4467 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4471 /* Now do the "real" work. The following line causes each declaration record
4472 to be "visited". For each of these nodes, an attempt is made to match
4473 up the function declaration with a corresponding function definition,
4474 which should have a full prototype-format formals list with it. Once
4475 these match-ups are made, the conversion of the function declarations
4476 to prototype format can be made. */
4478 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4480 #endif /* !defined (UNPROTOIZE) */
4482 /* Now convert each file that can be converted (and needs to be). */
4484 visit_each_hash_node (filename_primary, edit_file);
4488 /* If we are working in cplusplus mode, try to rename all .c files to .C
4489 files. Don't panic if some of the renames don't work. */
4491 if (cplusplus_flag && !nochange_flag)
4492 visit_each_hash_node (filename_primary, rename_c_file);
4494 #endif /* !defined (UNPROTOIZE) */
4497 static struct option longopts[] =
4499 {"version", 0, 0, 'V'},
4500 {"file_name", 0, 0, 'p'},
4501 {"quiet", 0, 0, 'q'},
4502 {"silent", 0, 0, 'q'},
4503 {"force", 0, 0, 'f'},
4504 {"keep", 0, 0, 'k'},
4505 {"nosave", 0, 0, 'N'},
4506 {"nochange", 0, 0, 'n'},
4507 {"compiler-options", 1, 0, 'c'},
4508 {"exclude", 1, 0, 'x'},
4509 {"directory", 1, 0, 'd'},
4511 {"indent", 1, 0, 'i'},
4513 {"local", 0, 0, 'l'},
4514 {"global", 0, 0, 'g'},
4516 {"syscalls-dir", 1, 0, 'B'},
4528 const char *params = "";
4530 pname = rindex (argv[0], '/');
4531 pname = pname ? pname+1 : argv[0];
4533 cwd_buffer = getpwd ();
4536 fprintf (stderr, "%s: cannot get working directory: %s\n",
4537 pname, sys_errlist[errno]);
4541 /* By default, convert the files in the current directory. */
4542 directory_list = string_list_cons (cwd_buffer, NULL);
4544 while ((c = getopt_long (argc, argv,
4548 "B:c:Cd:gklnNp:qvVx:",
4550 longopts, &longind)) != EOF)
4552 if (c == 0) /* Long option. */
4553 c = longopts[longind].val;
4557 compiler_file_name = optarg;
4561 = string_list_cons (abspath (NULL, optarg), directory_list);
4564 exclude_list = string_list_cons (optarg, exclude_list);
4594 indent_string = optarg;
4596 #else /* !defined (UNPROTOIZE) */
4607 nondefault_syscalls_dir = optarg;
4609 #endif /* !defined (UNPROTOIZE) */
4615 /* Set up compile_params based on -p and -c options. */
4616 munge_compile_params (params);
4618 n_base_source_files = argc - optind;
4620 /* Now actually make a list of the base source filenames. */
4622 base_source_filenames =
4623 (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4624 n_base_source_files = 0;
4625 for (; optind < argc; optind++)
4627 const char *path = abspath (NULL, argv[optind]);
4628 int len = strlen (path);
4630 if (path[len-1] == 'c' && path[len-2] == '.')
4631 base_source_filenames[n_base_source_files++] = path;
4634 fprintf (stderr, "%s: input file names must have .c suffixes: %s\n",
4635 pname, shortpath (NULL, path));
4641 /* We are only interested in the very first identifier token in the
4642 definition of `va_list', so if there is more junk after that first
4643 identifier token, delete it from the `varargs_style_indicator'. */
4647 for (cp = varargs_style_indicator; isalnum (*cp) || *cp == '_'; cp++)
4650 varargs_style_indicator = savestring (varargs_style_indicator,
4651 cp - varargs_style_indicator);
4653 #endif /* !defined (UNPROTOIZE) */
4660 fprintf (stderr, "%s: %s\n", pname, version_string);