1 /* Protoize program - Original version by Ron Guilmette (rfg@segfault.us.com).
2 Copyright (C) 1989, 92-97, 1998 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 /* Any reasonable C++ compiler should have all of the same features
22 as __STDC__ plus more, so make sure that __STDC__ is defined if
23 __cplusplus is defined. */
25 #if defined(__cplusplus) && !defined(__STDC__)
27 #endif /* defined(__cplusplus) && !defined(__STDC__) */
29 #if defined(__GNUC__) || defined (__GNUG__)
30 #define VOLATILE volatile
43 /* Users are not supposed to use _POSIX_SOURCE to say the
44 system is a POSIX system. That is not what _POSIX_SOURCE means! -- rms */
45 /* If the user asked for POSIX via _POSIX_SOURCE, turn on POSIX code. */
46 #if defined(_POSIX_SOURCE) && !defined(POSIX)
51 #ifdef POSIX /* We should be able to define _POSIX_SOURCE unconditionally,
52 but some systems respond in buggy ways to it,
53 including SunOS 4.1.1. Which we don't classify as POSIX. */
54 /* In case this is a POSIX system with an ANSI C compiler,
55 ask for definition of all POSIX facilities. */
62 #if ! defined (_WIN32) || defined (__CYGWIN__)
63 #if defined(POSIX) || defined(CONCURRENT)
71 /* Some systems like Linux don't declare rindex if _POSIX_SOURCE is declared,
72 but it normally does declare it. This means that configure thinks we don't
73 need to declare it. Favor using strrchr if it is available. */
78 #define strrchr rindex
83 /* Include getopt.h for the sake of getopt_long.
84 We don't need the declaration of getopt, and it could conflict
85 with something from a system header file, so effectively nullify that. */
86 #define getopt getopt_loser
90 extern char *version_string;
92 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
93 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
94 const qualifiers in the prototypes in the system include files.
95 Unfortunately, this can lead to GCC issuing lots of warnings for
96 calls to the following functions. To eliminate these warnings we
97 provide the following #defines. */
99 #define my_access(file,flag) access((char *)file, flag)
100 #define my_stat(file,pkt) stat((char *)file, pkt)
102 #define my_link(file1, file2) -1
104 #define my_link(file1, file2) link((char *)file1, (char *)file2)
106 #define my_unlink(file) unlink((char *)file)
107 #define my_open(file, mode, flag) open((char *)file, mode, flag)
108 #define my_chmod(file, mode) chmod((char *)file, mode)
110 extern char *getpwd ();
112 extern char * my_strerror PROTO ((int));
114 static void usage PROTO ((void)) ATTRIBUTE_NORETURN;
115 static void aux_info_corrupted PROTO ((void)) ATTRIBUTE_NORETURN;
116 static void declare_source_confusing PROTO ((const char *)) ATTRIBUTE_NORETURN;
118 /* Aliases for pointers to void.
119 These were made to facilitate compilation with old brain-dead DEC C
120 compilers which didn't properly grok `void*' types. */
122 typedef PTR pointer_type;
123 typedef const PTR const_pointer_type;
129 #else /* !defined(POSIX) */
131 /* Declaring stat or __flsbuf with a prototype
132 causes conflicts with system headers on some systems. */
134 #if 0 /* These conflict with stdio.h on some systems. */
136 extern int fprintf (FILE *, const char *, ...);
137 extern int printf (const char *, ...);
138 extern int open (const char *, int, ...);
143 extern int fflush ();
148 extern int unlink ();
149 extern int access ();
151 #if 0 /* size_t from sys/types.h may fail to match GCC.
152 If so, we would get a warning from this. */
153 extern size_t strlen ()
156 #endif /* !defined (POSIX) */
158 /* Look for these where the `const' qualifier is intentionally cast aside. */
162 /* Define a default place to find the SYSCALLS.X file. */
164 #ifndef STD_PROTO_DIR
165 #define STD_PROTO_DIR "/usr/local/lib"
166 #endif /* !defined (STD_PROTO_DIR) */
168 /* Suffix of aux_info files. */
170 static const char * const aux_info_suffix = ".X";
172 /* String to attach to filenames for saved versions of original files. */
174 static const char * const save_suffix = ".save";
178 /* File name of the file which contains descriptions of standard system
179 routines. Note that we never actually do anything with this file per se,
180 but we do read in its corresponding aux_info file. */
182 static const char syscalls_filename[] = "SYSCALLS.c";
184 /* Default place to find the above file. */
186 static const char * const default_syscalls_dir = STD_PROTO_DIR;
188 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
191 static char * syscalls_absolute_filename;
193 #endif /* !defined (UNPROTOIZE) */
195 /* Type of the structure that holds information about macro unexpansions. */
197 struct unexpansion_struct {
198 const char *expanded;
199 const char *contracted;
201 typedef struct unexpansion_struct unexpansion;
203 /* A table of conversions that may need to be made for some (stupid) older
204 operating systems where these types are preprocessor macros rather than
205 typedefs (as they really ought to be).
207 WARNING: The contracted forms must be as small (or smaller) as the
208 expanded forms, or else havoc will ensue. */
210 static const unexpansion unexpansions[] = {
211 { "struct _iobuf", "FILE" },
215 /* The number of "primary" slots in the hash tables for filenames and for
216 function names. This can be as big or as small as you like, except that
217 it must be a power of two. */
219 #define HASH_TABLE_SIZE (1 << 9)
221 /* Bit mask to use when computing hash values. */
223 static const int hash_mask = (HASH_TABLE_SIZE - 1);
225 /* Make a table of default system include directories
226 just as it is done in cccp.c. */
228 #ifndef STANDARD_INCLUDE_DIR
229 #define STANDARD_INCLUDE_DIR "/usr/include"
232 #ifndef LOCAL_INCLUDE_DIR
233 #define LOCAL_INCLUDE_DIR "/usr/local/include"
236 struct default_include { const char *fname;
237 const char *component;
238 int x1, x2; } include_defaults[]
239 #ifdef INCLUDE_DEFAULTS
243 /* Pick up GNU C++ specific include files. */
244 { GPLUSPLUS_INCLUDE_DIR, "G++", 1, 1 },
246 /* This is the dir for fixincludes. Put it just before
247 the files that we fix. */
248 { GCC_INCLUDE_DIR, "GCC", 0, 0 },
249 /* For cross-compilation, this dir name is generated
250 automatically in Makefile.in. */
251 { CROSS_INCLUDE_DIR, 0, 0, 0 },
252 /* This is another place that the target system's headers might be. */
253 { TOOL_INCLUDE_DIR, "BINUTILS", 0, 0 },
254 #else /* not CROSS_COMPILE */
255 /* This should be /use/local/include and should come before
256 the fixincludes-fixed header files. */
257 { LOCAL_INCLUDE_DIR, 0, 0, 1 },
258 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
259 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
260 { TOOL_INCLUDE_DIR, "BINUTILS", 0, 0 },
261 /* This is the dir for fixincludes. Put it just before
262 the files that we fix. */
263 { GCC_INCLUDE_DIR, "GCC", 0, 0 },
264 /* Some systems have an extra dir of include files. */
265 #ifdef SYSTEM_INCLUDE_DIR
266 { SYSTEM_INCLUDE_DIR, 0, 0, 0 },
268 { STANDARD_INCLUDE_DIR, 0, 0, 0},
269 #endif /* not CROSS_COMPILE */
272 #endif /* no INCLUDE_DEFAULTS */
274 /* Datatype for lists of directories or filenames. */
278 struct string_list *next;
281 /* List of directories in which files should be converted. */
283 struct string_list *directory_list;
285 /* List of file names which should not be converted.
286 A file is excluded if the end of its name, following a /,
287 matches one of the names in this list. */
289 struct string_list *exclude_list;
291 /* The name of the other style of variable-number-of-parameters functions
292 (i.e. the style that we want to leave unconverted because we don't yet
293 know how to convert them to this style. This string is used in warning
296 /* Also define here the string that we can search for in the parameter lists
297 taken from the .X files which will unambiguously indicate that we have
298 found a varargs style function. */
301 static const char * const other_var_style = "stdarg";
302 #else /* !defined (UNPROTOIZE) */
303 static const char * const other_var_style = "varargs";
304 /* Note that this is a string containing the expansion of va_alist.
305 But in `main' we discard all but the first token. */
306 static const char *varargs_style_indicator = STRINGIFY (va_alist);
307 #endif /* !defined (UNPROTOIZE) */
309 /* The following two types are used to create hash tables. In this program,
310 there are two hash tables which are used to store and quickly lookup two
311 different classes of strings. The first type of strings stored in the
312 first hash table are absolute filenames of files which protoize needs to
313 know about. The second type of strings (stored in the second hash table)
314 are function names. It is this second class of strings which really
315 inspired the use of the hash tables, because there may be a lot of them. */
317 typedef struct hash_table_entry_struct hash_table_entry;
319 /* Do some typedefs so that we don't have to write "struct" so often. */
321 typedef struct def_dec_info_struct def_dec_info;
322 typedef struct file_info_struct file_info;
323 typedef struct f_list_chain_item_struct f_list_chain_item;
325 /* In the struct below, note that the "_info" field has two different uses
326 depending on the type of hash table we are in (i.e. either the filenames
327 hash table or the function names hash table). In the filenames hash table
328 the info fields of the entries point to the file_info struct which is
329 associated with each filename (1 per filename). In the function names
330 hash table, the info field points to the head of a singly linked list of
331 def_dec_info entries which are all defs or decs of the function whose
332 name is pointed to by the "symbol" field. Keeping all of the defs/decs
333 for a given function name on a special list specifically for that function
334 name makes it quick and easy to find out all of the important information
335 about a given (named) function. */
337 struct hash_table_entry_struct {
338 hash_table_entry * hash_next; /* -> to secondary entries */
339 const char * symbol; /* -> to the hashed string */
341 const def_dec_info * _ddip;
345 #define ddip _info._ddip
346 #define fip _info._fip
348 /* Define a type specifically for our two hash tables. */
350 typedef hash_table_entry hash_table[HASH_TABLE_SIZE];
352 /* The following struct holds all of the important information about any
353 single filename (e.g. file) which we need to know about. */
355 struct file_info_struct {
356 const hash_table_entry * hash_entry; /* -> to associated hash entry */
357 const def_dec_info * defs_decs; /* -> to chain of defs/decs */
358 time_t mtime; /* Time of last modification. */
361 /* Due to the possibility that functions may return pointers to functions,
362 (which may themselves have their own parameter lists) and due to the
363 fact that returned pointers-to-functions may be of type "pointer-to-
364 function-returning-pointer-to-function" (ad nauseum) we have to keep
365 an entire chain of ANSI style formal parameter lists for each function.
367 Normally, for any given function, there will only be one formals list
368 on the chain, but you never know.
370 Note that the head of each chain of formals lists is pointed to by the
371 `f_list_chain' field of the corresponding def_dec_info record.
373 For any given chain, the item at the head of the chain is the *leftmost*
374 parameter list seen in the actual C language function declaration. If
375 there are other members of the chain, then these are linked in left-to-right
376 order from the head of the chain. */
378 struct f_list_chain_item_struct {
379 const f_list_chain_item * chain_next; /* -> to next item on chain */
380 const char * formals_list; /* -> to formals list string */
383 /* The following struct holds all of the important information about any
384 single function definition or declaration which we need to know about.
385 Note that for unprotoize we don't need to know very much because we
386 never even create records for stuff that we don't intend to convert
387 (like for instance defs and decs which are already in old K&R format
388 and "implicit" function declarations). */
390 struct def_dec_info_struct {
391 const def_dec_info * next_in_file; /* -> to rest of chain for file */
392 file_info * file; /* -> file_info for containing file */
393 int line; /* source line number of def/dec */
394 const char * ansi_decl; /* -> left end of ansi decl */
395 hash_table_entry * hash_entry; /* -> hash entry for function name */
396 unsigned int is_func_def; /* = 0 means this is a declaration */
397 const def_dec_info * next_for_func; /* -> to rest of chain for func name */
398 unsigned int f_list_count; /* count of formals lists we expect */
399 char prototyped; /* = 0 means already prototyped */
401 const f_list_chain_item * f_list_chain; /* -> chain of formals lists */
402 const def_dec_info * definition; /* -> def/dec containing related def */
403 char is_static; /* = 0 means visibility is "extern" */
404 char is_implicit; /* != 0 for implicit func decl's */
405 char written; /* != 0 means written for implicit */
406 #else /* !defined (UNPROTOIZE) */
407 const char * formal_names; /* -> to list of names of formals */
408 const char * formal_decls; /* -> to string of formal declarations */
409 #endif /* !defined (UNPROTOIZE) */
412 /* Pointer to the tail component of the filename by which this program was
413 invoked. Used everywhere in error and warning messages. */
415 static const char *pname;
417 /* Error counter. Will be non-zero if we should give up at the next convenient
420 static int errors = 0;
423 /* ??? These comments should say what the flag mean as well as the options
426 /* File name to use for running gcc. Allows GCC 2 to be named
427 something other than gcc. */
428 static const char *compiler_file_name = "gcc";
430 static int version_flag = 0; /* Print our version number. */
431 static int quiet_flag = 0; /* Don't print messages normally. */
432 static int nochange_flag = 0; /* Don't convert, just say what files
433 we would have converted. */
434 static int nosave_flag = 0; /* Don't save the old version. */
435 static int keep_flag = 0; /* Don't delete the .X files. */
436 static const char ** compile_params = 0; /* Option string for gcc. */
438 static const char *indent_string = " "; /* Indentation for newly
439 inserted parm decls. */
440 #else /* !defined (UNPROTOIZE) */
441 static int local_flag = 0; /* Insert new local decls (when?). */
442 static int global_flag = 0; /* set by -g option */
443 static int cplusplus_flag = 0; /* Rename converted files to *.C. */
444 static const char *nondefault_syscalls_dir = 0; /* Dir to look for
446 #endif /* !defined (UNPROTOIZE) */
448 /* An index into the compile_params array where we should insert the source
449 file name when we are ready to exec the C compiler. A zero value indicates
450 that we have not yet called munge_compile_params. */
452 static int input_file_name_index = 0;
454 /* An index into the compile_params array where we should insert the filename
455 for the aux info file, when we run the C compiler. */
456 static int aux_info_file_name_index = 0;
458 /* Count of command line arguments which were "filename" arguments. */
460 static int n_base_source_files = 0;
462 /* Points to a malloc'ed list of pointers to all of the filenames of base
463 source files which were specified on the command line. */
465 static const char **base_source_filenames;
467 /* Line number of the line within the current aux_info file that we
468 are currently processing. Used for error messages in case the prototypes
469 info file is corrupted somehow. */
471 static int current_aux_info_lineno;
473 /* Pointer to the name of the source file currently being converted. */
475 static const char *convert_filename;
477 /* Pointer to relative root string (taken from aux_info file) which indicates
478 where directory the user was in when he did the compilation step that
479 produced the containing aux_info file. */
481 static const char *invocation_filename;
483 /* Pointer to the base of the input buffer that holds the original text for the
484 source file currently being converted. */
486 static const char *orig_text_base;
488 /* Pointer to the byte just beyond the end of the input buffer that holds the
489 original text for the source file currently being converted. */
491 static const char *orig_text_limit;
493 /* Pointer to the base of the input buffer that holds the cleaned text for the
494 source file currently being converted. */
496 static const char *clean_text_base;
498 /* Pointer to the byte just beyond the end of the input buffer that holds the
499 cleaned text for the source file currently being converted. */
501 static const char *clean_text_limit;
503 /* Pointer to the last byte in the cleaned text buffer that we have already
504 (virtually) copied to the output buffer (or decided to ignore). */
506 static const char * clean_read_ptr;
508 /* Pointer to the base of the output buffer that holds the replacement text
509 for the source file currently being converted. */
511 static char *repl_text_base;
513 /* Pointer to the byte just beyond the end of the output buffer that holds the
514 replacement text for the source file currently being converted. */
516 static char *repl_text_limit;
518 /* Pointer to the last byte which has been stored into the output buffer.
519 The next byte to be stored should be stored just past where this points
522 static char * repl_write_ptr;
524 /* Pointer into the cleaned text buffer for the source file we are currently
525 converting. This points to the first character of the line that we last
526 did a "seek_to_line" to (see below). */
528 static const char *last_known_line_start;
530 /* Number of the line (in the cleaned text buffer) that we last did a
531 "seek_to_line" to. Will be one if we just read a new source file
532 into the cleaned text buffer. */
534 static int last_known_line_number;
536 /* The filenames hash table. */
538 static hash_table filename_primary;
540 /* The function names hash table. */
542 static hash_table function_name_primary;
544 /* The place to keep the recovery address which is used only in cases where
545 we get hopelessly confused by something in the cleaned original text. */
547 static jmp_buf source_confusion_recovery;
549 /* A pointer to the current directory filename (used by abspath). */
551 static char *cwd_buffer;
553 /* A place to save the read pointer until we are sure that an individual
554 attempt at editing will succeed. */
556 static const char * saved_clean_read_ptr;
558 /* A place to save the write pointer until we are sure that an individual
559 attempt at editing will succeed. */
561 static char * saved_repl_write_ptr;
563 /* Forward declaration. */
565 static const char *shortpath ();
577 static char buffer[30];
581 if (e > 0 && e < sys_nerr)
582 return sys_errlist[e];
584 sprintf (buffer, "Unknown error %d", e);
589 /* Allocate some space, but check that the allocation was successful. */
590 /* alloca.c uses this, so don't make it static. */
596 register pointer_type rv = (pointer_type) malloc (byte_count);
599 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
600 exit (FATAL_EXIT_CODE);
605 /* Reallocate some space, but check that the reallocation was successful. */
608 xrealloc (old_space, byte_count)
609 pointer_type old_space;
612 register pointer_type rv = (pointer_type) realloc (old_space, byte_count);
615 fprintf (stderr, "\n%s: virtual memory exceeded\n", pname);
616 exit (FATAL_EXIT_CODE);
621 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
622 the `const' qualifier from it and also make sure that the pointer value
627 const_pointer_type p;
630 free ((NONCONST pointer_type) p);
633 /* Make a copy of a string INPUT with size SIZE. */
636 savestring (input, size)
640 char *output = (char *) xmalloc (size + 1);
641 strcpy (output, input);
645 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
648 savestring2 (input1, size1, input2, size2)
654 char *output = (char *) xmalloc (size1 + size2 + 1);
655 strcpy (output, input1);
656 strcpy (&output[size1], input2);
660 /* More 'friendly' abort that prints the line and file.
661 config.h can #define abort fancy_abort if you like that sort of thing. */
666 fprintf (stderr, "%s: internal abort\n", pname);
667 exit (FATAL_EXIT_CODE);
670 /* Make a duplicate of the first N bytes of a given string in a newly
678 char *ret_val = (char *) xmalloc (n + 1);
680 strncpy (ret_val, s, n);
685 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
686 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
691 const char *const s2;
699 for (p1 = s1, p2 = s2; (c = *p2); p1++, p2++)
709 /* Read LEN bytes at PTR from descriptor DESC, for file FILENAME,
710 retrying if necessary. Return the actual number of bytes read. */
713 safe_read (desc, ptr, len)
720 int nchars = read (desc, ptr, left);
737 /* Write LEN bytes at PTR to descriptor DESC,
738 retrying if necessary, and treating any real error as fatal. */
741 safe_write (desc, ptr, len, out_fname)
748 int written = write (desc, ptr, len);
751 int errno_val = errno;
753 if (errno_val == EINTR)
756 fprintf (stderr, "%s: error writing file `%s': %s\n",
757 pname, shortpath (NULL, out_fname), my_strerror (errno_val));
765 /* Get setup to recover in case the edit we are about to do goes awry. */
770 saved_clean_read_ptr = clean_read_ptr;
771 saved_repl_write_ptr = repl_write_ptr;
774 /* Call this routine to recover our previous state whenever something looks
775 too confusing in the source code we are trying to edit. */
780 clean_read_ptr = saved_clean_read_ptr;
781 repl_write_ptr = saved_repl_write_ptr;
784 /* Return true if the given character is a valid identifier character. */
790 return (ISALNUM (ch) || (ch == '_') || (ch == '$'));
793 /* Give a message indicating the proper way to invoke this program and then
794 exit with non-zero status. */
800 fprintf (stderr, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
802 #else /* !defined (UNPROTOIZE) */
803 fprintf (stderr, "%s: usage '%s [ -VqfnkNlgC ] [ -B <dirname> ] [ filename ... ]'\n",
805 #endif /* !defined (UNPROTOIZE) */
806 exit (FATAL_EXIT_CODE);
809 /* Return true if the given filename (assumed to be an absolute filename)
810 designates a file residing anywhere beneath any one of the "system"
811 include directories. */
814 in_system_include_dir (path)
817 struct default_include *p;
820 abort (); /* Must be an absolutized filename. */
822 for (p = include_defaults; p->fname; p++)
823 if (!strncmp (path, p->fname, strlen (p->fname))
824 && path[strlen (p->fname)] == '/')
830 /* Return true if the given filename designates a file that the user has
831 read access to and for which the user has write access to the containing
835 file_could_be_converted (const char *path)
837 char *const dir_name = (char *) alloca (strlen (path) + 1);
839 if (my_access (path, R_OK))
843 char *dir_last_slash;
845 strcpy (dir_name, path);
846 dir_last_slash = strrchr (dir_name, '/');
848 *dir_last_slash = '\0';
850 abort (); /* Should have been an absolutized filename. */
853 if (my_access (path, W_OK))
859 /* Return true if the given filename designates a file that we are allowed
860 to modify. Files which we should not attempt to modify are (a) "system"
861 include files, and (b) files which the user doesn't have write access to,
862 and (c) files which reside in directories which the user doesn't have
863 write access to. Unless requested to be quiet, give warnings about
864 files that we will not try to convert for one reason or another. An
865 exception is made for "system" include files, which we never try to
866 convert and for which we don't issue the usual warnings. */
869 file_normally_convertible (const char *path)
871 char *const dir_name = alloca (strlen (path) + 1);
873 if (in_system_include_dir (path))
877 char *dir_last_slash;
879 strcpy (dir_name, path);
880 dir_last_slash = strrchr (dir_name, '/');
882 *dir_last_slash = '\0';
884 abort (); /* Should have been an absolutized filename. */
887 if (my_access (path, R_OK))
890 fprintf (stderr, "%s: warning: no read access for file `%s'\n",
891 pname, shortpath (NULL, path));
895 if (my_access (path, W_OK))
898 fprintf (stderr, "%s: warning: no write access for file `%s'\n",
899 pname, shortpath (NULL, path));
903 if (my_access (dir_name, W_OK))
906 fprintf (stderr, "%s: warning: no write access for dir containing `%s'\n",
907 pname, shortpath (NULL, path));
917 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
918 file. Return false otherwise. */
921 is_syscalls_file (fi_p)
922 const file_info *fi_p;
924 char const *f = fi_p->hash_entry->symbol;
925 size_t fl = strlen (f), sysl = sizeof (syscalls_filename) - 1;
926 return sysl <= fl && strcmp (f + fl - sysl, syscalls_filename) == 0;
929 #endif /* !defined (UNPROTOIZE) */
931 /* Check to see if this file will need to have anything done to it on this
932 run. If there is nothing in the given file which both needs conversion
933 and for which we have the necessary stuff to do the conversion, return
934 false. Otherwise, return true.
936 Note that (for protoize) it is only valid to call this function *after*
937 the connections between declarations and definitions have all been made
938 by connect_defs_and_decs. */
941 needs_to_be_converted (file_p)
942 const file_info *file_p;
944 const def_dec_info *ddp;
948 if (is_syscalls_file (file_p))
951 #endif /* !defined (UNPROTOIZE) */
953 for (ddp = file_p->defs_decs; ddp; ddp = ddp->next_in_file)
959 /* ... and if we a protoizing and this function is in old style ... */
961 /* ... and if this a definition or is a decl with an associated def ... */
962 && (ddp->is_func_def || (!ddp->is_func_def && ddp->definition))
964 #else /* defined (UNPROTOIZE) */
966 /* ... and if we are unprotoizing and this function is in new style ... */
969 #endif /* defined (UNPROTOIZE) */
971 /* ... then the containing file needs converting. */
976 /* Return 1 if the file name NAME is in a directory
977 that should be converted. */
980 directory_specified_p (name)
983 struct string_list *p;
985 for (p = directory_list; p; p = p->next)
986 if (!strncmp (name, p->name, strlen (p->name))
987 && name[strlen (p->name)] == '/')
989 const char *q = name + strlen (p->name) + 1;
991 /* If there are more slashes, it's in a subdir, so
992 this match doesn't count. */
1004 /* Return 1 if the file named NAME should be excluded from conversion. */
1007 file_excluded_p (name)
1010 struct string_list *p;
1011 int len = strlen (name);
1013 for (p = exclude_list; p; p = p->next)
1014 if (!strcmp (name + len - strlen (p->name), p->name)
1015 && name[len - strlen (p->name) - 1] == '/')
1021 /* Construct a new element of a string_list.
1022 STRING is the new element value, and REST holds the remaining elements. */
1024 static struct string_list *
1025 string_list_cons (string, rest)
1027 struct string_list *rest;
1029 struct string_list *temp
1030 = (struct string_list *) xmalloc (sizeof (struct string_list));
1033 temp->name = string;
1037 /* ??? The GNU convention for mentioning function args in its comments
1038 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1039 Likewise for all the other functions. */
1041 /* Given a hash table, apply some function to each node in the table. The
1042 table to traverse is given as the "hash_tab_p" argument, and the
1043 function to be applied to each node in the table is given as "func"
1047 visit_each_hash_node (hash_tab_p, func)
1048 const hash_table_entry *hash_tab_p;
1051 const hash_table_entry *primary;
1053 for (primary = hash_tab_p; primary < &hash_tab_p[HASH_TABLE_SIZE]; primary++)
1054 if (primary->symbol)
1056 hash_table_entry *second;
1059 for (second = primary->hash_next; second; second = second->hash_next)
1064 /* Initialize all of the fields of a new hash table entry, pointed
1065 to by the "p" parameter. Note that the space to hold the entry
1066 is assumed to have already been allocated before this routine is
1069 static hash_table_entry *
1071 hash_table_entry *p;
1074 p->hash_next = NULL;
1075 p->symbol = savestring (s, strlen (s));
1081 /* Look for a particular function name or filename in the particular
1082 hash table indicated by "hash_tab_p". If the name is not in the
1083 given hash table, add it. Either way, return a pointer to the
1084 hash table entry for the given name. */
1086 static hash_table_entry *
1087 lookup (hash_tab_p, search_symbol)
1088 hash_table_entry *hash_tab_p;
1089 const char *search_symbol;
1092 const char *search_symbol_char_p = search_symbol;
1093 hash_table_entry *p;
1095 while (*search_symbol_char_p)
1096 hash_value += *search_symbol_char_p++;
1097 hash_value &= hash_mask;
1098 p = &hash_tab_p[hash_value];
1100 return add_symbol (p, search_symbol);
1101 if (!strcmp (p->symbol, search_symbol))
1103 while (p->hash_next)
1106 if (!strcmp (p->symbol, search_symbol))
1109 p->hash_next = (hash_table_entry *) xmalloc (sizeof (hash_table_entry));
1111 return add_symbol (p, search_symbol);
1114 /* Throw a def/dec record on the junk heap.
1116 Also, since we are not using this record anymore, free up all of the
1117 stuff it pointed to. */
1123 xfree (p->ansi_decl);
1127 const f_list_chain_item * curr;
1128 const f_list_chain_item * next;
1130 for (curr = p->f_list_chain; curr; curr = next)
1132 next = curr->chain_next;
1136 #endif /* !defined (UNPROTOIZE) */
1141 /* Unexpand as many macro symbol as we can find.
1143 If the given line must be unexpanded, make a copy of it in the heap and
1144 return a pointer to the unexpanded copy. Otherwise return NULL. */
1147 unexpand_if_needed (aux_info_line)
1148 const char *aux_info_line;
1150 static char *line_buf = 0;
1151 static int line_buf_size = 0;
1152 const unexpansion *unexp_p;
1153 int got_unexpanded = 0;
1155 char *copy_p = line_buf;
1159 line_buf_size = 1024;
1160 line_buf = (char *) xmalloc (line_buf_size);
1165 /* Make a copy of the input string in line_buf, expanding as necessary. */
1167 for (s = aux_info_line; *s != '\n'; )
1169 for (unexp_p = unexpansions; unexp_p->expanded; unexp_p++)
1171 const char *in_p = unexp_p->expanded;
1172 size_t len = strlen (in_p);
1174 if (*s == *in_p && !strncmp (s, in_p, len) && !is_id_char (s[len]))
1176 int size = strlen (unexp_p->contracted);
1178 if (copy_p + size - line_buf >= line_buf_size)
1180 int offset = copy_p - line_buf;
1182 line_buf_size += size;
1183 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1184 copy_p = line_buf + offset;
1186 strcpy (copy_p, unexp_p->contracted);
1189 /* Assume the there will not be another replacement required
1190 within the text just replaced. */
1193 goto continue_outer;
1196 if (copy_p - line_buf == line_buf_size)
1198 int offset = copy_p - line_buf;
1200 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1201 copy_p = line_buf + offset;
1206 if (copy_p + 2 - line_buf >= line_buf_size)
1208 int offset = copy_p - line_buf;
1210 line_buf = (char *) xrealloc (line_buf, line_buf_size);
1211 copy_p = line_buf + offset;
1216 return (got_unexpanded ? savestring (line_buf, copy_p - line_buf) : 0);
1219 /* Return the absolutized filename for the given relative
1220 filename. Note that if that filename is already absolute, it may
1221 still be returned in a modified form because this routine also
1222 eliminates redundant slashes and single dots and eliminates double
1223 dots to get a shortest possible filename from the given input
1224 filename. The absolutization of relative filenames is made by
1225 assuming that the given filename is to be taken as relative to
1226 the first argument (cwd) or to the current directory if cwd is
1230 abspath (cwd, rel_filename)
1232 const char *rel_filename;
1234 /* Setup the current working directory as needed. */
1235 const char *cwd2 = (cwd) ? cwd : cwd_buffer;
1236 char *const abs_buffer
1237 = (char *) alloca (strlen (cwd2) + strlen (rel_filename) + 2);
1238 char *endp = abs_buffer;
1241 /* Copy the filename (possibly preceded by the current working
1242 directory name) into the absolutization buffer. */
1247 if (rel_filename[0] != '/')
1250 while ((*endp++ = *src_p++))
1252 *(endp-1) = '/'; /* overwrite null */
1254 src_p = rel_filename;
1255 while ((*endp++ = *src_p++))
1259 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1260 filename (by taking out slashes and dots) as we go. */
1262 outp = inp = abs_buffer;
1263 *outp++ = *inp++; /* copy first slash */
1266 *outp++ = *inp++; /* copy second slash */
1272 else if (inp[0] == '/' && outp[-1] == '/')
1277 else if (inp[0] == '.' && outp[-1] == '/')
1281 else if (inp[1] == '/')
1286 else if ((inp[1] == '.') && (inp[2] == 0 || inp[2] == '/'))
1288 inp += (inp[2] == '/') ? 3 : 2;
1290 while (outp >= abs_buffer && *outp != '/')
1292 if (outp < abs_buffer)
1294 /* Catch cases like /.. where we try to backup to a
1295 point above the absolute root of the logical file
1298 fprintf (stderr, "%s: invalid file name: %s\n",
1299 pname, rel_filename);
1300 exit (FATAL_EXIT_CODE);
1309 /* On exit, make sure that there is a trailing null, and make sure that
1310 the last character of the returned string is *not* a slash. */
1313 if (outp[-1] == '/')
1316 /* Make a copy (in the heap) of the stuff left in the absolutization
1317 buffer and return a pointer to the copy. */
1319 return savestring (abs_buffer, outp - abs_buffer);
1322 /* Given a filename (and possibly a directory name from which the filename
1323 is relative) return a string which is the shortest possible
1324 equivalent for the corresponding full (absolutized) filename. The
1325 shortest possible equivalent may be constructed by converting the
1326 absolutized filename to be a relative filename (i.e. relative to
1327 the actual current working directory). However if a relative filename
1328 is longer, then the full absolute filename is returned.
1332 Note that "simple-minded" conversion of any given type of filename (either
1333 relative or absolute) may not result in a valid equivalent filename if any
1334 subpart of the original filename is actually a symbolic link. */
1337 shortpath (cwd, filename)
1339 const char *filename;
1343 char *cwd_p = cwd_buffer;
1345 int unmatched_slash_count = 0;
1346 size_t filename_len = strlen (filename);
1348 path_p = abspath (cwd, filename);
1349 rel_buf_p = rel_buffer = (char *) xmalloc (filename_len);
1351 while (*cwd_p && (*cwd_p == *path_p))
1356 if (!*cwd_p && (!*path_p || *path_p == '/')) /* whole pwd matched */
1358 if (!*path_p) /* input *is* the current path! */
1369 while (*cwd_p != '/') /* backup to last slash */
1376 unmatched_slash_count++;
1379 /* Find out how many directory levels in cwd were *not* matched. */
1381 if (*cwd_p++ == '/')
1382 unmatched_slash_count++;
1384 /* Now we know how long the "short name" will be.
1385 Reject it if longer than the input. */
1386 if (unmatched_slash_count * 3 + strlen (path_p) >= filename_len)
1389 /* For each of them, put a `../' at the beginning of the short name. */
1390 while (unmatched_slash_count--)
1392 /* Give up if the result gets to be longer
1393 than the absolute path name. */
1394 if (rel_buffer + filename_len <= rel_buf_p + 3)
1401 /* Then tack on the unmatched part of the desired file's name. */
1404 if (rel_buffer + filename_len <= rel_buf_p)
1407 while ((*rel_buf_p++ = *path_p++));
1410 if (*(rel_buf_p-1) == '/')
1411 *--rel_buf_p = '\0';
1416 /* Lookup the given filename in the hash table for filenames. If it is a
1417 new one, then the hash table info pointer will be null. In this case,
1418 we create a new file_info record to go with the filename, and we initialize
1419 that record with some reasonable values. */
1421 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1422 That is probably a bug in AIX, but might as well avoid the warning. */
1425 find_file (filename, do_not_stat)
1429 hash_table_entry *hash_entry_p;
1431 hash_entry_p = lookup (filename_primary, filename);
1432 if (hash_entry_p->fip)
1433 return hash_entry_p->fip;
1436 struct stat stat_buf;
1437 file_info *file_p = (file_info *) xmalloc (sizeof (file_info));
1439 /* If we cannot get status on any given source file, give a warning
1440 and then just set its time of last modification to infinity. */
1443 stat_buf.st_mtime = (time_t) 0;
1446 if (my_stat (filename, &stat_buf) == -1)
1448 int errno_val = errno;
1449 fprintf (stderr, "%s: %s: can't get status: %s\n",
1450 pname, shortpath (NULL, filename),
1451 my_strerror (errno_val));
1452 stat_buf.st_mtime = (time_t) -1;
1456 hash_entry_p->fip = file_p;
1457 file_p->hash_entry = hash_entry_p;
1458 file_p->defs_decs = NULL;
1459 file_p->mtime = stat_buf.st_mtime;
1464 /* Generate a fatal error because some part of the aux_info file is
1468 aux_info_corrupted ()
1470 fprintf (stderr, "\n%s: fatal error: aux info file corrupted at line %d\n",
1471 pname, current_aux_info_lineno);
1472 exit (FATAL_EXIT_CODE);
1475 /* ??? This comment is vague. Say what the condition is for. */
1476 /* Check to see that a condition is true. This is kind of like an assert. */
1479 check_aux_info (cond)
1483 aux_info_corrupted ();
1486 /* Given a pointer to the closing right parenthesis for a particular formals
1487 list (in an aux_info file) find the corresponding left parenthesis and
1488 return a pointer to it. */
1491 find_corresponding_lparen (p)
1497 for (paren_depth = 1, q = p-1; paren_depth; q--)
1512 /* Given a line from an aux info file, and a time at which the aux info
1513 file it came from was created, check to see if the item described in
1514 the line comes from a file which has been modified since the aux info
1515 file was created. If so, return non-zero, else return zero. */
1518 referenced_file_is_newer (l, aux_info_mtime)
1520 time_t aux_info_mtime;
1526 check_aux_info (l[0] == '/');
1527 check_aux_info (l[1] == '*');
1528 check_aux_info (l[2] == ' ');
1531 const char *filename_start = p = l + 3;
1535 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1536 strncpy (filename, filename_start, (size_t) (p - filename_start));
1537 filename[p-filename_start] = '\0';
1540 /* Call find_file to find the file_info record associated with the file
1541 which contained this particular def or dec item. Note that this call
1542 may cause a new file_info record to be created if this is the first time
1543 that we have ever known about this particular file. */
1545 fi_p = find_file (abspath (invocation_filename, filename), 0);
1547 return (fi_p->mtime > aux_info_mtime);
1550 /* Given a line of info from the aux_info file, create a new
1551 def_dec_info record to remember all of the important information about
1552 a function definition or declaration.
1554 Link this record onto the list of such records for the particular file in
1555 which it occurred in proper (descending) line number order (for now).
1557 If there is an identical record already on the list for the file, throw
1558 this one away. Doing so takes care of the (useless and troublesome)
1559 duplicates which are bound to crop up due to multiple inclusions of any
1560 given individual header file.
1562 Finally, link the new def_dec record onto the list of such records
1563 pertaining to this particular function name. */
1566 save_def_or_dec (l, is_syscalls)
1571 const char *semicolon_p;
1572 def_dec_info *def_dec_p = (def_dec_info *) xmalloc (sizeof (def_dec_info));
1575 def_dec_p->written = 0;
1576 #endif /* !defined (UNPROTOIZE) */
1578 /* Start processing the line by picking off 5 pieces of information from
1579 the left hand end of the line. These are filename, line number,
1580 new/old/implicit flag (new = ANSI prototype format), definition or
1581 declaration flag, and extern/static flag). */
1583 check_aux_info (l[0] == '/');
1584 check_aux_info (l[1] == '*');
1585 check_aux_info (l[2] == ' ');
1588 const char *filename_start = p = l + 3;
1593 filename = (char *) alloca ((size_t) (p - filename_start) + 1);
1594 strncpy (filename, filename_start, (size_t) (p - filename_start));
1595 filename[p-filename_start] = '\0';
1597 /* Call find_file to find the file_info record associated with the file
1598 which contained this particular def or dec item. Note that this call
1599 may cause a new file_info record to be created if this is the first time
1600 that we have ever known about this particular file.
1602 Note that we started out by forcing all of the base source file names
1603 (i.e. the names of the aux_info files with the .X stripped off) into the
1604 filenames hash table, and we simultaneously setup file_info records for
1605 all of these base file names (even if they may be useless later).
1606 The file_info records for all of these "base" file names (properly)
1607 act as file_info records for the "original" (i.e. un-included) files
1608 which were submitted to gcc for compilation (when the -aux-info
1609 option was used). */
1611 def_dec_p->file = find_file (abspath (invocation_filename, filename), is_syscalls);
1615 const char *line_number_start = ++p;
1616 char line_number[10];
1620 strncpy (line_number, line_number_start, (size_t) (p - line_number_start));
1621 line_number[p-line_number_start] = '\0';
1622 def_dec_p->line = atoi (line_number);
1625 /* Check that this record describes a new-style, old-style, or implicit
1626 definition or declaration. */
1628 p++; /* Skip over the `:'. */
1629 check_aux_info ((*p == 'N') || (*p == 'O') || (*p == 'I'));
1631 /* Is this a new style (ANSI prototyped) definition or declaration? */
1633 def_dec_p->prototyped = (*p == 'N');
1637 /* Is this an implicit declaration? */
1639 def_dec_p->is_implicit = (*p == 'I');
1641 #endif /* !defined (UNPROTOIZE) */
1645 check_aux_info ((*p == 'C') || (*p == 'F'));
1647 /* Is this item a function definition (F) or a declaration (C). Note that
1648 we treat item taken from the syscalls file as though they were function
1649 definitions regardless of what the stuff in the file says. */
1651 def_dec_p->is_func_def = ((*p++ == 'F') || is_syscalls);
1654 def_dec_p->definition = 0; /* Fill this in later if protoizing. */
1655 #endif /* !defined (UNPROTOIZE) */
1657 check_aux_info (*p++ == ' ');
1658 check_aux_info (*p++ == '*');
1659 check_aux_info (*p++ == '/');
1660 check_aux_info (*p++ == ' ');
1663 check_aux_info ((!strncmp (p, "static", 6)) || (!strncmp (p, "extern", 6)));
1664 #else /* !defined (UNPROTOIZE) */
1665 if (!strncmp (p, "static", 6))
1666 def_dec_p->is_static = -1;
1667 else if (!strncmp (p, "extern", 6))
1668 def_dec_p->is_static = 0;
1670 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1671 #endif /* !defined (UNPROTOIZE) */
1674 const char *ansi_start = p;
1676 p += 6; /* Pass over the "static" or "extern". */
1678 /* We are now past the initial stuff. Search forward from here to find
1679 the terminating semicolon that should immediately follow the entire
1680 ANSI format function declaration. */
1687 /* Make a copy of the ansi declaration part of the line from the aux_info
1690 def_dec_p->ansi_decl
1691 = dupnstr (ansi_start, (size_t) ((semicolon_p+1) - ansi_start));
1693 /* Backup and point at the final right paren of the final argument list. */
1698 def_dec_p->f_list_chain = NULL;
1699 #endif /* !defined (UNPROTOIZE) */
1701 while (p != ansi_start && (p[-1] == ' ' || p[-1] == '\t')) p--;
1704 free_def_dec (def_dec_p);
1709 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1710 there will only be one list to isolate, but there could be more. */
1712 def_dec_p->f_list_count = 0;
1716 const char *left_paren_p = find_corresponding_lparen (p);
1719 f_list_chain_item *cip
1720 = (f_list_chain_item *) xmalloc (sizeof (f_list_chain_item));
1723 = dupnstr (left_paren_p + 1, (size_t) (p - (left_paren_p+1)));
1725 /* Add the new chain item at the head of the current list. */
1727 cip->chain_next = def_dec_p->f_list_chain;
1728 def_dec_p->f_list_chain = cip;
1730 #endif /* !defined (UNPROTOIZE) */
1731 def_dec_p->f_list_count++;
1733 p = left_paren_p - 2;
1735 /* p must now point either to another right paren, or to the last
1736 character of the name of the function that was declared/defined.
1737 If p points to another right paren, then this indicates that we
1738 are dealing with multiple formals lists. In that case, there
1739 really should be another right paren preceding this right paren. */
1744 check_aux_info (*--p == ')');
1749 const char *past_fn = p + 1;
1751 check_aux_info (*past_fn == ' ');
1753 /* Scan leftwards over the identifier that names the function. */
1755 while (is_id_char (*p))
1759 /* p now points to the leftmost character of the function name. */
1762 char *fn_string = (char *) alloca (past_fn - p + 1);
1764 strncpy (fn_string, p, (size_t) (past_fn - p));
1765 fn_string[past_fn-p] = '\0';
1766 def_dec_p->hash_entry = lookup (function_name_primary, fn_string);
1770 /* Look at all of the defs and decs for this function name that we have
1771 collected so far. If there is already one which is at the same
1772 line number in the same file, then we can discard this new def_dec_info
1775 As an extra assurance that any such pair of (nominally) identical
1776 function declarations are in fact identical, we also compare the
1777 ansi_decl parts of the lines from the aux_info files just to be on
1780 This comparison will fail if (for instance) the user was playing
1781 messy games with the preprocessor which ultimately causes one
1782 function declaration in one header file to look differently when
1783 that file is included by two (or more) other files. */
1786 const def_dec_info *other;
1788 for (other = def_dec_p->hash_entry->ddip; other; other = other->next_for_func)
1790 if (def_dec_p->line == other->line && def_dec_p->file == other->file)
1792 if (strcmp (def_dec_p->ansi_decl, other->ansi_decl))
1794 fprintf (stderr, "%s:%d: declaration of function `%s' takes different forms\n",
1795 def_dec_p->file->hash_entry->symbol,
1797 def_dec_p->hash_entry->symbol);
1798 exit (FATAL_EXIT_CODE);
1800 free_def_dec (def_dec_p);
1808 /* If we are doing unprotoizing, we must now setup the pointers that will
1809 point to the K&R name list and to the K&R argument declarations list.
1811 Note that if this is only a function declaration, then we should not
1812 expect to find any K&R style formals list following the ANSI-style
1813 formals list. This is because GCC knows that such information is
1814 useless in the case of function declarations (function definitions
1815 are a different story however).
1817 Since we are unprotoizing, we don't need any such lists anyway.
1818 All we plan to do is to delete all characters between ()'s in any
1821 def_dec_p->formal_names = NULL;
1822 def_dec_p->formal_decls = NULL;
1824 if (def_dec_p->is_func_def)
1827 check_aux_info (*++p == ' ');
1828 check_aux_info (*++p == '/');
1829 check_aux_info (*++p == '*');
1830 check_aux_info (*++p == ' ');
1831 check_aux_info (*++p == '(');
1834 const char *kr_names_start = ++p; /* Point just inside '('. */
1838 p--; /* point to closing right paren */
1840 /* Make a copy of the K&R parameter names list. */
1842 def_dec_p->formal_names
1843 = dupnstr (kr_names_start, (size_t) (p - kr_names_start));
1846 check_aux_info (*++p == ' ');
1849 /* p now points to the first character of the K&R style declarations
1850 list (if there is one) or to the star-slash combination that ends
1851 the comment in which such lists get embedded. */
1853 /* Make a copy of the K&R formal decls list and set the def_dec record
1856 if (*p == '*') /* Are there no K&R declarations? */
1858 check_aux_info (*++p == '/');
1859 def_dec_p->formal_decls = "";
1863 const char *kr_decls_start = p;
1865 while (p[0] != '*' || p[1] != '/')
1869 check_aux_info (*p == ' ');
1871 def_dec_p->formal_decls
1872 = dupnstr (kr_decls_start, (size_t) (p - kr_decls_start));
1875 /* Handle a special case. If we have a function definition marked as
1876 being in "old" style, and if its formal names list is empty, then
1877 it may actually have the string "void" in its real formals list
1878 in the original source code. Just to make sure, we will get setup
1879 to convert such things anyway.
1881 This kludge only needs to be here because of an insurmountable
1882 problem with generating .X files. */
1884 if (!def_dec_p->prototyped && !*def_dec_p->formal_names)
1885 def_dec_p->prototyped = 1;
1888 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1889 we can just ignore it. If that is true, throw away the itme now. */
1891 if (!def_dec_p->prototyped)
1893 free_def_dec (def_dec_p);
1897 #endif /* defined (UNPROTOIZE) */
1899 /* Add this record to the head of the list of records pertaining to this
1900 particular function name. */
1902 def_dec_p->next_for_func = def_dec_p->hash_entry->ddip;
1903 def_dec_p->hash_entry->ddip = def_dec_p;
1905 /* Add this new def_dec_info record to the sorted list of def_dec_info
1906 records for this file. Note that we don't have to worry about duplicates
1907 (caused by multiple inclusions of header files) here because we have
1908 already eliminated duplicates above. */
1910 if (!def_dec_p->file->defs_decs)
1912 def_dec_p->file->defs_decs = def_dec_p;
1913 def_dec_p->next_in_file = NULL;
1917 int line = def_dec_p->line;
1918 const def_dec_info *prev = NULL;
1919 const def_dec_info *curr = def_dec_p->file->defs_decs;
1920 const def_dec_info *next = curr->next_in_file;
1922 while (next && (line < curr->line))
1926 next = next->next_in_file;
1928 if (line >= curr->line)
1930 def_dec_p->next_in_file = curr;
1932 ((NONCONST def_dec_info *) prev)->next_in_file = def_dec_p;
1934 def_dec_p->file->defs_decs = def_dec_p;
1936 else /* assert (next == NULL); */
1938 ((NONCONST def_dec_info *) curr)->next_in_file = def_dec_p;
1939 /* assert (next == NULL); */
1940 def_dec_p->next_in_file = next;
1945 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1946 Also set input_file_name_index and aux_info_file_name_index
1947 to the indices of the slots where the file names should go. */
1949 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1950 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1953 munge_compile_params (params_list)
1954 const char *params_list;
1956 /* Build up the contents in a temporary vector
1957 that is so big that to has to be big enough. */
1958 const char **temp_params
1959 = (const char **) alloca ((strlen (params_list) + 8) * sizeof (char *));
1960 int param_count = 0;
1963 temp_params[param_count++] = compiler_file_name;
1966 while (ISSPACE ((const unsigned char)*params_list))
1970 param = params_list;
1971 while (*params_list && !ISSPACE ((const unsigned char)*params_list))
1973 if (param[0] != '-')
1974 temp_params[param_count++]
1975 = dupnstr (param, (size_t) (params_list - param));
1984 break; /* Don't copy these. */
1986 while (ISSPACE ((const unsigned char)*params_list))
1989 && !ISSPACE ((const unsigned char)*params_list))
1993 temp_params[param_count++]
1994 = dupnstr (param, (size_t) (params_list - param));
2000 temp_params[param_count++] = "-aux-info";
2002 /* Leave room for the aux-info file name argument. */
2003 aux_info_file_name_index = param_count;
2004 temp_params[param_count++] = NULL;
2006 temp_params[param_count++] = "-S";
2007 temp_params[param_count++] = "-o";
2008 temp_params[param_count++] = "/dev/null";
2010 /* Leave room for the input file name argument. */
2011 input_file_name_index = param_count;
2012 temp_params[param_count++] = NULL;
2013 /* Terminate the list. */
2014 temp_params[param_count++] = NULL;
2016 /* Make a copy of the compile_params in heap space. */
2019 = (const char **) xmalloc (sizeof (char *) * (param_count+1));
2020 memcpy (compile_params, temp_params, sizeof (char *) * param_count);
2023 /* Do a recompilation for the express purpose of generating a new aux_info
2024 file to go with a specific base source file.
2026 The result is a boolean indicating success. */
2029 gen_aux_info_file (base_filename)
2030 const char *base_filename;
2032 if (!input_file_name_index)
2033 munge_compile_params ("");
2035 /* Store the full source file name in the argument vector. */
2036 compile_params[input_file_name_index] = shortpath (NULL, base_filename);
2037 /* Add .X to source file name to get aux-info file name. */
2038 compile_params[aux_info_file_name_index]
2039 = savestring2 (compile_params[input_file_name_index],
2040 strlen (compile_params[input_file_name_index]),
2045 fprintf (stderr, "%s: compiling `%s'\n",
2046 pname, compile_params[input_file_name_index]);
2049 char *errmsg_fmt, *errmsg_arg;
2050 int wait_status, pid;
2051 char *temp_base = choose_temp_base ();
2053 pid = pexecute (compile_params[0], (char * const *) compile_params,
2054 pname, temp_base, &errmsg_fmt, &errmsg_arg,
2055 PEXECUTE_FIRST | PEXECUTE_LAST | PEXECUTE_SEARCH);
2059 int errno_val = errno;
2060 fprintf (stderr, "%s: ", pname);
2061 fprintf (stderr, errmsg_fmt, errmsg_arg);
2062 fprintf (stderr, ": %s\n", my_strerror (errno_val));
2066 pid = pwait (pid, &wait_status, 0);
2069 fprintf (stderr, "%s: wait: %s\n", pname, my_strerror (errno));
2072 if (WIFSIGNALED (wait_status))
2074 fprintf (stderr, "%s: subprocess got fatal signal %d\n",
2075 pname, WTERMSIG (wait_status));
2078 if (WIFEXITED (wait_status))
2080 if (WEXITSTATUS (wait_status) != 0)
2082 fprintf (stderr, "%s: %s exited with status %d\n",
2083 pname, compile_params[0], WEXITSTATUS (wait_status));
2092 /* Read in all of the information contained in a single aux_info file.
2093 Save all of the important stuff for later. */
2096 process_aux_info_file (base_source_filename, keep_it, is_syscalls)
2097 const char *base_source_filename;
2101 size_t base_len = strlen (base_source_filename);
2102 char * aux_info_filename
2103 = (char *) alloca (base_len + strlen (aux_info_suffix) + 1);
2104 char *aux_info_base;
2105 char *aux_info_limit;
2106 char *aux_info_relocated_name;
2107 const char *aux_info_second_line;
2108 time_t aux_info_mtime;
2109 size_t aux_info_size;
2112 /* Construct the aux_info filename from the base source filename. */
2114 strcpy (aux_info_filename, base_source_filename);
2115 strcat (aux_info_filename, aux_info_suffix);
2117 /* Check that the aux_info file exists and is readable. If it does not
2118 exist, try to create it (once only). */
2120 /* If file doesn't exist, set must_create.
2121 Likewise if it exists and we can read it but it is obsolete.
2122 Otherwise, report an error. */
2125 /* Come here with must_create set to 1 if file is out of date. */
2128 if (my_access (aux_info_filename, R_OK) == -1)
2130 if (errno == ENOENT)
2134 fprintf (stderr, "%s: warning: missing SYSCALLS file `%s'\n",
2135 pname, aux_info_filename);
2142 int errno_val = errno;
2143 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2144 pname, shortpath (NULL, aux_info_filename),
2145 my_strerror (errno_val));
2150 #if 0 /* There is code farther down to take care of this. */
2154 stat (aux_info_file_name, &s1);
2155 stat (base_source_file_name, &s2);
2156 if (s2.st_mtime > s1.st_mtime)
2161 /* If we need a .X file, create it, and verify we can read it. */
2164 if (!gen_aux_info_file (base_source_filename))
2169 if (my_access (aux_info_filename, R_OK) == -1)
2171 int errno_val = errno;
2172 fprintf (stderr, "%s: can't read aux info file `%s': %s\n",
2173 pname, shortpath (NULL, aux_info_filename),
2174 my_strerror (errno_val));
2181 struct stat stat_buf;
2183 /* Get some status information about this aux_info file. */
2185 if (my_stat (aux_info_filename, &stat_buf) == -1)
2187 int errno_val = errno;
2188 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2189 pname, shortpath (NULL, aux_info_filename),
2190 my_strerror (errno_val));
2195 /* Check on whether or not this aux_info file is zero length. If it is,
2196 then just ignore it and return. */
2198 if ((aux_info_size = stat_buf.st_size) == 0)
2201 /* Get the date/time of last modification for this aux_info file and
2202 remember it. We will have to check that any source files that it
2203 contains information about are at least this old or older. */
2205 aux_info_mtime = stat_buf.st_mtime;
2209 /* Compare mod time with the .c file; update .X file if obsolete.
2210 The code later on can fail to check the .c file
2211 if it did not directly define any functions. */
2213 if (my_stat (base_source_filename, &stat_buf) == -1)
2215 int errno_val = errno;
2216 fprintf (stderr, "%s: can't get status of aux info file `%s': %s\n",
2217 pname, shortpath (NULL, base_source_filename),
2218 my_strerror (errno_val));
2222 if (stat_buf.st_mtime > aux_info_mtime)
2233 /* Open the aux_info file. */
2235 if ((aux_info_file = my_open (aux_info_filename, O_RDONLY, 0444 )) == -1)
2237 int errno_val = errno;
2238 fprintf (stderr, "%s: can't open aux info file `%s' for reading: %s\n",
2239 pname, shortpath (NULL, aux_info_filename),
2240 my_strerror (errno_val));
2244 /* Allocate space to hold the aux_info file in memory. */
2246 aux_info_base = xmalloc (aux_info_size + 1);
2247 aux_info_limit = aux_info_base + aux_info_size;
2248 *aux_info_limit = '\0';
2250 /* Read the aux_info file into memory. */
2252 if (safe_read (aux_info_file, aux_info_base, aux_info_size) !=
2253 (int) aux_info_size)
2255 int errno_val = errno;
2256 fprintf (stderr, "%s: error reading aux info file `%s': %s\n",
2257 pname, shortpath (NULL, aux_info_filename),
2258 my_strerror (errno_val));
2259 free (aux_info_base);
2260 close (aux_info_file);
2264 /* Close the aux info file. */
2266 if (close (aux_info_file))
2268 int errno_val = errno;
2269 fprintf (stderr, "%s: error closing aux info file `%s': %s\n",
2270 pname, shortpath (NULL, aux_info_filename),
2271 my_strerror (errno_val));
2272 free (aux_info_base);
2273 close (aux_info_file);
2278 /* Delete the aux_info file (unless requested not to). If the deletion
2279 fails for some reason, don't even worry about it. */
2281 if (must_create && !keep_it)
2282 if (my_unlink (aux_info_filename) == -1)
2284 int errno_val = errno;
2285 fprintf (stderr, "%s: can't delete aux info file `%s': %s\n",
2286 pname, shortpath (NULL, aux_info_filename),
2287 my_strerror (errno_val));
2290 /* Save a pointer into the first line of the aux_info file which
2291 contains the filename of the directory from which the compiler
2292 was invoked when the associated source file was compiled.
2293 This information is used later to help create complete
2294 filenames out of the (potentially) relative filenames in
2295 the aux_info file. */
2298 char *p = aux_info_base;
2305 invocation_filename = p; /* Save a pointer to first byte of path. */
2310 while (*p++ != '\n')
2312 aux_info_second_line = p;
2313 aux_info_relocated_name = 0;
2314 if (invocation_filename[0] != '/')
2316 /* INVOCATION_FILENAME is relative;
2317 append it to BASE_SOURCE_FILENAME's dir. */
2319 aux_info_relocated_name = xmalloc (base_len + (p-invocation_filename));
2320 strcpy (aux_info_relocated_name, base_source_filename);
2321 dir_end = strrchr (aux_info_relocated_name, '/');
2325 dir_end = aux_info_relocated_name;
2326 strcpy (dir_end, invocation_filename);
2327 invocation_filename = aux_info_relocated_name;
2333 const char *aux_info_p;
2335 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2336 of the source files referenced in there are at least as old as this
2337 aux_info file itself. If not, go back and regenerate the aux_info
2338 file anew. Don't do any of this for the syscalls file. */
2342 current_aux_info_lineno = 2;
2344 for (aux_info_p = aux_info_second_line; *aux_info_p; )
2346 if (referenced_file_is_newer (aux_info_p, aux_info_mtime))
2348 free (aux_info_base);
2349 xfree (aux_info_relocated_name);
2350 if (keep_it && my_unlink (aux_info_filename) == -1)
2352 int errno_val = errno;
2353 fprintf (stderr, "%s: can't delete file `%s': %s\n",
2354 pname, shortpath (NULL, aux_info_filename),
2355 my_strerror (errno_val));
2362 /* Skip over the rest of this line to start of next line. */
2364 while (*aux_info_p != '\n')
2367 current_aux_info_lineno++;
2371 /* Now do the real pass on the aux_info lines. Save their information in
2372 the in-core data base. */
2374 current_aux_info_lineno = 2;
2376 for (aux_info_p = aux_info_second_line; *aux_info_p;)
2378 char *unexpanded_line = unexpand_if_needed (aux_info_p);
2380 if (unexpanded_line)
2382 save_def_or_dec (unexpanded_line, is_syscalls);
2383 free (unexpanded_line);
2386 save_def_or_dec (aux_info_p, is_syscalls);
2388 /* Skip over the rest of this line and get to start of next line. */
2390 while (*aux_info_p != '\n')
2393 current_aux_info_lineno++;
2397 free (aux_info_base);
2398 xfree (aux_info_relocated_name);
2403 /* Check an individual filename for a .c suffix. If the filename has this
2404 suffix, rename the file such that its suffix is changed to .C. This
2405 function implements the -C option. */
2409 const hash_table_entry *hp;
2411 const char *filename = hp->symbol;
2412 int last_char_index = strlen (filename) - 1;
2413 char *const new_filename = (char *) alloca (strlen (filename) + 1);
2415 /* Note that we don't care here if the given file was converted or not. It
2416 is possible that the given file was *not* converted, simply because there
2417 was nothing in it which actually required conversion. Even in this case,
2418 we want to do the renaming. Note that we only rename files with the .c
2421 if (filename[last_char_index] != 'c' || filename[last_char_index-1] != '.')
2424 strcpy (new_filename, filename);
2425 new_filename[last_char_index] = 'C';
2427 if (my_link (filename, new_filename) == -1)
2429 int errno_val = errno;
2430 fprintf (stderr, "%s: warning: can't link file `%s' to `%s': %s\n",
2431 pname, shortpath (NULL, filename),
2432 shortpath (NULL, new_filename), my_strerror (errno_val));
2437 if (my_unlink (filename) == -1)
2439 int errno_val = errno;
2440 fprintf (stderr, "%s: warning: can't delete file `%s': %s\n",
2441 pname, shortpath (NULL, filename), my_strerror (errno_val));
2447 #endif /* !defined (UNPROTOIZE) */
2449 /* Take the list of definitions and declarations attached to a particular
2450 file_info node and reverse the order of the list. This should get the
2451 list into an order such that the item with the lowest associated line
2452 number is nearest the head of the list. When these lists are originally
2453 built, they are in the opposite order. We want to traverse them in
2454 normal line number order later (i.e. lowest to highest) so reverse the
2458 reverse_def_dec_list (hp)
2459 const hash_table_entry *hp;
2461 file_info *file_p = hp->fip;
2462 def_dec_info *prev = NULL;
2463 def_dec_info *current = (def_dec_info *)file_p->defs_decs;
2466 return; /* no list to reverse */
2469 if (! (current = (def_dec_info *)current->next_in_file))
2470 return; /* can't reverse a single list element */
2472 prev->next_in_file = NULL;
2476 def_dec_info *next = (def_dec_info *)current->next_in_file;
2478 current->next_in_file = prev;
2483 file_p->defs_decs = prev;
2488 /* Find the (only?) extern definition for a particular function name, starting
2489 from the head of the linked list of entries for the given name. If we
2490 cannot find an extern definition for the given function name, issue a
2491 warning and scrounge around for the next best thing, i.e. an extern
2492 function declaration with a prototype attached to it. Note that we only
2493 allow such substitutions for extern declarations and never for static
2494 declarations. That's because the only reason we allow them at all is
2495 to let un-prototyped function declarations for system-supplied library
2496 functions get their prototypes from our own extra SYSCALLS.c.X file which
2497 contains all of the correct prototypes for system functions. */
2499 static const def_dec_info *
2500 find_extern_def (head, user)
2501 const def_dec_info *head;
2502 const def_dec_info *user;
2504 const def_dec_info *dd_p;
2505 const def_dec_info *extern_def_p = NULL;
2506 int conflict_noted = 0;
2508 /* Don't act too stupid here. Somebody may try to convert an entire system
2509 in one swell fwoop (rather than one program at a time, as should be done)
2510 and in that case, we may find that there are multiple extern definitions
2511 of a given function name in the entire set of source files that we are
2512 converting. If however one of these definitions resides in exactly the
2513 same source file as the reference we are trying to satisfy then in that
2514 case it would be stupid for us to fail to realize that this one definition
2515 *must* be the precise one we are looking for.
2517 To make sure that we don't miss an opportunity to make this "same file"
2518 leap of faith, we do a prescan of the list of records relating to the
2519 given function name, and we look (on this first scan) *only* for a
2520 definition of the function which is in the same file as the reference
2521 we are currently trying to satisfy. */
2523 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2524 if (dd_p->is_func_def && !dd_p->is_static && dd_p->file == user->file)
2527 /* Now, since we have not found a definition in the same file as the
2528 reference, we scan the list again and consider all possibilities from
2529 all files. Here we may get conflicts with the things listed in the
2530 SYSCALLS.c.X file, but if that happens it only means that the source
2531 code being converted contains its own definition of a function which
2532 could have been supplied by libc.a. In such cases, we should avoid
2533 issuing the normal warning, and defer to the definition given in the
2536 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2537 if (dd_p->is_func_def && !dd_p->is_static)
2539 if (!extern_def_p) /* Previous definition? */
2540 extern_def_p = dd_p; /* Remember the first definition found. */
2543 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2545 if (is_syscalls_file (dd_p->file))
2548 /* Quietly replace the definition previously found with the one
2549 just found if the previous one was from SYSCALLS.c.X. */
2551 if (is_syscalls_file (extern_def_p->file))
2553 extern_def_p = dd_p;
2557 /* If we get here, then there is a conflict between two function
2558 declarations for the same function, both of which came from the
2561 if (!conflict_noted) /* first time we noticed? */
2564 fprintf (stderr, "%s: conflicting extern definitions of '%s'\n",
2565 pname, head->hash_entry->symbol);
2568 fprintf (stderr, "%s: declarations of '%s' will not be converted\n",
2569 pname, head->hash_entry->symbol);
2570 fprintf (stderr, "%s: conflict list for '%s' follows:\n",
2571 pname, head->hash_entry->symbol);
2572 fprintf (stderr, "%s: %s(%d): %s\n",
2574 shortpath (NULL, extern_def_p->file->hash_entry->symbol),
2575 extern_def_p->line, extern_def_p->ansi_decl);
2579 fprintf (stderr, "%s: %s(%d): %s\n",
2581 shortpath (NULL, dd_p->file->hash_entry->symbol),
2582 dd_p->line, dd_p->ansi_decl);
2586 /* We want to err on the side of caution, so if we found multiple conflicting
2587 definitions for the same function, treat this as being that same as if we
2588 had found no definitions (i.e. return NULL). */
2595 /* We have no definitions for this function so do the next best thing.
2596 Search for an extern declaration already in prototype form. */
2598 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2599 if (!dd_p->is_func_def && !dd_p->is_static && dd_p->prototyped)
2601 extern_def_p = dd_p; /* save a pointer to the definition */
2603 fprintf (stderr, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2605 shortpath (NULL, dd_p->file->hash_entry->symbol),
2606 dd_p->line, dd_p->hash_entry->symbol);
2610 /* Gripe about unprototyped function declarations that we found no
2611 corresponding definition (or other source of prototype information)
2614 Gripe even if the unprototyped declaration we are worried about
2615 exists in a file in one of the "system" include directories. We
2616 can gripe about these because we should have at least found a
2617 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2618 didn't, then that means that the SYSCALLS.c.X file is missing some
2619 needed prototypes for this particular system. That is worth telling
2624 const char *file = user->file->hash_entry->symbol;
2627 if (in_system_include_dir (file))
2629 /* Why copy this string into `needed' at all?
2630 Why not just use user->ansi_decl without copying? */
2631 char *needed = (char *) alloca (strlen (user->ansi_decl) + 1);
2634 strcpy (needed, user->ansi_decl);
2635 p = (NONCONST char *) substr (needed, user->hash_entry->symbol)
2636 + strlen (user->hash_entry->symbol) + 2;
2637 /* Avoid having ??? in the string. */
2643 fprintf (stderr, "%s: %d: `%s' used but missing from SYSCALLS\n",
2644 shortpath (NULL, file), user->line,
2645 needed+7); /* Don't print "extern " */
2649 fprintf (stderr, "%s: %d: warning: no extern definition for `%s'\n",
2650 shortpath (NULL, file), user->line,
2651 user->hash_entry->symbol);
2655 return extern_def_p;
2658 /* Find the (only?) static definition for a particular function name in a
2659 given file. Here we get the function-name and the file info indirectly
2660 from the def_dec_info record pointer which is passed in. */
2662 static const def_dec_info *
2663 find_static_definition (user)
2664 const def_dec_info *user;
2666 const def_dec_info *head = user->hash_entry->ddip;
2667 const def_dec_info *dd_p;
2668 int num_static_defs = 0;
2669 const def_dec_info *static_def_p = NULL;
2671 for (dd_p = head; dd_p; dd_p = dd_p->next_for_func)
2672 if (dd_p->is_func_def && dd_p->is_static && (dd_p->file == user->file))
2674 static_def_p = dd_p; /* save a pointer to the definition */
2677 if (num_static_defs == 0)
2680 fprintf (stderr, "%s: warning: no static definition for `%s' in file `%s'\n",
2681 pname, head->hash_entry->symbol,
2682 shortpath (NULL, user->file->hash_entry->symbol));
2684 else if (num_static_defs > 1)
2686 fprintf (stderr, "%s: multiple static defs of `%s' in file `%s'\n",
2687 pname, head->hash_entry->symbol,
2688 shortpath (NULL, user->file->hash_entry->symbol));
2691 return static_def_p;
2694 /* Find good prototype style formal argument lists for all of the function
2695 declarations which didn't have them before now.
2697 To do this we consider each function name one at a time. For each function
2698 name, we look at the items on the linked list of def_dec_info records for
2699 that particular name.
2701 Somewhere on this list we should find one (and only one) def_dec_info
2702 record which represents the actual function definition, and this record
2703 should have a nice formal argument list already associated with it.
2705 Thus, all we have to do is to connect up all of the other def_dec_info
2706 records for this particular function name to the special one which has
2707 the full-blown formals list.
2709 Of course it is a little more complicated than just that. See below for
2713 connect_defs_and_decs (hp)
2714 const hash_table_entry *hp;
2716 const def_dec_info *dd_p;
2717 const def_dec_info *extern_def_p = NULL;
2718 int first_extern_reference = 1;
2720 /* Traverse the list of definitions and declarations for this particular
2721 function name. For each item on the list, if it is a function
2722 definition (either old style or new style) then GCC has already been
2723 kind enough to produce a prototype for us, and it is associated with
2724 the item already, so declare the item as its own associated "definition".
2726 Also, for each item which is only a function declaration, but which
2727 nonetheless has its own prototype already (obviously supplied by the user)
2728 declare the item as its own definition.
2730 Note that when/if there are multiple user-supplied prototypes already
2731 present for multiple declarations of any given function, these multiple
2732 prototypes *should* all match exactly with one another and with the
2733 prototype for the actual function definition. We don't check for this
2734 here however, since we assume that the compiler must have already done
2735 this consistency checking when it was creating the .X files. */
2737 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2738 if (dd_p->prototyped)
2739 ((NONCONST def_dec_info *) dd_p)->definition = dd_p;
2741 /* Traverse the list of definitions and declarations for this particular
2742 function name. For each item on the list, if it is an extern function
2743 declaration and if it has no associated definition yet, go try to find
2744 the matching extern definition for the declaration.
2746 When looking for the matching function definition, warn the user if we
2749 If we find more that one function definition also issue a warning.
2751 Do the search for the matching definition only once per unique function
2752 name (and only when absolutely needed) so that we can avoid putting out
2753 redundant warning messages, and so that we will only put out warning
2754 messages when there is actually a reference (i.e. a declaration) for
2755 which we need to find a matching definition. */
2757 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2758 if (!dd_p->is_func_def && !dd_p->is_static && !dd_p->definition)
2760 if (first_extern_reference)
2762 extern_def_p = find_extern_def (hp->ddip, dd_p);
2763 first_extern_reference = 0;
2765 ((NONCONST def_dec_info *) dd_p)->definition = extern_def_p;
2768 /* Traverse the list of definitions and declarations for this particular
2769 function name. For each item on the list, if it is a static function
2770 declaration and if it has no associated definition yet, go try to find
2771 the matching static definition for the declaration within the same file.
2773 When looking for the matching function definition, warn the user if we
2774 fail to find one in the same file with the declaration, and refuse to
2775 convert this kind of cross-file static function declaration. After all,
2776 this is stupid practice and should be discouraged.
2778 We don't have to worry about the possibility that there is more than one
2779 matching function definition in the given file because that would have
2780 been flagged as an error by the compiler.
2782 Do the search for the matching definition only once per unique
2783 function-name/source-file pair (and only when absolutely needed) so that
2784 we can avoid putting out redundant warning messages, and so that we will
2785 only put out warning messages when there is actually a reference (i.e. a
2786 declaration) for which we actually need to find a matching definition. */
2788 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2789 if (!dd_p->is_func_def && dd_p->is_static && !dd_p->definition)
2791 const def_dec_info *dd_p2;
2792 const def_dec_info *static_def;
2794 /* We have now found a single static declaration for which we need to
2795 find a matching definition. We want to minimize the work (and the
2796 number of warnings), so we will find an appropriate (matching)
2797 static definition for this declaration, and then distribute it
2798 (as the definition for) any and all other static declarations
2799 for this function name which occur within the same file, and which
2800 do not already have definitions.
2802 Note that a trick is used here to prevent subsequent attempts to
2803 call find_static_definition for a given function-name & file
2804 if the first such call returns NULL. Essentially, we convert
2805 these NULL return values to -1, and put the -1 into the definition
2806 field for each other static declaration from the same file which
2807 does not already have an associated definition.
2808 This makes these other static declarations look like they are
2809 actually defined already when the outer loop here revisits them
2810 later on. Thus, the outer loop will skip over them. Later, we
2811 turn the -1's back to NULL's. */
2813 ((NONCONST def_dec_info *) dd_p)->definition =
2814 (static_def = find_static_definition (dd_p))
2816 : (const def_dec_info *) -1;
2818 for (dd_p2 = dd_p->next_for_func; dd_p2; dd_p2 = dd_p2->next_for_func)
2819 if (!dd_p2->is_func_def && dd_p2->is_static
2820 && !dd_p2->definition && (dd_p2->file == dd_p->file))
2821 ((NONCONST def_dec_info *)dd_p2)->definition = dd_p->definition;
2824 /* Convert any dummy (-1) definitions we created in the step above back to
2825 NULL's (as they should be). */
2827 for (dd_p = hp->ddip; dd_p; dd_p = dd_p->next_for_func)
2828 if (dd_p->definition == (def_dec_info *) -1)
2829 ((NONCONST def_dec_info *) dd_p)->definition = NULL;
2832 #endif /* !defined (UNPROTOIZE) */
2834 /* Give a pointer into the clean text buffer, return a number which is the
2835 original source line number that the given pointer points into. */
2838 identify_lineno (clean_p)
2839 const char *clean_p;
2844 for (scan_p = clean_text_base; scan_p <= clean_p; scan_p++)
2845 if (*scan_p == '\n')
2850 /* Issue an error message and give up on doing this particular edit. */
2853 declare_source_confusing (clean_p)
2854 const char *clean_p;
2859 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2860 shortpath (NULL, convert_filename), last_known_line_number);
2862 fprintf (stderr, "%s: %d: warning: source too confusing\n",
2863 shortpath (NULL, convert_filename),
2864 identify_lineno (clean_p));
2866 longjmp (source_confusion_recovery, 1);
2869 /* Check that a condition which is expected to be true in the original source
2870 code is in fact true. If not, issue an error message and give up on
2871 converting this particular source file. */
2874 check_source (cond, clean_p)
2876 const char *clean_p;
2879 declare_source_confusing (clean_p);
2882 /* If we think of the in-core cleaned text buffer as a memory mapped
2883 file (with the variable last_known_line_start acting as sort of a
2884 file pointer) then we can imagine doing "seeks" on the buffer. The
2885 following routine implements a kind of "seek" operation for the in-core
2886 (cleaned) copy of the source file. When finished, it returns a pointer to
2887 the start of a given (numbered) line in the cleaned text buffer.
2889 Note that protoize only has to "seek" in the forward direction on the
2890 in-core cleaned text file buffers, and it never needs to back up.
2892 This routine is made a little bit faster by remembering the line number
2893 (and pointer value) supplied (and returned) from the previous "seek".
2894 This prevents us from always having to start all over back at the top
2895 of the in-core cleaned buffer again. */
2901 if (n < last_known_line_number)
2904 while (n > last_known_line_number)
2906 while (*last_known_line_start != '\n')
2907 check_source (++last_known_line_start < clean_text_limit, 0);
2908 last_known_line_start++;
2909 last_known_line_number++;
2911 return last_known_line_start;
2914 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2915 to the next non-whitespace character which follows it. */
2918 forward_to_next_token_char (ptr)
2921 for (++ptr; ISSPACE ((const unsigned char)*ptr);
2922 check_source (++ptr < clean_text_limit, 0))
2927 /* Copy a chunk of text of length `len' and starting at `str' to the current
2928 output buffer. Note that all attempts to add stuff to the current output
2929 buffer ultimately go through here. */
2932 output_bytes (str, len)
2936 if ((repl_write_ptr + 1) + len >= repl_text_limit)
2938 size_t new_size = (repl_text_limit - repl_text_base) << 1;
2939 char *new_buf = (char *) xrealloc (repl_text_base, new_size);
2941 repl_write_ptr = new_buf + (repl_write_ptr - repl_text_base);
2942 repl_text_base = new_buf;
2943 repl_text_limit = new_buf + new_size;
2945 memcpy (repl_write_ptr + 1, str, len);
2946 repl_write_ptr += len;
2949 /* Copy all bytes (except the trailing null) of a null terminated string to
2950 the current output buffer. */
2956 output_bytes (str, strlen (str));
2959 /* Copy some characters from the original text buffer to the current output
2962 This routine takes a pointer argument `p' which is assumed to be a pointer
2963 into the cleaned text buffer. The bytes which are copied are the `original'
2964 equivalents for the set of bytes between the last value of `clean_read_ptr'
2965 and the argument value `p'.
2967 The set of bytes copied however, comes *not* from the cleaned text buffer,
2968 but rather from the direct counterparts of these bytes within the original
2971 Thus, when this function is called, some bytes from the original text
2972 buffer (which may include original comments and preprocessing directives)
2973 will be copied into the output buffer.
2975 Note that the request implied when this routine is called includes the
2976 byte pointed to by the argument pointer `p'. */
2982 size_t copy_length = (size_t) (p - clean_read_ptr);
2983 const char *copy_start = orig_text_base+(clean_read_ptr-clean_text_base)+1;
2985 if (copy_length == 0)
2988 output_bytes (copy_start, copy_length);
2992 /* Given a pointer to a def_dec_info record which represents some form of
2993 definition of a function (perhaps a real definition, or in lieu of that
2994 perhaps just a declaration with a full prototype) return true if this
2995 function is one which we should avoid converting. Return false
2999 other_variable_style_function (ansi_header)
3000 const char *ansi_header;
3004 /* See if we have a stdarg function, or a function which has stdarg style
3005 parameters or a stdarg style return type. */
3007 return substr (ansi_header, "...") != 0;
3009 #else /* !defined (UNPROTOIZE) */
3011 /* See if we have a varargs function, or a function which has varargs style
3012 parameters or a varargs style return type. */
3015 int len = strlen (varargs_style_indicator);
3017 for (p = ansi_header; p; )
3019 const char *candidate;
3021 if ((candidate = substr (p, varargs_style_indicator)) == 0)
3024 if (!is_id_char (candidate[-1]) && !is_id_char (candidate[len]))
3030 #endif /* !defined (UNPROTOIZE) */
3033 /* Do the editing operation specifically for a function "declaration". Note
3034 that editing for function "definitions" are handled in a separate routine
3038 edit_fn_declaration (def_dec_p, clean_text_p)
3039 const def_dec_info *def_dec_p;
3040 const char *volatile clean_text_p;
3042 const char *start_formals;
3043 const char *end_formals;
3044 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3045 size_t func_name_len = strlen (function_to_edit);
3046 const char *end_of_fn_name;
3050 const f_list_chain_item *this_f_list_chain_item;
3051 const def_dec_info *definition = def_dec_p->definition;
3053 /* If we are protoizing, and if we found no corresponding definition for
3054 this particular function declaration, then just leave this declaration
3055 exactly as it is. */
3060 /* If we are protoizing, and if the corresponding definition that we found
3061 for this particular function declaration defined an old style varargs
3062 function, then we want to issue a warning and just leave this function
3063 declaration unconverted. */
3065 if (other_variable_style_function (definition->ansi_decl))
3068 fprintf (stderr, "%s: %d: warning: varargs function declaration not converted\n",
3069 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3074 #endif /* !defined (UNPROTOIZE) */
3076 /* Setup here to recover from confusing source code detected during this
3077 particular "edit". */
3080 if (setjmp (source_confusion_recovery))
3082 restore_pointers ();
3083 fprintf (stderr, "%s: declaration of function `%s' not converted\n",
3084 pname, function_to_edit);
3088 /* We are editing a function declaration. The line number we did a seek to
3089 contains the comma or semicolon which follows the declaration. Our job
3090 now is to scan backwards looking for the function name. This name *must*
3091 be followed by open paren (ignoring whitespace, of course). We need to
3092 replace everything between that open paren and the corresponding closing
3093 paren. If we are protoizing, we need to insert the prototype-style
3094 formals lists. If we are unprotoizing, we need to just delete everything
3095 between the pairs of opening and closing parens. */
3097 /* First move up to the end of the line. */
3099 while (*clean_text_p != '\n')
3100 check_source (++clean_text_p < clean_text_limit, 0);
3101 clean_text_p--; /* Point to just before the newline character. */
3103 /* Now we can scan backwards for the function name. */
3109 /* Scan leftwards until we find some character which can be
3110 part of an identifier. */
3112 while (!is_id_char (*clean_text_p))
3113 check_source (--clean_text_p > clean_read_ptr, 0);
3115 /* Scan backwards until we find a char that cannot be part of an
3118 while (is_id_char (*clean_text_p))
3119 check_source (--clean_text_p > clean_read_ptr, 0);
3121 /* Having found an "id break", see if the following id is the one
3122 that we are looking for. If so, then exit from this loop. */
3124 if (!strncmp (clean_text_p+1, function_to_edit, func_name_len))
3126 char ch = *(clean_text_p + 1 + func_name_len);
3128 /* Must also check to see that the name in the source text
3129 ends where it should (in order to prevent bogus matches
3130 on similar but longer identifiers. */
3132 if (! is_id_char (ch))
3133 break; /* exit from loop */
3137 /* We have now found the first perfect match for the function name in
3138 our backward search. This may or may not be the actual function
3139 name at the start of the actual function declaration (i.e. we could
3140 have easily been mislead). We will try to avoid getting fooled too
3141 often by looking forward for the open paren which should follow the
3142 identifier we just found. We ignore whitespace while hunting. If
3143 the next non-whitespace byte we see is *not* an open left paren,
3144 then we must assume that we have been fooled and we start over
3145 again accordingly. Note that there is no guarantee, that even if
3146 we do see the open paren, that we are in the right place.
3147 Programmers do the strangest things sometimes! */
3149 end_of_fn_name = clean_text_p + strlen (def_dec_p->hash_entry->symbol);
3150 start_formals = forward_to_next_token_char (end_of_fn_name);
3152 while (*start_formals != '(');
3154 /* start_of_formals now points to the opening left paren which immediately
3155 follows the name of the function. */
3157 /* Note that there may be several formals lists which need to be modified
3158 due to the possibility that the return type of this function is a
3159 pointer-to-function type. If there are several formals lists, we
3160 convert them in left-to-right order here. */
3163 this_f_list_chain_item = definition->f_list_chain;
3164 #endif /* !defined (UNPROTOIZE) */
3171 end_formals = start_formals + 1;
3173 for (; depth; check_source (++end_formals < clean_text_limit, 0))
3175 switch (*end_formals)
3188 /* end_formals now points to the closing right paren of the formals
3189 list whose left paren is pointed to by start_formals. */
3191 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3192 attached to the associated definition of this function. If however
3193 we are unprotoizing, then we simply delete any formals list which
3196 output_up_to (start_formals);
3198 if (this_f_list_chain_item)
3200 output_string (this_f_list_chain_item->formals_list);
3201 this_f_list_chain_item = this_f_list_chain_item->chain_next;
3206 fprintf (stderr, "%s: warning: too many parameter lists in declaration of `%s'\n",
3207 pname, def_dec_p->hash_entry->symbol);
3208 check_source (0, end_formals); /* leave the declaration intact */
3210 #endif /* !defined (UNPROTOIZE) */
3211 clean_read_ptr = end_formals - 1;
3213 /* Now see if it looks like there may be another formals list associated
3214 with the function declaration that we are converting (following the
3215 formals list that we just converted. */
3218 const char *another_r_paren = forward_to_next_token_char (end_formals);
3220 if ((*another_r_paren != ')')
3221 || (*(start_formals = forward_to_next_token_char (another_r_paren)) != '('))
3224 if (this_f_list_chain_item)
3227 fprintf (stderr, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3228 pname, def_dec_p->hash_entry->symbol);
3229 check_source (0, start_formals); /* leave the decl intact */
3231 #endif /* !defined (UNPROTOIZE) */
3237 /* There does appear to be yet another formals list, so loop around
3238 again, and convert it also. */
3242 /* Edit a whole group of formals lists, starting with the rightmost one
3243 from some set of formals lists. This routine is called once (from the
3244 outside) for each function declaration which is converted. It is
3245 recursive however, and it calls itself once for each remaining formal
3246 list that lies to the left of the one it was originally called to work
3247 on. Thus, a whole set gets done in right-to-left order.
3249 This routine returns non-zero if it thinks that it should not be trying
3250 to convert this particular function definition (because the name of the
3251 function doesn't match the one expected). */
3254 edit_formals_lists (end_formals, f_list_count, def_dec_p)
3255 const char *end_formals;
3256 unsigned int f_list_count;
3257 const def_dec_info *def_dec_p;
3259 const char *start_formals;
3262 start_formals = end_formals - 1;
3264 for (; depth; check_source (--start_formals > clean_read_ptr, 0))
3266 switch (*start_formals)
3278 /* start_formals now points to the opening left paren of the formals list. */
3284 const char *next_end;
3286 /* There should be more formal lists to the left of here. */
3288 next_end = start_formals - 1;
3289 check_source (next_end > clean_read_ptr, 0);
3290 while (ISSPACE ((const unsigned char)*next_end))
3291 check_source (--next_end > clean_read_ptr, 0);
3292 check_source (*next_end == ')', next_end);
3293 check_source (--next_end > clean_read_ptr, 0);
3294 check_source (*next_end == ')', next_end);
3295 if (edit_formals_lists (next_end, f_list_count, def_dec_p))
3299 /* Check that the function name in the header we are working on is the same
3300 as the one we would expect to find. If not, issue a warning and return
3303 if (f_list_count == 0)
3305 const char *expected = def_dec_p->hash_entry->symbol;
3306 const char *func_name_start;
3307 const char *func_name_limit;
3308 size_t func_name_len;
3310 for (func_name_limit = start_formals-1;
3311 ISSPACE ((const unsigned char)*func_name_limit); )
3312 check_source (--func_name_limit > clean_read_ptr, 0);
3314 for (func_name_start = func_name_limit++;
3315 is_id_char (*func_name_start);
3317 check_source (func_name_start > clean_read_ptr, 0);
3319 func_name_len = func_name_limit - func_name_start;
3320 if (func_name_len == 0)
3321 check_source (0, func_name_start);
3322 if (func_name_len != strlen (expected)
3323 || strncmp (func_name_start, expected, func_name_len))
3325 fprintf (stderr, "%s: %d: warning: found `%s' but expected `%s'\n",
3326 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3327 identify_lineno (func_name_start),
3328 dupnstr (func_name_start, func_name_len),
3334 output_up_to (start_formals);
3337 if (f_list_count == 0)
3338 output_string (def_dec_p->formal_names);
3339 #else /* !defined (UNPROTOIZE) */
3341 unsigned f_list_depth;
3342 const f_list_chain_item *flci_p = def_dec_p->f_list_chain;
3344 /* At this point, the current value of f_list count says how many
3345 links we have to follow through the f_list_chain to get to the
3346 particular formals list that we need to output next. */
3348 for (f_list_depth = 0; f_list_depth < f_list_count; f_list_depth++)
3349 flci_p = flci_p->chain_next;
3350 output_string (flci_p->formals_list);
3352 #endif /* !defined (UNPROTOIZE) */
3354 clean_read_ptr = end_formals - 1;
3358 /* Given a pointer to a byte in the clean text buffer which points to
3359 the beginning of a line that contains a "follower" token for a
3360 function definition header, do whatever is necessary to find the
3361 right closing paren for the rightmost formals list of the function
3362 definition header. */
3365 find_rightmost_formals_list (clean_text_p)
3366 const char *clean_text_p;
3368 const char *end_formals;
3370 /* We are editing a function definition. The line number we did a seek
3371 to contains the first token which immediately follows the entire set of
3372 formals lists which are part of this particular function definition
3375 Our job now is to scan leftwards in the clean text looking for the
3376 right-paren which is at the end of the function header's rightmost
3379 If we ignore whitespace, this right paren should be the first one we
3380 see which is (ignoring whitespace) immediately followed either by the
3381 open curly-brace beginning the function body or by an alphabetic
3382 character (in the case where the function definition is in old (K&R)
3383 style and there are some declarations of formal parameters). */
3385 /* It is possible that the right paren we are looking for is on the
3386 current line (together with its following token). Just in case that
3387 might be true, we start out here by skipping down to the right end of
3388 the current line before starting our scan. */
3390 for (end_formals = clean_text_p; *end_formals != '\n'; end_formals++)
3396 /* Now scan backwards while looking for the right end of the rightmost
3397 formals list associated with this function definition. */
3401 const char *l_brace_p;
3403 /* Look leftward and try to find a right-paren. */
3405 while (*end_formals != ')')
3407 if (ISSPACE ((unsigned char)*end_formals))
3408 while (ISSPACE ((unsigned char)*end_formals))
3409 check_source (--end_formals > clean_read_ptr, 0);
3411 check_source (--end_formals > clean_read_ptr, 0);
3414 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3415 /* Since we are unprotoizing an ANSI-style (prototyped) function
3416 definition, there had better not be anything (except whitespace)
3417 between the end of the ANSI formals list and the beginning of the
3418 function body (i.e. the '{'). */
3420 check_source (ch == '{', l_brace_p);
3423 #else /* !defined (UNPROTOIZE) */
3425 /* Now scan backwards while looking for the right end of the rightmost
3426 formals list associated with this function definition. */
3431 const char *l_brace_p;
3433 /* Look leftward and try to find a right-paren. */
3435 while (*end_formals != ')')
3437 if (ISSPACE ((const unsigned char)*end_formals))
3438 while (ISSPACE ((const unsigned char)*end_formals))
3439 check_source (--end_formals > clean_read_ptr, 0);
3441 check_source (--end_formals > clean_read_ptr, 0);
3444 ch = *(l_brace_p = forward_to_next_token_char (end_formals));
3446 /* Since it is possible that we found a right paren before the starting
3447 '{' of the body which IS NOT the one at the end of the real K&R
3448 formals list (say for instance, we found one embedded inside one of
3449 the old K&R formal parameter declarations) we have to check to be
3450 sure that this is in fact the right paren that we were looking for.
3452 The one we were looking for *must* be followed by either a '{' or
3453 by an alphabetic character, while others *cannot* validly be followed
3454 by such characters. */
3456 if ((ch == '{') || ISALPHA ((unsigned char)ch))
3459 /* At this point, we have found a right paren, but we know that it is
3460 not the one we were looking for, so backup one character and keep
3463 check_source (--end_formals > clean_read_ptr, 0);
3466 #endif /* !defined (UNPROTOIZE) */
3473 /* Insert into the output file a totally new declaration for a function
3474 which (up until now) was being called from within the current block
3475 without having been declared at any point such that the declaration
3476 was visible (i.e. in scope) at the point of the call.
3478 We need to add in explicit declarations for all such function calls
3479 in order to get the full benefit of prototype-based function call
3480 parameter type checking. */
3483 add_local_decl (def_dec_p, clean_text_p)
3484 const def_dec_info *def_dec_p;
3485 const char *clean_text_p;
3487 const char *start_of_block;
3488 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3490 /* Don't insert new local explicit declarations unless explicitly requested
3496 /* Setup here to recover from confusing source code detected during this
3497 particular "edit". */
3500 if (setjmp (source_confusion_recovery))
3502 restore_pointers ();
3503 fprintf (stderr, "%s: local declaration for function `%s' not inserted\n",
3504 pname, function_to_edit);
3508 /* We have already done a seek to the start of the line which should
3509 contain *the* open curly brace which begins the block in which we need
3510 to insert an explicit function declaration (to replace the implicit one).
3512 Now we scan that line, starting from the left, until we find the
3513 open curly brace we are looking for. Note that there may actually be
3514 multiple open curly braces on the given line, but we will be happy
3515 with the leftmost one no matter what. */
3517 start_of_block = clean_text_p;
3518 while (*start_of_block != '{' && *start_of_block != '\n')
3519 check_source (++start_of_block < clean_text_limit, 0);
3521 /* Note that the line from the original source could possibly
3522 contain *no* open curly braces! This happens if the line contains
3523 a macro call which expands into a chunk of text which includes a
3524 block (and that block's associated open and close curly braces).
3525 In cases like this, we give up, issue a warning, and do nothing. */
3527 if (*start_of_block != '{')
3531 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3532 def_dec_p->file->hash_entry->symbol, def_dec_p->line,
3533 def_dec_p->hash_entry->symbol);
3537 /* Figure out what a nice (pretty) indentation would be for the new
3538 declaration we are adding. In order to do this, we must scan forward
3539 from the '{' until we find the first line which starts with some
3540 non-whitespace characters (i.e. real "token" material). */
3543 const char *ep = forward_to_next_token_char (start_of_block) - 1;
3546 /* Now we have ep pointing at the rightmost byte of some existing indent
3547 stuff. At least that is the hope.
3549 We can now just scan backwards and find the left end of the existing
3550 indentation string, and then copy it to the output buffer. */
3552 for (sp = ep; ISSPACE ((const unsigned char)*sp) && *sp != '\n'; sp--)
3555 /* Now write out the open { which began this block, and any following
3556 trash up to and including the last byte of the existing indent that
3561 /* Now we go ahead and insert the new declaration at this point.
3563 If the definition of the given function is in the same file that we
3564 are currently editing, and if its full ANSI declaration normally
3565 would start with the keyword `extern', suppress the `extern'. */
3568 const char *decl = def_dec_p->definition->ansi_decl;
3570 if ((*decl == 'e') && (def_dec_p->file == def_dec_p->definition->file))
3572 output_string (decl);
3575 /* Finally, write out a new indent string, just like the preceding one
3576 that we found. This will typically include a newline as the first
3577 character of the indent string. */
3579 output_bytes (sp, (size_t) (ep - sp) + 1);
3583 /* Given a pointer to a file_info record, and a pointer to the beginning
3584 of a line (in the clean text buffer) which is assumed to contain the
3585 first "follower" token for the first function definition header in the
3586 given file, find a good place to insert some new global function
3587 declarations (which will replace scattered and imprecise implicit ones)
3588 and then insert the new explicit declaration at that point in the file. */
3591 add_global_decls (file_p, clean_text_p)
3592 const file_info *file_p;
3593 const char *clean_text_p;
3595 const def_dec_info *dd_p;
3598 /* Setup here to recover from confusing source code detected during this
3599 particular "edit". */
3602 if (setjmp (source_confusion_recovery))
3604 restore_pointers ();
3605 fprintf (stderr, "%s: global declarations for file `%s' not inserted\n",
3606 pname, shortpath (NULL, file_p->hash_entry->symbol));
3610 /* Start by finding a good location for adding the new explicit function
3611 declarations. To do this, we scan backwards, ignoring whitespace
3612 and comments and other junk until we find either a semicolon, or until
3613 we hit the beginning of the file. */
3615 scan_p = find_rightmost_formals_list (clean_text_p);
3618 if (scan_p < clean_text_base)
3620 check_source (scan_p > clean_read_ptr, 0);
3625 /* scan_p now points either to a semicolon, or to just before the start
3626 of the whole file. */
3628 /* Now scan forward for the first non-whitespace character. In theory,
3629 this should be the first character of the following function definition
3630 header. We will put in the added declarations just prior to that. */
3633 while (ISSPACE ((const unsigned char)*scan_p))
3637 output_up_to (scan_p);
3639 /* Now write out full prototypes for all of the things that had been
3640 implicitly declared in this file (but only those for which we were
3641 actually able to find unique matching definitions). Avoid duplicates
3642 by marking things that we write out as we go. */
3645 int some_decls_added = 0;
3647 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3648 if (dd_p->is_implicit && dd_p->definition && !dd_p->definition->written)
3650 const char *decl = dd_p->definition->ansi_decl;
3652 /* If the function for which we are inserting a declaration is
3653 actually defined later in the same file, then suppress the
3654 leading `extern' keyword (if there is one). */
3656 if (*decl == 'e' && (dd_p->file == dd_p->definition->file))
3659 output_string ("\n");
3660 output_string (decl);
3661 some_decls_added = 1;
3662 ((NONCONST def_dec_info *) dd_p->definition)->written = 1;
3664 if (some_decls_added)
3665 output_string ("\n\n");
3668 /* Unmark all of the definitions that we just marked. */
3670 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
3671 if (dd_p->definition)
3672 ((NONCONST def_dec_info *) dd_p->definition)->written = 0;
3675 #endif /* !defined (UNPROTOIZE) */
3677 /* Do the editing operation specifically for a function "definition". Note
3678 that editing operations for function "declarations" are handled by a
3679 separate routine above. */
3682 edit_fn_definition (def_dec_p, clean_text_p)
3683 const def_dec_info *def_dec_p;
3684 const char *clean_text_p;
3686 const char *end_formals;
3687 const char *function_to_edit = def_dec_p->hash_entry->symbol;
3689 /* Setup here to recover from confusing source code detected during this
3690 particular "edit". */
3693 if (setjmp (source_confusion_recovery))
3695 restore_pointers ();
3696 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3697 pname, function_to_edit);
3701 end_formals = find_rightmost_formals_list (clean_text_p);
3703 /* end_of_formals now points to the closing right paren of the rightmost
3704 formals list which is actually part of the `header' of the function
3705 definition that we are converting. */
3707 /* If the header of this function definition looks like it declares a
3708 function with a variable number of arguments, and if the way it does
3709 that is different from that way we would like it (i.e. varargs vs.
3710 stdarg) then issue a warning and leave the header unconverted. */
3712 if (other_variable_style_function (def_dec_p->ansi_decl))
3715 fprintf (stderr, "%s: %d: warning: definition of %s not converted\n",
3716 shortpath (NULL, def_dec_p->file->hash_entry->symbol),
3717 identify_lineno (end_formals),
3719 output_up_to (end_formals);
3723 if (edit_formals_lists (end_formals, def_dec_p->f_list_count, def_dec_p))
3725 restore_pointers ();
3726 fprintf (stderr, "%s: definition of function `%s' not converted\n",
3727 pname, function_to_edit);
3731 /* Have to output the last right paren because this never gets flushed by
3732 edit_formals_list. */
3734 output_up_to (end_formals);
3739 const char *semicolon_p;
3740 const char *limit_p;
3742 int had_newlines = 0;
3744 /* Now write out the K&R style formal declarations, one per line. */
3746 decl_p = def_dec_p->formal_decls;
3747 limit_p = decl_p + strlen (decl_p);
3748 for (;decl_p < limit_p; decl_p = semicolon_p + 2)
3750 for (semicolon_p = decl_p; *semicolon_p != ';'; semicolon_p++)
3752 output_string ("\n");
3753 output_string (indent_string);
3754 output_bytes (decl_p, (size_t) ((semicolon_p + 1) - decl_p));
3757 /* If there are no newlines between the end of the formals list and the
3758 start of the body, we should insert one now. */
3760 for (scan_p = end_formals+1; *scan_p != '{'; )
3762 if (*scan_p == '\n')
3767 check_source (++scan_p < clean_text_limit, 0);
3770 output_string ("\n");
3772 #else /* !defined (UNPROTOIZE) */
3773 /* If we are protoizing, there may be some flotsam & jetsam (like comments
3774 and preprocessing directives) after the old formals list but before
3775 the following { and we would like to preserve that stuff while effectively
3776 deleting the existing K&R formal parameter declarations. We do so here
3777 in a rather tricky way. Basically, we white out any stuff *except*
3778 the comments/pp-directives in the original text buffer, then, if there
3779 is anything in this area *other* than whitespace, we output it. */
3781 const char *end_formals_orig;
3782 const char *start_body;
3783 const char *start_body_orig;
3785 const char *scan_orig;
3786 int have_flotsam = 0;
3787 int have_newlines = 0;
3789 for (start_body = end_formals + 1; *start_body != '{';)
3790 check_source (++start_body < clean_text_limit, 0);
3792 end_formals_orig = orig_text_base + (end_formals - clean_text_base);
3793 start_body_orig = orig_text_base + (start_body - clean_text_base);
3794 scan = end_formals + 1;
3795 scan_orig = end_formals_orig + 1;
3796 for (; scan < start_body; scan++, scan_orig++)
3798 if (*scan == *scan_orig)
3800 have_newlines |= (*scan_orig == '\n');
3801 /* Leave identical whitespace alone. */
3802 if (!ISSPACE ((const unsigned char)*scan_orig))
3803 *((NONCONST char *)scan_orig) = ' '; /* identical - so whiteout */
3809 output_bytes (end_formals_orig + 1,
3810 (size_t) (start_body_orig - end_formals_orig) - 1);
3813 output_string ("\n");
3815 output_string (" ");
3816 clean_read_ptr = start_body - 1;
3818 #endif /* !defined (UNPROTOIZE) */
3821 /* Clean up the clean text buffer. Do this by converting comments and
3822 preprocessing directives into spaces. Also convert line continuations
3823 into whitespace. Also, whiteout string and character literals. */
3826 do_cleaning (new_clean_text_base, new_clean_text_limit)
3827 char *new_clean_text_base;
3828 char *new_clean_text_limit;
3831 int non_whitespace_since_newline = 0;
3833 for (scan_p = new_clean_text_base; scan_p < new_clean_text_limit; scan_p++)
3837 case '/': /* Handle comments. */
3838 if (scan_p[1] != '*')
3840 non_whitespace_since_newline = 1;
3844 while (scan_p[1] != '/' || scan_p[0] != '*')
3846 if (!ISSPACE ((const unsigned char)*scan_p))
3848 if (++scan_p >= new_clean_text_limit)
3855 case '#': /* Handle pp directives. */
3856 if (non_whitespace_since_newline)
3859 while (scan_p[1] != '\n' || scan_p[0] == '\\')
3861 if (!ISSPACE ((const unsigned char)*scan_p))
3863 if (++scan_p >= new_clean_text_limit)
3869 case '\'': /* Handle character literals. */
3870 non_whitespace_since_newline = 1;
3871 while (scan_p[1] != '\'' || scan_p[0] == '\\')
3873 if (scan_p[0] == '\\'
3874 && !ISSPACE ((const unsigned char)scan_p[1]))
3876 if (!ISSPACE ((const unsigned char)*scan_p))
3878 if (++scan_p >= new_clean_text_limit)
3884 case '"': /* Handle string literals. */
3885 non_whitespace_since_newline = 1;
3886 while (scan_p[1] != '"' || scan_p[0] == '\\')
3888 if (scan_p[0] == '\\'
3889 && !ISSPACE ((const unsigned char)scan_p[1]))
3891 if (!ISSPACE ((const unsigned char)*scan_p))
3893 if (++scan_p >= new_clean_text_limit)
3896 if (!ISSPACE ((const unsigned char)*scan_p))
3901 case '\\': /* Handle line continuations. */
3902 if (scan_p[1] != '\n')
3908 non_whitespace_since_newline = 0; /* Reset. */
3917 break; /* Whitespace characters. */
3921 non_whitespace_since_newline = 1;
3927 /* Given a pointer to the closing right parenthesis for a particular formals
3928 list (in the clean text buffer) find the corresponding left parenthesis
3929 and return a pointer to it. */
3932 careful_find_l_paren (p)
3938 for (paren_depth = 1, q = p-1; paren_depth; check_source (--q >= clean_text_base, 0))
3953 /* Scan the clean text buffer for cases of function definitions that we
3954 don't really know about because they were preprocessed out when the
3955 aux info files were created.
3957 In this version of protoize/unprotoize we just give a warning for each
3958 one found. A later version may be able to at least unprotoize such
3961 Note that we may easily find all function definitions simply by
3962 looking for places where there is a left paren which is (ignoring
3963 whitespace) immediately followed by either a left-brace or by an
3964 upper or lower case letter. Whenever we find this combination, we
3965 have also found a function definition header.
3967 Finding function *declarations* using syntactic clues is much harder.
3968 I will probably try to do this in a later version though. */
3971 scan_for_missed_items (file_p)
3972 const file_info *file_p;
3974 static const char *scan_p;
3975 const char *limit = clean_text_limit - 3;
3976 static const char *backup_limit;
3978 backup_limit = clean_text_base - 1;
3980 for (scan_p = clean_text_base; scan_p < limit; scan_p++)
3984 static const char *last_r_paren;
3985 const char *ahead_p;
3987 last_r_paren = scan_p;
3989 for (ahead_p = scan_p + 1; ISSPACE ((const unsigned char)*ahead_p); )
3990 check_source (++ahead_p < limit, limit);
3992 scan_p = ahead_p - 1;
3994 if (ISALPHA ((const unsigned char)*ahead_p) || *ahead_p == '{')
3996 const char *last_l_paren;
3997 const int lineno = identify_lineno (ahead_p);
3999 if (setjmp (source_confusion_recovery))
4002 /* We know we have a function definition header. Now skip
4003 leftwards over all of its associated formals lists. */
4007 last_l_paren = careful_find_l_paren (last_r_paren);
4008 for (last_r_paren = last_l_paren-1;
4009 ISSPACE ((const unsigned char)*last_r_paren); )
4010 check_source (--last_r_paren >= backup_limit, backup_limit);
4012 while (*last_r_paren == ')');
4014 if (is_id_char (*last_r_paren))
4016 const char *id_limit = last_r_paren + 1;
4017 const char *id_start;
4019 const def_dec_info *dd_p;
4021 for (id_start = id_limit-1; is_id_char (*id_start); )
4022 check_source (--id_start >= backup_limit, backup_limit);
4024 backup_limit = id_start;
4025 if ((id_length = (size_t) (id_limit - id_start)) == 0)
4029 char *func_name = (char *) alloca (id_length + 1);
4030 static const char * const stmt_keywords[]
4031 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
4032 const char * const *stmt_keyword;
4034 strncpy (func_name, id_start, id_length);
4035 func_name[id_length] = '\0';
4037 /* We must check here to see if we are actually looking at
4038 a statement rather than an actual function call. */
4040 for (stmt_keyword = stmt_keywords; *stmt_keyword; stmt_keyword++)
4041 if (!strcmp (func_name, *stmt_keyword))
4045 fprintf (stderr, "%s: found definition of `%s' at %s(%d)\n",
4048 shortpath (NULL, file_p->hash_entry->symbol),
4049 identify_lineno (id_start));
4051 /* We really should check for a match of the function name
4052 here also, but why bother. */
4054 for (dd_p = file_p->defs_decs; dd_p; dd_p = dd_p->next_in_file)
4055 if (dd_p->is_func_def && dd_p->line == lineno)
4058 /* If we make it here, then we did not know about this
4059 function definition. */
4061 fprintf (stderr, "%s: %d: warning: `%s' excluded by preprocessing\n",
4062 shortpath (NULL, file_p->hash_entry->symbol),
4063 identify_lineno (id_start), func_name);
4064 fprintf (stderr, "%s: function definition not converted\n",
4074 /* Do all editing operations for a single source file (either a "base" file
4075 or an "include" file). To do this we read the file into memory, keep a
4076 virgin copy there, make another cleaned in-core copy of the original file
4077 (i.e. one in which all of the comments and preprocessing directives have
4078 been replaced with whitespace), then use these two in-core copies of the
4079 file to make a new edited in-core copy of the file. Finally, rename the
4080 original file (as a way of saving it), and then write the edited version
4081 of the file from core to a disk file of the same name as the original.
4083 Note that the trick of making a copy of the original sans comments &
4084 preprocessing directives make the editing a whole lot easier. */
4088 const hash_table_entry *hp;
4090 struct stat stat_buf;
4091 const file_info *file_p = hp->fip;
4092 char *new_orig_text_base;
4093 char *new_orig_text_limit;
4094 char *new_clean_text_base;
4095 char *new_clean_text_limit;
4098 int first_definition_in_file;
4100 /* If we are not supposed to be converting this file, or if there is
4101 nothing in there which needs converting, just skip this file. */
4103 if (!needs_to_be_converted (file_p))
4106 convert_filename = file_p->hash_entry->symbol;
4108 /* Convert a file if it is in a directory where we want conversion
4109 and the file is not excluded. */
4111 if (!directory_specified_p (convert_filename)
4112 || file_excluded_p (convert_filename))
4116 /* Don't even mention "system" include files unless we are
4117 protoizing. If we are protoizing, we mention these as a
4118 gentle way of prodding the user to convert his "system"
4119 include files to prototype format. */
4120 && !in_system_include_dir (convert_filename)
4121 #endif /* defined (UNPROTOIZE) */
4123 fprintf (stderr, "%s: `%s' not converted\n",
4124 pname, shortpath (NULL, convert_filename));
4128 /* Let the user know what we are up to. */
4131 fprintf (stderr, "%s: would convert file `%s'\n",
4132 pname, shortpath (NULL, convert_filename));
4134 fprintf (stderr, "%s: converting file `%s'\n",
4135 pname, shortpath (NULL, convert_filename));
4138 /* Find out the size (in bytes) of the original file. */
4140 /* The cast avoids an erroneous warning on AIX. */
4141 if (my_stat ((char *)convert_filename, &stat_buf) == -1)
4143 int errno_val = errno;
4144 fprintf (stderr, "%s: can't get status for file `%s': %s\n",
4145 pname, shortpath (NULL, convert_filename),
4146 my_strerror (errno_val));
4149 orig_size = stat_buf.st_size;
4151 /* Allocate a buffer to hold the original text. */
4153 orig_text_base = new_orig_text_base = (char *) xmalloc (orig_size + 2);
4154 orig_text_limit = new_orig_text_limit = new_orig_text_base + orig_size;
4156 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4158 clean_text_base = new_clean_text_base = (char *) xmalloc (orig_size + 2);
4159 clean_text_limit = new_clean_text_limit = new_clean_text_base + orig_size;
4160 clean_read_ptr = clean_text_base - 1;
4162 /* Allocate a buffer that will hopefully be large enough to hold the entire
4163 converted output text. As an initial guess for the maximum size of the
4164 output buffer, use 125% of the size of the original + some extra. This
4165 buffer can be expanded later as needed. */
4167 repl_size = orig_size + (orig_size >> 2) + 4096;
4168 repl_text_base = (char *) xmalloc (repl_size + 2);
4169 repl_text_limit = repl_text_base + repl_size - 1;
4170 repl_write_ptr = repl_text_base - 1;
4175 /* Open the file to be converted in READ ONLY mode. */
4177 if ((input_file = my_open (convert_filename, O_RDONLY, 0444)) == -1)
4179 int errno_val = errno;
4180 fprintf (stderr, "%s: can't open file `%s' for reading: %s\n",
4181 pname, shortpath (NULL, convert_filename),
4182 my_strerror (errno_val));
4186 /* Read the entire original source text file into the original text buffer
4187 in one swell fwoop. Then figure out where the end of the text is and
4188 make sure that it ends with a newline followed by a null. */
4190 if (safe_read (input_file, new_orig_text_base, orig_size) !=
4193 int errno_val = errno;
4195 fprintf (stderr, "\n%s: error reading input file `%s': %s\n",
4196 pname, shortpath (NULL, convert_filename),
4197 my_strerror (errno_val));
4204 if (orig_size == 0 || orig_text_limit[-1] != '\n')
4206 *new_orig_text_limit++ = '\n';
4210 /* Create the cleaned up copy of the original text. */
4212 memcpy (new_clean_text_base, orig_text_base,
4213 (size_t) (orig_text_limit - orig_text_base));
4214 do_cleaning (new_clean_text_base, new_clean_text_limit);
4219 size_t clean_size = orig_text_limit - orig_text_base;
4220 char *const clean_filename = (char *) alloca (strlen (convert_filename) + 6 + 1);
4222 /* Open (and create) the clean file. */
4224 strcpy (clean_filename, convert_filename);
4225 strcat (clean_filename, ".clean");
4226 if ((clean_file = creat (clean_filename, 0666)) == -1)
4228 int errno_val = errno;
4229 fprintf (stderr, "%s: can't create/open clean file `%s': %s\n",
4230 pname, shortpath (NULL, clean_filename),
4231 my_strerror (errno_val));
4235 /* Write the clean file. */
4237 safe_write (clean_file, new_clean_text_base, clean_size, clean_filename);
4243 /* Do a simplified scan of the input looking for things that were not
4244 mentioned in the aux info files because of the fact that they were
4245 in a region of the source which was preprocessed-out (via #if or
4248 scan_for_missed_items (file_p);
4250 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4252 last_known_line_number = 1;
4253 last_known_line_start = clean_text_base;
4255 /* Now get down to business and make all of the necessary edits. */
4258 const def_dec_info *def_dec_p;
4260 first_definition_in_file = 1;
4261 def_dec_p = file_p->defs_decs;
4262 for (; def_dec_p; def_dec_p = def_dec_p->next_in_file)
4264 const char *clean_text_p = seek_to_line (def_dec_p->line);
4266 /* clean_text_p now points to the first character of the line which
4267 contains the `terminator' for the declaration or definition that
4268 we are about to process. */
4272 if (global_flag && def_dec_p->is_func_def && first_definition_in_file)
4274 add_global_decls (def_dec_p->file, clean_text_p);
4275 first_definition_in_file = 0;
4278 /* Don't edit this item if it is already in prototype format or if it
4279 is a function declaration and we have found no corresponding
4282 if (def_dec_p->prototyped
4283 || (!def_dec_p->is_func_def && !def_dec_p->definition))
4286 #endif /* !defined (UNPROTOIZE) */
4288 if (def_dec_p->is_func_def)
4289 edit_fn_definition (def_dec_p, clean_text_p);
4292 if (def_dec_p->is_implicit)
4293 add_local_decl (def_dec_p, clean_text_p);
4295 #endif /* !defined (UNPROTOIZE) */
4296 edit_fn_declaration (def_dec_p, clean_text_p);
4300 /* Finalize things. Output the last trailing part of the original text. */
4302 output_up_to (clean_text_limit - 1);
4304 /* If this is just a test run, stop now and just deallocate the buffers. */
4308 free (new_orig_text_base);
4309 free (new_clean_text_base);
4310 free (repl_text_base);
4314 /* Change the name of the original input file. This is just a quick way of
4315 saving the original file. */
4320 = (char *) xmalloc (strlen (convert_filename) + strlen (save_suffix) + 2);
4322 strcpy (new_filename, convert_filename);
4323 strcat (new_filename, save_suffix);
4324 if (my_link (convert_filename, new_filename) == -1)
4326 int errno_val = errno;
4327 if (errno_val == EEXIST)
4330 fprintf (stderr, "%s: warning: file `%s' already saved in `%s'\n",
4332 shortpath (NULL, convert_filename),
4333 shortpath (NULL, new_filename));
4337 fprintf (stderr, "%s: can't link file `%s' to `%s': %s\n",
4339 shortpath (NULL, convert_filename),
4340 shortpath (NULL, new_filename),
4341 my_strerror (errno_val));
4347 if (my_unlink (convert_filename) == -1)
4349 int errno_val = errno;
4350 fprintf (stderr, "%s: can't delete file `%s': %s\n",
4351 pname, shortpath (NULL, convert_filename),
4352 my_strerror (errno_val));
4359 /* Open (and create) the output file. */
4361 if ((output_file = creat (convert_filename, 0666)) == -1)
4363 int errno_val = errno;
4364 fprintf (stderr, "%s: can't create/open output file `%s': %s\n",
4365 pname, shortpath (NULL, convert_filename),
4366 my_strerror (errno_val));
4370 /* Write the output file. */
4373 unsigned int out_size = (repl_write_ptr + 1) - repl_text_base;
4375 safe_write (output_file, repl_text_base, out_size, convert_filename);
4378 close (output_file);
4381 /* Deallocate the conversion buffers. */
4383 free (new_orig_text_base);
4384 free (new_clean_text_base);
4385 free (repl_text_base);
4387 /* Change the mode of the output file to match the original file. */
4389 /* The cast avoids an erroneous warning on AIX. */
4390 if (my_chmod ((char *)convert_filename, stat_buf.st_mode) == -1)
4392 int errno_val = errno;
4393 fprintf (stderr, "%s: can't change mode of file `%s': %s\n",
4394 pname, shortpath (NULL, convert_filename),
4395 my_strerror (errno_val));
4398 /* Note: We would try to change the owner and group of the output file
4399 to match those of the input file here, except that may not be a good
4400 thing to do because it might be misleading. Also, it might not even
4401 be possible to do that (on BSD systems with quotas for instance). */
4404 /* Do all of the individual steps needed to do the protoization (or
4405 unprotoization) of the files referenced in the aux_info files given
4406 in the command line. */
4411 const char * const *base_pp;
4412 const char * const * const end_pps
4413 = &base_source_filenames[n_base_source_files];
4417 #endif /* !defined (UNPROTOIZE) */
4419 /* One-by-one, check (and create if necessary), open, and read all of the
4420 stuff in each aux_info file. After reading each aux_info file, the
4421 aux_info_file just read will be automatically deleted unless the
4422 keep_flag is set. */
4424 for (base_pp = base_source_filenames; base_pp < end_pps; base_pp++)
4425 process_aux_info_file (*base_pp, keep_flag, 0);
4429 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4430 the prototypes for all of the standard system-supplied functions. */
4432 if (nondefault_syscalls_dir)
4434 syscalls_absolute_filename
4435 = (char *) xmalloc (strlen (nondefault_syscalls_dir)
4436 + sizeof (syscalls_filename) + 1);
4437 strcpy (syscalls_absolute_filename, nondefault_syscalls_dir);
4441 syscalls_absolute_filename
4442 = (char *) xmalloc (strlen (default_syscalls_dir)
4443 + sizeof (syscalls_filename) + 1);
4444 strcpy (syscalls_absolute_filename, default_syscalls_dir);
4447 syscalls_len = strlen (syscalls_absolute_filename);
4448 if (*(syscalls_absolute_filename + syscalls_len - 1) != '/')
4450 *(syscalls_absolute_filename + syscalls_len++) = '/';
4451 *(syscalls_absolute_filename + syscalls_len) = '\0';
4453 strcat (syscalls_absolute_filename, syscalls_filename);
4455 /* Call process_aux_info_file in such a way that it does not try to
4456 delete the SYSCALLS aux_info file. */
4458 process_aux_info_file (syscalls_absolute_filename, 1, 1);
4460 #endif /* !defined (UNPROTOIZE) */
4462 /* When we first read in all of the information from the aux_info files
4463 we saved in it descending line number order, because that was likely to
4464 be faster. Now however, we want the chains of def & dec records to
4465 appear in ascending line number order as we get further away from the
4466 file_info record that they hang from. The following line causes all of
4467 these lists to be rearranged into ascending line number order. */
4469 visit_each_hash_node (filename_primary, reverse_def_dec_list);
4473 /* Now do the "real" work. The following line causes each declaration record
4474 to be "visited". For each of these nodes, an attempt is made to match
4475 up the function declaration with a corresponding function definition,
4476 which should have a full prototype-format formals list with it. Once
4477 these match-ups are made, the conversion of the function declarations
4478 to prototype format can be made. */
4480 visit_each_hash_node (function_name_primary, connect_defs_and_decs);
4482 #endif /* !defined (UNPROTOIZE) */
4484 /* Now convert each file that can be converted (and needs to be). */
4486 visit_each_hash_node (filename_primary, edit_file);
4490 /* If we are working in cplusplus mode, try to rename all .c files to .C
4491 files. Don't panic if some of the renames don't work. */
4493 if (cplusplus_flag && !nochange_flag)
4494 visit_each_hash_node (filename_primary, rename_c_file);
4496 #endif /* !defined (UNPROTOIZE) */
4499 static struct option longopts[] =
4501 {"version", 0, 0, 'V'},
4502 {"file_name", 0, 0, 'p'},
4503 {"quiet", 0, 0, 'q'},
4504 {"silent", 0, 0, 'q'},
4505 {"force", 0, 0, 'f'},
4506 {"keep", 0, 0, 'k'},
4507 {"nosave", 0, 0, 'N'},
4508 {"nochange", 0, 0, 'n'},
4509 {"compiler-options", 1, 0, 'c'},
4510 {"exclude", 1, 0, 'x'},
4511 {"directory", 1, 0, 'd'},
4513 {"indent", 1, 0, 'i'},
4515 {"local", 0, 0, 'l'},
4516 {"global", 0, 0, 'g'},
4518 {"syscalls-dir", 1, 0, 'B'},
4530 const char *params = "";
4532 pname = strrchr (argv[0], '/');
4533 pname = pname ? pname+1 : argv[0];
4535 cwd_buffer = getpwd ();
4538 fprintf (stderr, "%s: cannot get working directory: %s\n",
4539 pname, my_strerror(errno));
4540 exit (FATAL_EXIT_CODE);
4543 /* By default, convert the files in the current directory. */
4544 directory_list = string_list_cons (cwd_buffer, NULL);
4546 while ((c = getopt_long (argc, argv,
4550 "B:c:Cd:gklnNp:qvVx:",
4552 longopts, &longind)) != EOF)
4554 if (c == 0) /* Long option. */
4555 c = longopts[longind].val;
4559 compiler_file_name = optarg;
4563 = string_list_cons (abspath (NULL, optarg), directory_list);
4566 exclude_list = string_list_cons (optarg, exclude_list);
4596 indent_string = optarg;
4598 #else /* !defined (UNPROTOIZE) */
4609 nondefault_syscalls_dir = optarg;
4611 #endif /* !defined (UNPROTOIZE) */
4617 /* Set up compile_params based on -p and -c options. */
4618 munge_compile_params (params);
4620 n_base_source_files = argc - optind;
4622 /* Now actually make a list of the base source filenames. */
4624 base_source_filenames
4625 = (const char **) xmalloc ((n_base_source_files + 1) * sizeof (char *));
4626 n_base_source_files = 0;
4627 for (; optind < argc; optind++)
4629 const char *path = abspath (NULL, argv[optind]);
4630 int len = strlen (path);
4632 if (path[len-1] == 'c' && path[len-2] == '.')
4633 base_source_filenames[n_base_source_files++] = path;
4636 fprintf (stderr, "%s: input file names must have .c suffixes: %s\n",
4637 pname, shortpath (NULL, path));
4643 /* We are only interested in the very first identifier token in the
4644 definition of `va_list', so if there is more junk after that first
4645 identifier token, delete it from the `varargs_style_indicator'. */
4649 for (cp = varargs_style_indicator;
4650 ISALNUM ((const unsigned char)*cp) || *cp == '_'; cp++)
4653 varargs_style_indicator = savestring (varargs_style_indicator,
4654 cp - varargs_style_indicator);
4656 #endif /* !defined (UNPROTOIZE) */
4663 fprintf (stderr, "%s: %s\n", pname, version_string);
4667 exit (errors ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);