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 (__CYGWIN32__)
63 #if defined(POSIX) || defined(CONCURRENT)
70 #include "gansidecl.h"
72 /* Some systems like Linux don't declare rindex if _POSIX_SOURCE is declared,
73 but it normally does declare it. This means that configure thinks we don't
74 need to declare it. Favor using strrchr if it is available. */
79 #define strrchr rindex
84 /* Include getopt.h for the sake of getopt_long.
85 We don't need the declaration of getopt, and it could conflict
86 with something from a system header file, so effectively nullify that. */
87 #define getopt getopt_loser
91 extern char *version_string
;
93 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
94 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
95 const qualifiers in the prototypes in the system include files.
96 Unfortunately, this can lead to GCC issuing lots of warnings for
97 calls to the following functions. To eliminate these warnings we
98 provide the following #defines. */
100 #define my_access(file,flag) access((char *)file, flag)
101 #define my_stat(file,pkt) stat((char *)file, pkt)
103 #define my_link(file1, file2) -1
105 #define my_link(file1, file2) link((char *)file1, (char *)file2)
107 #define my_unlink(file) unlink((char *)file)
108 #define my_open(file, mode, flag) open((char *)file, mode, flag)
109 #define my_chmod(file, mode) chmod((char *)file, mode)
111 extern char *getpwd ();
113 extern char *choose_temp_base
PROTO ((void));
114 extern char * my_strerror
PROTO ((int));
116 extern int pexecute
PROTO ((const char *, char * const *, const char *,
117 const char *, char **, char **, int));
118 extern int pwait
PROTO ((int, int *, int));
119 /* Flag arguments to pexecute. */
120 #define PEXECUTE_FIRST 1
121 #define PEXECUTE_LAST 2
122 #define PEXECUTE_SEARCH 4
124 static void usage
PROTO ((void)) ATTRIBUTE_NORETURN
;
125 static void aux_info_corrupted
PROTO ((void)) ATTRIBUTE_NORETURN
;
126 static void declare_source_confusing
PROTO ((const char *)) ATTRIBUTE_NORETURN
;
128 /* Aliases for pointers to void.
129 These were made to facilitate compilation with old brain-dead DEC C
130 compilers which didn't properly grok `void*' types. */
133 typedef void * pointer_type
;
134 typedef const void * const_pointer_type
;
136 typedef char * pointer_type
;
137 typedef char * const_pointer_type
;
143 #include <sys/wait.h>
145 #else /* !defined(POSIX) */
148 #define WIFSIGNALED(S) (((S) & 0xff) != 0 && ((S) & 0xff) != 0x7f)
151 #define WTERMSIG(S) ((S) & 0x7f)
154 #define WIFEXITED(S) (((S) & 0xff) == 0)
157 #define WEXITSTATUS(S) (((S) & 0xff00) >> 8)
160 /* Declaring stat or __flsbuf with a prototype
161 causes conflicts with system headers on some systems. */
163 #if 0 /* These conflict with stdio.h on some systems. */
165 extern int fprintf (FILE *, const char *, ...);
166 extern int printf (const char *, ...);
167 extern int open (const char *, int, ...);
172 extern int fflush ();
177 extern int unlink ();
178 extern int access ();
180 #if 0 /* size_t from sys/types.h may fail to match GCC.
181 If so, we would get a warning from this. */
182 extern size_t strlen ()
185 /* Fork is not declared because the declaration caused a conflict
187 #if !(defined (USG) || defined (VMS))
189 #endif /* (defined (USG) || defined (VMS)) */
191 #endif /* !defined (POSIX) */
193 /* Look for these where the `const' qualifier is intentionally cast aside. */
197 /* Define a default place to find the SYSCALLS.X file. */
199 #ifndef STD_PROTO_DIR
200 #define STD_PROTO_DIR "/usr/local/lib"
201 #endif /* !defined (STD_PROTO_DIR) */
203 /* Suffix of aux_info files. */
205 static const char * const aux_info_suffix
= ".X";
207 /* String to attach to filenames for saved versions of original files. */
209 static const char * const save_suffix
= ".save";
213 /* File name of the file which contains descriptions of standard system
214 routines. Note that we never actually do anything with this file per se,
215 but we do read in its corresponding aux_info file. */
217 static const char syscalls_filename
[] = "SYSCALLS.c";
219 /* Default place to find the above file. */
221 static const char * const default_syscalls_dir
= STD_PROTO_DIR
;
223 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
226 static char * syscalls_absolute_filename
;
228 #endif /* !defined (UNPROTOIZE) */
230 /* Type of the structure that holds information about macro unexpansions. */
232 struct unexpansion_struct
{
233 const char *expanded
;
234 const char *contracted
;
236 typedef struct unexpansion_struct unexpansion
;
238 /* A table of conversions that may need to be made for some (stupid) older
239 operating systems where these types are preprocessor macros rather than
240 typedefs (as they really ought to be).
242 WARNING: The contracted forms must be as small (or smaller) as the
243 expanded forms, or else havoc will ensue. */
245 static const unexpansion unexpansions
[] = {
246 { "struct _iobuf", "FILE" },
250 /* The number of "primary" slots in the hash tables for filenames and for
251 function names. This can be as big or as small as you like, except that
252 it must be a power of two. */
254 #define HASH_TABLE_SIZE (1 << 9)
256 /* Bit mask to use when computing hash values. */
258 static const int hash_mask
= (HASH_TABLE_SIZE
- 1);
260 /* Make a table of default system include directories
261 just as it is done in cccp.c. */
263 #ifndef STANDARD_INCLUDE_DIR
264 #define STANDARD_INCLUDE_DIR "/usr/include"
267 #ifndef LOCAL_INCLUDE_DIR
268 #define LOCAL_INCLUDE_DIR "/usr/local/include"
271 struct default_include
{ const char *fname
;
272 const char *component
;
273 int x1
, x2
; } include_defaults
[]
274 #ifdef INCLUDE_DEFAULTS
278 /* Pick up GNU C++ specific include files. */
279 { GPLUSPLUS_INCLUDE_DIR
, "G++", 1, 1 },
281 /* This is the dir for fixincludes. Put it just before
282 the files that we fix. */
283 { GCC_INCLUDE_DIR
, "GCC", 0, 0 },
284 /* For cross-compilation, this dir name is generated
285 automatically in Makefile.in. */
286 { CROSS_INCLUDE_DIR
, 0, 0, 0 },
287 /* This is another place that the target system's headers might be. */
288 { TOOL_INCLUDE_DIR
, "BINUTILS", 0, 0 },
289 #else /* not CROSS_COMPILE */
290 /* This should be /use/local/include and should come before
291 the fixincludes-fixed header files. */
292 { LOCAL_INCLUDE_DIR
, 0, 0, 1 },
293 /* This is here ahead of GCC_INCLUDE_DIR because assert.h goes here.
294 Likewise, behind LOCAL_INCLUDE_DIR, where glibc puts its assert.h. */
295 { TOOL_INCLUDE_DIR
, "BINUTILS", 0, 0 },
296 /* This is the dir for fixincludes. Put it just before
297 the files that we fix. */
298 { GCC_INCLUDE_DIR
, "GCC", 0, 0 },
299 /* Some systems have an extra dir of include files. */
300 #ifdef SYSTEM_INCLUDE_DIR
301 { SYSTEM_INCLUDE_DIR
, 0, 0, 0 },
303 { STANDARD_INCLUDE_DIR
, 0, 0, 0},
304 #endif /* not CROSS_COMPILE */
307 #endif /* no INCLUDE_DEFAULTS */
309 /* Datatype for lists of directories or filenames. */
313 struct string_list
*next
;
316 /* List of directories in which files should be converted. */
318 struct string_list
*directory_list
;
320 /* List of file names which should not be converted.
321 A file is excluded if the end of its name, following a /,
322 matches one of the names in this list. */
324 struct string_list
*exclude_list
;
326 /* The name of the other style of variable-number-of-parameters functions
327 (i.e. the style that we want to leave unconverted because we don't yet
328 know how to convert them to this style. This string is used in warning
331 /* Also define here the string that we can search for in the parameter lists
332 taken from the .X files which will unambiguously indicate that we have
333 found a varargs style function. */
336 static const char * const other_var_style
= "stdarg";
337 #else /* !defined (UNPROTOIZE) */
338 static const char * const other_var_style
= "varargs";
339 /* Note that this is a string containing the expansion of va_alist.
340 But in `main' we discard all but the first token. */
341 static const char *varargs_style_indicator
= STRINGIFY (va_alist
);
342 #endif /* !defined (UNPROTOIZE) */
344 /* The following two types are used to create hash tables. In this program,
345 there are two hash tables which are used to store and quickly lookup two
346 different classes of strings. The first type of strings stored in the
347 first hash table are absolute filenames of files which protoize needs to
348 know about. The second type of strings (stored in the second hash table)
349 are function names. It is this second class of strings which really
350 inspired the use of the hash tables, because there may be a lot of them. */
352 typedef struct hash_table_entry_struct hash_table_entry
;
354 /* Do some typedefs so that we don't have to write "struct" so often. */
356 typedef struct def_dec_info_struct def_dec_info
;
357 typedef struct file_info_struct file_info
;
358 typedef struct f_list_chain_item_struct f_list_chain_item
;
360 /* In the struct below, note that the "_info" field has two different uses
361 depending on the type of hash table we are in (i.e. either the filenames
362 hash table or the function names hash table). In the filenames hash table
363 the info fields of the entries point to the file_info struct which is
364 associated with each filename (1 per filename). In the function names
365 hash table, the info field points to the head of a singly linked list of
366 def_dec_info entries which are all defs or decs of the function whose
367 name is pointed to by the "symbol" field. Keeping all of the defs/decs
368 for a given function name on a special list specifically for that function
369 name makes it quick and easy to find out all of the important information
370 about a given (named) function. */
372 struct hash_table_entry_struct
{
373 hash_table_entry
* hash_next
; /* -> to secondary entries */
374 const char * symbol
; /* -> to the hashed string */
376 const def_dec_info
* _ddip
;
380 #define ddip _info._ddip
381 #define fip _info._fip
383 /* Define a type specifically for our two hash tables. */
385 typedef hash_table_entry hash_table
[HASH_TABLE_SIZE
];
387 /* The following struct holds all of the important information about any
388 single filename (e.g. file) which we need to know about. */
390 struct file_info_struct
{
391 const hash_table_entry
* hash_entry
; /* -> to associated hash entry */
392 const def_dec_info
* defs_decs
; /* -> to chain of defs/decs */
393 time_t mtime
; /* Time of last modification. */
396 /* Due to the possibility that functions may return pointers to functions,
397 (which may themselves have their own parameter lists) and due to the
398 fact that returned pointers-to-functions may be of type "pointer-to-
399 function-returning-pointer-to-function" (ad nauseum) we have to keep
400 an entire chain of ANSI style formal parameter lists for each function.
402 Normally, for any given function, there will only be one formals list
403 on the chain, but you never know.
405 Note that the head of each chain of formals lists is pointed to by the
406 `f_list_chain' field of the corresponding def_dec_info record.
408 For any given chain, the item at the head of the chain is the *leftmost*
409 parameter list seen in the actual C language function declaration. If
410 there are other members of the chain, then these are linked in left-to-right
411 order from the head of the chain. */
413 struct f_list_chain_item_struct
{
414 const f_list_chain_item
* chain_next
; /* -> to next item on chain */
415 const char * formals_list
; /* -> to formals list string */
418 /* The following struct holds all of the important information about any
419 single function definition or declaration which we need to know about.
420 Note that for unprotoize we don't need to know very much because we
421 never even create records for stuff that we don't intend to convert
422 (like for instance defs and decs which are already in old K&R format
423 and "implicit" function declarations). */
425 struct def_dec_info_struct
{
426 const def_dec_info
* next_in_file
; /* -> to rest of chain for file */
427 file_info
* file
; /* -> file_info for containing file */
428 int line
; /* source line number of def/dec */
429 const char * ansi_decl
; /* -> left end of ansi decl */
430 hash_table_entry
* hash_entry
; /* -> hash entry for function name */
431 unsigned int is_func_def
; /* = 0 means this is a declaration */
432 const def_dec_info
* next_for_func
; /* -> to rest of chain for func name */
433 unsigned int f_list_count
; /* count of formals lists we expect */
434 char prototyped
; /* = 0 means already prototyped */
436 const f_list_chain_item
* f_list_chain
; /* -> chain of formals lists */
437 const def_dec_info
* definition
; /* -> def/dec containing related def */
438 char is_static
; /* = 0 means visibility is "extern" */
439 char is_implicit
; /* != 0 for implicit func decl's */
440 char written
; /* != 0 means written for implicit */
441 #else /* !defined (UNPROTOIZE) */
442 const char * formal_names
; /* -> to list of names of formals */
443 const char * formal_decls
; /* -> to string of formal declarations */
444 #endif /* !defined (UNPROTOIZE) */
447 /* Pointer to the tail component of the filename by which this program was
448 invoked. Used everywhere in error and warning messages. */
450 static const char *pname
;
452 /* Error counter. Will be non-zero if we should give up at the next convenient
455 static int errors
= 0;
458 /* ??? These comments should say what the flag mean as well as the options
461 /* File name to use for running gcc. Allows GCC 2 to be named
462 something other than gcc. */
463 static const char *compiler_file_name
= "gcc";
465 static int version_flag
= 0; /* Print our version number. */
466 static int quiet_flag
= 0; /* Don't print messages normally. */
467 static int nochange_flag
= 0; /* Don't convert, just say what files
468 we would have converted. */
469 static int nosave_flag
= 0; /* Don't save the old version. */
470 static int keep_flag
= 0; /* Don't delete the .X files. */
471 static const char ** compile_params
= 0; /* Option string for gcc. */
473 static const char *indent_string
= " "; /* Indentation for newly
474 inserted parm decls. */
475 #else /* !defined (UNPROTOIZE) */
476 static int local_flag
= 0; /* Insert new local decls (when?). */
477 static int global_flag
= 0; /* set by -g option */
478 static int cplusplus_flag
= 0; /* Rename converted files to *.C. */
479 static const char *nondefault_syscalls_dir
= 0; /* Dir to look for
481 #endif /* !defined (UNPROTOIZE) */
483 /* An index into the compile_params array where we should insert the source
484 file name when we are ready to exec the C compiler. A zero value indicates
485 that we have not yet called munge_compile_params. */
487 static int input_file_name_index
= 0;
489 /* An index into the compile_params array where we should insert the filename
490 for the aux info file, when we run the C compiler. */
491 static int aux_info_file_name_index
= 0;
493 /* Count of command line arguments which were "filename" arguments. */
495 static int n_base_source_files
= 0;
497 /* Points to a malloc'ed list of pointers to all of the filenames of base
498 source files which were specified on the command line. */
500 static const char **base_source_filenames
;
502 /* Line number of the line within the current aux_info file that we
503 are currently processing. Used for error messages in case the prototypes
504 info file is corrupted somehow. */
506 static int current_aux_info_lineno
;
508 /* Pointer to the name of the source file currently being converted. */
510 static const char *convert_filename
;
512 /* Pointer to relative root string (taken from aux_info file) which indicates
513 where directory the user was in when he did the compilation step that
514 produced the containing aux_info file. */
516 static const char *invocation_filename
;
518 /* Pointer to the base of the input buffer that holds the original text for the
519 source file currently being converted. */
521 static const char *orig_text_base
;
523 /* Pointer to the byte just beyond the end of the input buffer that holds the
524 original text for the source file currently being converted. */
526 static const char *orig_text_limit
;
528 /* Pointer to the base of the input buffer that holds the cleaned text for the
529 source file currently being converted. */
531 static const char *clean_text_base
;
533 /* Pointer to the byte just beyond the end of the input buffer that holds the
534 cleaned text for the source file currently being converted. */
536 static const char *clean_text_limit
;
538 /* Pointer to the last byte in the cleaned text buffer that we have already
539 (virtually) copied to the output buffer (or decided to ignore). */
541 static const char * clean_read_ptr
;
543 /* Pointer to the base of the output buffer that holds the replacement text
544 for the source file currently being converted. */
546 static char *repl_text_base
;
548 /* Pointer to the byte just beyond the end of the output buffer that holds the
549 replacement text for the source file currently being converted. */
551 static char *repl_text_limit
;
553 /* Pointer to the last byte which has been stored into the output buffer.
554 The next byte to be stored should be stored just past where this points
557 static char * repl_write_ptr
;
559 /* Pointer into the cleaned text buffer for the source file we are currently
560 converting. This points to the first character of the line that we last
561 did a "seek_to_line" to (see below). */
563 static const char *last_known_line_start
;
565 /* Number of the line (in the cleaned text buffer) that we last did a
566 "seek_to_line" to. Will be one if we just read a new source file
567 into the cleaned text buffer. */
569 static int last_known_line_number
;
571 /* The filenames hash table. */
573 static hash_table filename_primary
;
575 /* The function names hash table. */
577 static hash_table function_name_primary
;
579 /* The place to keep the recovery address which is used only in cases where
580 we get hopelessly confused by something in the cleaned original text. */
582 static jmp_buf source_confusion_recovery
;
584 /* A pointer to the current directory filename (used by abspath). */
586 static char *cwd_buffer
;
588 /* A place to save the read pointer until we are sure that an individual
589 attempt at editing will succeed. */
591 static const char * saved_clean_read_ptr
;
593 /* A place to save the write pointer until we are sure that an individual
594 attempt at editing will succeed. */
596 static char * saved_repl_write_ptr
;
598 /* Forward declaration. */
600 static const char *shortpath ();
612 static char buffer
[30];
616 if (e
> 0 && e
< sys_nerr
)
617 return sys_errlist
[e
];
619 sprintf (buffer
, "Unknown error %d", e
);
624 /* Allocate some space, but check that the allocation was successful. */
625 /* alloca.c uses this, so don't make it static. */
633 rv
= (pointer_type
) malloc (byte_count
);
636 fprintf (stderr
, "\n%s: virtual memory exceeded\n", pname
);
637 exit (FATAL_EXIT_CODE
);
638 return 0; /* avoid warnings */
644 /* Reallocate some space, but check that the reallocation was successful. */
647 xrealloc (old_space
, byte_count
)
648 pointer_type old_space
;
653 rv
= (pointer_type
) realloc (old_space
, byte_count
);
656 fprintf (stderr
, "\n%s: virtual memory exceeded\n", pname
);
657 exit (FATAL_EXIT_CODE
);
658 return 0; /* avoid warnings */
664 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
665 the `const' qualifier from it and also make sure that the pointer value
670 const_pointer_type p
;
673 free ((NONCONST pointer_type
) p
);
676 /* Make a copy of a string INPUT with size SIZE. */
679 savestring (input
, size
)
683 char *output
= (char *) xmalloc (size
+ 1);
684 strcpy (output
, input
);
688 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
691 savestring2 (input1
, size1
, input2
, size2
)
697 char *output
= (char *) xmalloc (size1
+ size2
+ 1);
698 strcpy (output
, input1
);
699 strcpy (&output
[size1
], input2
);
703 /* More 'friendly' abort that prints the line and file.
704 config.h can #define abort fancy_abort if you like that sort of thing. */
709 fprintf (stderr
, "%s: internal abort\n", pname
);
710 exit (FATAL_EXIT_CODE
);
713 /* Make a duplicate of the first N bytes of a given string in a newly
721 char *ret_val
= (char *) xmalloc (n
+ 1);
723 strncpy (ret_val
, s
, n
);
728 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
729 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
734 const char *const s2
;
742 for (p1
= s1
, p2
= s2
; (c
= *p2
); p1
++, p2
++)
752 /* Read LEN bytes at PTR from descriptor DESC, for file FILENAME,
753 retrying if necessary. Return the actual number of bytes read. */
756 safe_read (desc
, ptr
, len
)
763 int nchars
= read (desc
, ptr
, left
);
780 /* Write LEN bytes at PTR to descriptor DESC,
781 retrying if necessary, and treating any real error as fatal. */
784 safe_write (desc
, ptr
, len
, out_fname
)
791 int written
= write (desc
, ptr
, len
);
794 int errno_val
= errno
;
796 if (errno_val
== EINTR
)
799 fprintf (stderr
, "%s: error writing file `%s': %s\n",
800 pname
, shortpath (NULL
, out_fname
), my_strerror (errno_val
));
808 /* Get setup to recover in case the edit we are about to do goes awry. */
813 saved_clean_read_ptr
= clean_read_ptr
;
814 saved_repl_write_ptr
= repl_write_ptr
;
817 /* Call this routine to recover our previous state whenever something looks
818 too confusing in the source code we are trying to edit. */
823 clean_read_ptr
= saved_clean_read_ptr
;
824 repl_write_ptr
= saved_repl_write_ptr
;
827 /* Return true if the given character is a valid identifier character. */
833 return (ISALNUM (ch
) || (ch
== '_') || (ch
== '$'));
836 /* Give a message indicating the proper way to invoke this program and then
837 exit with non-zero status. */
843 fprintf (stderr
, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
845 #else /* !defined (UNPROTOIZE) */
846 fprintf (stderr
, "%s: usage '%s [ -VqfnkNlgC ] [ -B <dirname> ] [ filename ... ]'\n",
848 #endif /* !defined (UNPROTOIZE) */
849 exit (FATAL_EXIT_CODE
);
852 /* Return true if the given filename (assumed to be an absolute filename)
853 designates a file residing anywhere beneath any one of the "system"
854 include directories. */
857 in_system_include_dir (path
)
860 struct default_include
*p
;
863 abort (); /* Must be an absolutized filename. */
865 for (p
= include_defaults
; p
->fname
; p
++)
866 if (!strncmp (path
, p
->fname
, strlen (p
->fname
))
867 && path
[strlen (p
->fname
)] == '/')
873 /* Return true if the given filename designates a file that the user has
874 read access to and for which the user has write access to the containing
878 file_could_be_converted (const char *path
)
880 char *const dir_name
= (char *) alloca (strlen (path
) + 1);
882 if (my_access (path
, R_OK
))
886 char *dir_last_slash
;
888 strcpy (dir_name
, path
);
889 dir_last_slash
= strrchr (dir_name
, '/');
891 *dir_last_slash
= '\0';
893 abort (); /* Should have been an absolutized filename. */
896 if (my_access (path
, W_OK
))
902 /* Return true if the given filename designates a file that we are allowed
903 to modify. Files which we should not attempt to modify are (a) "system"
904 include files, and (b) files which the user doesn't have write access to,
905 and (c) files which reside in directories which the user doesn't have
906 write access to. Unless requested to be quiet, give warnings about
907 files that we will not try to convert for one reason or another. An
908 exception is made for "system" include files, which we never try to
909 convert and for which we don't issue the usual warnings. */
912 file_normally_convertible (const char *path
)
914 char *const dir_name
= alloca (strlen (path
) + 1);
916 if (in_system_include_dir (path
))
920 char *dir_last_slash
;
922 strcpy (dir_name
, path
);
923 dir_last_slash
= strrchr (dir_name
, '/');
925 *dir_last_slash
= '\0';
927 abort (); /* Should have been an absolutized filename. */
930 if (my_access (path
, R_OK
))
933 fprintf (stderr
, "%s: warning: no read access for file `%s'\n",
934 pname
, shortpath (NULL
, path
));
938 if (my_access (path
, W_OK
))
941 fprintf (stderr
, "%s: warning: no write access for file `%s'\n",
942 pname
, shortpath (NULL
, path
));
946 if (my_access (dir_name
, W_OK
))
949 fprintf (stderr
, "%s: warning: no write access for dir containing `%s'\n",
950 pname
, shortpath (NULL
, path
));
960 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
961 file. Return false otherwise. */
964 is_syscalls_file (fi_p
)
965 const file_info
*fi_p
;
967 char const *f
= fi_p
->hash_entry
->symbol
;
968 size_t fl
= strlen (f
), sysl
= sizeof (syscalls_filename
) - 1;
969 return sysl
<= fl
&& strcmp (f
+ fl
- sysl
, syscalls_filename
) == 0;
972 #endif /* !defined (UNPROTOIZE) */
974 /* Check to see if this file will need to have anything done to it on this
975 run. If there is nothing in the given file which both needs conversion
976 and for which we have the necessary stuff to do the conversion, return
977 false. Otherwise, return true.
979 Note that (for protoize) it is only valid to call this function *after*
980 the connections between declarations and definitions have all been made
981 by connect_defs_and_decs. */
984 needs_to_be_converted (file_p
)
985 const file_info
*file_p
;
987 const def_dec_info
*ddp
;
991 if (is_syscalls_file (file_p
))
994 #endif /* !defined (UNPROTOIZE) */
996 for (ddp
= file_p
->defs_decs
; ddp
; ddp
= ddp
->next_in_file
)
1002 /* ... and if we a protoizing and this function is in old style ... */
1004 /* ... and if this a definition or is a decl with an associated def ... */
1005 && (ddp
->is_func_def
|| (!ddp
->is_func_def
&& ddp
->definition
))
1007 #else /* defined (UNPROTOIZE) */
1009 /* ... and if we are unprotoizing and this function is in new style ... */
1012 #endif /* defined (UNPROTOIZE) */
1014 /* ... then the containing file needs converting. */
1019 /* Return 1 if the file name NAME is in a directory
1020 that should be converted. */
1023 directory_specified_p (name
)
1026 struct string_list
*p
;
1028 for (p
= directory_list
; p
; p
= p
->next
)
1029 if (!strncmp (name
, p
->name
, strlen (p
->name
))
1030 && name
[strlen (p
->name
)] == '/')
1032 const char *q
= name
+ strlen (p
->name
) + 1;
1034 /* If there are more slashes, it's in a subdir, so
1035 this match doesn't count. */
1047 /* Return 1 if the file named NAME should be excluded from conversion. */
1050 file_excluded_p (name
)
1053 struct string_list
*p
;
1054 int len
= strlen (name
);
1056 for (p
= exclude_list
; p
; p
= p
->next
)
1057 if (!strcmp (name
+ len
- strlen (p
->name
), p
->name
)
1058 && name
[len
- strlen (p
->name
) - 1] == '/')
1064 /* Construct a new element of a string_list.
1065 STRING is the new element value, and REST holds the remaining elements. */
1067 static struct string_list
*
1068 string_list_cons (string
, rest
)
1070 struct string_list
*rest
;
1072 struct string_list
*temp
1073 = (struct string_list
*) xmalloc (sizeof (struct string_list
));
1076 temp
->name
= string
;
1080 /* ??? The GNU convention for mentioning function args in its comments
1081 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
1082 Likewise for all the other functions. */
1084 /* Given a hash table, apply some function to each node in the table. The
1085 table to traverse is given as the "hash_tab_p" argument, and the
1086 function to be applied to each node in the table is given as "func"
1090 visit_each_hash_node (hash_tab_p
, func
)
1091 const hash_table_entry
*hash_tab_p
;
1094 const hash_table_entry
*primary
;
1096 for (primary
= hash_tab_p
; primary
< &hash_tab_p
[HASH_TABLE_SIZE
]; primary
++)
1097 if (primary
->symbol
)
1099 hash_table_entry
*second
;
1102 for (second
= primary
->hash_next
; second
; second
= second
->hash_next
)
1107 /* Initialize all of the fields of a new hash table entry, pointed
1108 to by the "p" parameter. Note that the space to hold the entry
1109 is assumed to have already been allocated before this routine is
1112 static hash_table_entry
*
1114 hash_table_entry
*p
;
1117 p
->hash_next
= NULL
;
1118 p
->symbol
= savestring (s
, strlen (s
));
1124 /* Look for a particular function name or filename in the particular
1125 hash table indicated by "hash_tab_p". If the name is not in the
1126 given hash table, add it. Either way, return a pointer to the
1127 hash table entry for the given name. */
1129 static hash_table_entry
*
1130 lookup (hash_tab_p
, search_symbol
)
1131 hash_table_entry
*hash_tab_p
;
1132 const char *search_symbol
;
1135 const char *search_symbol_char_p
= search_symbol
;
1136 hash_table_entry
*p
;
1138 while (*search_symbol_char_p
)
1139 hash_value
+= *search_symbol_char_p
++;
1140 hash_value
&= hash_mask
;
1141 p
= &hash_tab_p
[hash_value
];
1143 return add_symbol (p
, search_symbol
);
1144 if (!strcmp (p
->symbol
, search_symbol
))
1146 while (p
->hash_next
)
1149 if (!strcmp (p
->symbol
, search_symbol
))
1152 p
->hash_next
= (hash_table_entry
*) xmalloc (sizeof (hash_table_entry
));
1154 return add_symbol (p
, search_symbol
);
1157 /* Throw a def/dec record on the junk heap.
1159 Also, since we are not using this record anymore, free up all of the
1160 stuff it pointed to. */
1166 xfree (p
->ansi_decl
);
1170 const f_list_chain_item
* curr
;
1171 const f_list_chain_item
* next
;
1173 for (curr
= p
->f_list_chain
; curr
; curr
= next
)
1175 next
= curr
->chain_next
;
1179 #endif /* !defined (UNPROTOIZE) */
1184 /* Unexpand as many macro symbol as we can find.
1186 If the given line must be unexpanded, make a copy of it in the heap and
1187 return a pointer to the unexpanded copy. Otherwise return NULL. */
1190 unexpand_if_needed (aux_info_line
)
1191 const char *aux_info_line
;
1193 static char *line_buf
= 0;
1194 static int line_buf_size
= 0;
1195 const unexpansion
*unexp_p
;
1196 int got_unexpanded
= 0;
1198 char *copy_p
= line_buf
;
1202 line_buf_size
= 1024;
1203 line_buf
= (char *) xmalloc (line_buf_size
);
1208 /* Make a copy of the input string in line_buf, expanding as necessary. */
1210 for (s
= aux_info_line
; *s
!= '\n'; )
1212 for (unexp_p
= unexpansions
; unexp_p
->expanded
; unexp_p
++)
1214 const char *in_p
= unexp_p
->expanded
;
1215 size_t len
= strlen (in_p
);
1217 if (*s
== *in_p
&& !strncmp (s
, in_p
, len
) && !is_id_char (s
[len
]))
1219 int size
= strlen (unexp_p
->contracted
);
1221 if (copy_p
+ size
- line_buf
>= line_buf_size
)
1223 int offset
= copy_p
- line_buf
;
1225 line_buf_size
+= size
;
1226 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1227 copy_p
= line_buf
+ offset
;
1229 strcpy (copy_p
, unexp_p
->contracted
);
1232 /* Assume the there will not be another replacement required
1233 within the text just replaced. */
1236 goto continue_outer
;
1239 if (copy_p
- line_buf
== line_buf_size
)
1241 int offset
= copy_p
- line_buf
;
1243 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1244 copy_p
= line_buf
+ offset
;
1249 if (copy_p
+ 2 - line_buf
>= line_buf_size
)
1251 int offset
= copy_p
- line_buf
;
1253 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1254 copy_p
= line_buf
+ offset
;
1259 return (got_unexpanded
? savestring (line_buf
, copy_p
- line_buf
) : 0);
1262 /* Return the absolutized filename for the given relative
1263 filename. Note that if that filename is already absolute, it may
1264 still be returned in a modified form because this routine also
1265 eliminates redundant slashes and single dots and eliminates double
1266 dots to get a shortest possible filename from the given input
1267 filename. The absolutization of relative filenames is made by
1268 assuming that the given filename is to be taken as relative to
1269 the first argument (cwd) or to the current directory if cwd is
1273 abspath (cwd
, rel_filename
)
1275 const char *rel_filename
;
1277 /* Setup the current working directory as needed. */
1278 const char *cwd2
= (cwd
) ? cwd
: cwd_buffer
;
1279 char *const abs_buffer
1280 = (char *) alloca (strlen (cwd2
) + strlen (rel_filename
) + 2);
1281 char *endp
= abs_buffer
;
1284 /* Copy the filename (possibly preceded by the current working
1285 directory name) into the absolutization buffer. */
1290 if (rel_filename
[0] != '/')
1293 while ((*endp
++ = *src_p
++))
1295 *(endp
-1) = '/'; /* overwrite null */
1297 src_p
= rel_filename
;
1298 while ((*endp
++ = *src_p
++))
1302 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1303 filename (by taking out slashes and dots) as we go. */
1305 outp
= inp
= abs_buffer
;
1306 *outp
++ = *inp
++; /* copy first slash */
1309 *outp
++ = *inp
++; /* copy second slash */
1315 else if (inp
[0] == '/' && outp
[-1] == '/')
1320 else if (inp
[0] == '.' && outp
[-1] == '/')
1324 else if (inp
[1] == '/')
1329 else if ((inp
[1] == '.') && (inp
[2] == 0 || inp
[2] == '/'))
1331 inp
+= (inp
[2] == '/') ? 3 : 2;
1333 while (outp
>= abs_buffer
&& *outp
!= '/')
1335 if (outp
< abs_buffer
)
1337 /* Catch cases like /.. where we try to backup to a
1338 point above the absolute root of the logical file
1341 fprintf (stderr
, "%s: invalid file name: %s\n",
1342 pname
, rel_filename
);
1343 exit (FATAL_EXIT_CODE
);
1352 /* On exit, make sure that there is a trailing null, and make sure that
1353 the last character of the returned string is *not* a slash. */
1356 if (outp
[-1] == '/')
1359 /* Make a copy (in the heap) of the stuff left in the absolutization
1360 buffer and return a pointer to the copy. */
1362 return savestring (abs_buffer
, outp
- abs_buffer
);
1365 /* Given a filename (and possibly a directory name from which the filename
1366 is relative) return a string which is the shortest possible
1367 equivalent for the corresponding full (absolutized) filename. The
1368 shortest possible equivalent may be constructed by converting the
1369 absolutized filename to be a relative filename (i.e. relative to
1370 the actual current working directory). However if a relative filename
1371 is longer, then the full absolute filename is returned.
1375 Note that "simple-minded" conversion of any given type of filename (either
1376 relative or absolute) may not result in a valid equivalent filename if any
1377 subpart of the original filename is actually a symbolic link. */
1380 shortpath (cwd
, filename
)
1382 const char *filename
;
1386 char *cwd_p
= cwd_buffer
;
1388 int unmatched_slash_count
= 0;
1389 size_t filename_len
= strlen (filename
);
1391 path_p
= abspath (cwd
, filename
);
1392 rel_buf_p
= rel_buffer
= (char *) xmalloc (filename_len
);
1394 while (*cwd_p
&& (*cwd_p
== *path_p
))
1399 if (!*cwd_p
&& (!*path_p
|| *path_p
== '/')) /* whole pwd matched */
1401 if (!*path_p
) /* input *is* the current path! */
1412 while (*cwd_p
!= '/') /* backup to last slash */
1419 unmatched_slash_count
++;
1422 /* Find out how many directory levels in cwd were *not* matched. */
1424 if (*cwd_p
++ == '/')
1425 unmatched_slash_count
++;
1427 /* Now we know how long the "short name" will be.
1428 Reject it if longer than the input. */
1429 if (unmatched_slash_count
* 3 + strlen (path_p
) >= filename_len
)
1432 /* For each of them, put a `../' at the beginning of the short name. */
1433 while (unmatched_slash_count
--)
1435 /* Give up if the result gets to be longer
1436 than the absolute path name. */
1437 if (rel_buffer
+ filename_len
<= rel_buf_p
+ 3)
1444 /* Then tack on the unmatched part of the desired file's name. */
1447 if (rel_buffer
+ filename_len
<= rel_buf_p
)
1450 while ((*rel_buf_p
++ = *path_p
++));
1453 if (*(rel_buf_p
-1) == '/')
1454 *--rel_buf_p
= '\0';
1459 /* Lookup the given filename in the hash table for filenames. If it is a
1460 new one, then the hash table info pointer will be null. In this case,
1461 we create a new file_info record to go with the filename, and we initialize
1462 that record with some reasonable values. */
1464 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1465 That is probably a bug in AIX, but might as well avoid the warning. */
1468 find_file (filename
, do_not_stat
)
1472 hash_table_entry
*hash_entry_p
;
1474 hash_entry_p
= lookup (filename_primary
, filename
);
1475 if (hash_entry_p
->fip
)
1476 return hash_entry_p
->fip
;
1479 struct stat stat_buf
;
1480 file_info
*file_p
= (file_info
*) xmalloc (sizeof (file_info
));
1482 /* If we cannot get status on any given source file, give a warning
1483 and then just set its time of last modification to infinity. */
1486 stat_buf
.st_mtime
= (time_t) 0;
1489 if (my_stat (filename
, &stat_buf
) == -1)
1491 int errno_val
= errno
;
1492 fprintf (stderr
, "%s: %s: can't get status: %s\n",
1493 pname
, shortpath (NULL
, filename
),
1494 my_strerror (errno_val
));
1495 stat_buf
.st_mtime
= (time_t) -1;
1499 hash_entry_p
->fip
= file_p
;
1500 file_p
->hash_entry
= hash_entry_p
;
1501 file_p
->defs_decs
= NULL
;
1502 file_p
->mtime
= stat_buf
.st_mtime
;
1507 /* Generate a fatal error because some part of the aux_info file is
1511 aux_info_corrupted ()
1513 fprintf (stderr
, "\n%s: fatal error: aux info file corrupted at line %d\n",
1514 pname
, current_aux_info_lineno
);
1515 exit (FATAL_EXIT_CODE
);
1518 /* ??? This comment is vague. Say what the condition is for. */
1519 /* Check to see that a condition is true. This is kind of like an assert. */
1522 check_aux_info (cond
)
1526 aux_info_corrupted ();
1529 /* Given a pointer to the closing right parenthesis for a particular formals
1530 list (in an aux_info file) find the corresponding left parenthesis and
1531 return a pointer to it. */
1534 find_corresponding_lparen (p
)
1540 for (paren_depth
= 1, q
= p
-1; paren_depth
; q
--)
1555 /* Given a line from an aux info file, and a time at which the aux info
1556 file it came from was created, check to see if the item described in
1557 the line comes from a file which has been modified since the aux info
1558 file was created. If so, return non-zero, else return zero. */
1561 referenced_file_is_newer (l
, aux_info_mtime
)
1563 time_t aux_info_mtime
;
1569 check_aux_info (l
[0] == '/');
1570 check_aux_info (l
[1] == '*');
1571 check_aux_info (l
[2] == ' ');
1574 const char *filename_start
= p
= l
+ 3;
1578 filename
= (char *) alloca ((size_t) (p
- filename_start
) + 1);
1579 strncpy (filename
, filename_start
, (size_t) (p
- filename_start
));
1580 filename
[p
-filename_start
] = '\0';
1583 /* Call find_file to find the file_info record associated with the file
1584 which contained this particular def or dec item. Note that this call
1585 may cause a new file_info record to be created if this is the first time
1586 that we have ever known about this particular file. */
1588 fi_p
= find_file (abspath (invocation_filename
, filename
), 0);
1590 return (fi_p
->mtime
> aux_info_mtime
);
1593 /* Given a line of info from the aux_info file, create a new
1594 def_dec_info record to remember all of the important information about
1595 a function definition or declaration.
1597 Link this record onto the list of such records for the particular file in
1598 which it occurred in proper (descending) line number order (for now).
1600 If there is an identical record already on the list for the file, throw
1601 this one away. Doing so takes care of the (useless and troublesome)
1602 duplicates which are bound to crop up due to multiple inclusions of any
1603 given individual header file.
1605 Finally, link the new def_dec record onto the list of such records
1606 pertaining to this particular function name. */
1609 save_def_or_dec (l
, is_syscalls
)
1614 const char *semicolon_p
;
1615 def_dec_info
*def_dec_p
= (def_dec_info
*) xmalloc (sizeof (def_dec_info
));
1618 def_dec_p
->written
= 0;
1619 #endif /* !defined (UNPROTOIZE) */
1621 /* Start processing the line by picking off 5 pieces of information from
1622 the left hand end of the line. These are filename, line number,
1623 new/old/implicit flag (new = ANSI prototype format), definition or
1624 declaration flag, and extern/static flag). */
1626 check_aux_info (l
[0] == '/');
1627 check_aux_info (l
[1] == '*');
1628 check_aux_info (l
[2] == ' ');
1631 const char *filename_start
= p
= l
+ 3;
1636 filename
= (char *) alloca ((size_t) (p
- filename_start
) + 1);
1637 strncpy (filename
, filename_start
, (size_t) (p
- filename_start
));
1638 filename
[p
-filename_start
] = '\0';
1640 /* Call find_file to find the file_info record associated with the file
1641 which contained this particular def or dec item. Note that this call
1642 may cause a new file_info record to be created if this is the first time
1643 that we have ever known about this particular file.
1645 Note that we started out by forcing all of the base source file names
1646 (i.e. the names of the aux_info files with the .X stripped off) into the
1647 filenames hash table, and we simultaneously setup file_info records for
1648 all of these base file names (even if they may be useless later).
1649 The file_info records for all of these "base" file names (properly)
1650 act as file_info records for the "original" (i.e. un-included) files
1651 which were submitted to gcc for compilation (when the -aux-info
1652 option was used). */
1654 def_dec_p
->file
= find_file (abspath (invocation_filename
, filename
), is_syscalls
);
1658 const char *line_number_start
= ++p
;
1659 char line_number
[10];
1663 strncpy (line_number
, line_number_start
, (size_t) (p
- line_number_start
));
1664 line_number
[p
-line_number_start
] = '\0';
1665 def_dec_p
->line
= atoi (line_number
);
1668 /* Check that this record describes a new-style, old-style, or implicit
1669 definition or declaration. */
1671 p
++; /* Skip over the `:'. */
1672 check_aux_info ((*p
== 'N') || (*p
== 'O') || (*p
== 'I'));
1674 /* Is this a new style (ANSI prototyped) definition or declaration? */
1676 def_dec_p
->prototyped
= (*p
== 'N');
1680 /* Is this an implicit declaration? */
1682 def_dec_p
->is_implicit
= (*p
== 'I');
1684 #endif /* !defined (UNPROTOIZE) */
1688 check_aux_info ((*p
== 'C') || (*p
== 'F'));
1690 /* Is this item a function definition (F) or a declaration (C). Note that
1691 we treat item taken from the syscalls file as though they were function
1692 definitions regardless of what the stuff in the file says. */
1694 def_dec_p
->is_func_def
= ((*p
++ == 'F') || is_syscalls
);
1697 def_dec_p
->definition
= 0; /* Fill this in later if protoizing. */
1698 #endif /* !defined (UNPROTOIZE) */
1700 check_aux_info (*p
++ == ' ');
1701 check_aux_info (*p
++ == '*');
1702 check_aux_info (*p
++ == '/');
1703 check_aux_info (*p
++ == ' ');
1706 check_aux_info ((!strncmp (p
, "static", 6)) || (!strncmp (p
, "extern", 6)));
1707 #else /* !defined (UNPROTOIZE) */
1708 if (!strncmp (p
, "static", 6))
1709 def_dec_p
->is_static
= -1;
1710 else if (!strncmp (p
, "extern", 6))
1711 def_dec_p
->is_static
= 0;
1713 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1714 #endif /* !defined (UNPROTOIZE) */
1717 const char *ansi_start
= p
;
1719 p
+= 6; /* Pass over the "static" or "extern". */
1721 /* We are now past the initial stuff. Search forward from here to find
1722 the terminating semicolon that should immediately follow the entire
1723 ANSI format function declaration. */
1730 /* Make a copy of the ansi declaration part of the line from the aux_info
1733 def_dec_p
->ansi_decl
1734 = dupnstr (ansi_start
, (size_t) ((semicolon_p
+1) - ansi_start
));
1736 /* Backup and point at the final right paren of the final argument list. */
1741 def_dec_p
->f_list_chain
= NULL
;
1742 #endif /* !defined (UNPROTOIZE) */
1744 while (p
!= ansi_start
&& (p
[-1] == ' ' || p
[-1] == '\t')) p
--;
1747 free_def_dec (def_dec_p
);
1752 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1753 there will only be one list to isolate, but there could be more. */
1755 def_dec_p
->f_list_count
= 0;
1759 const char *left_paren_p
= find_corresponding_lparen (p
);
1762 f_list_chain_item
*cip
1763 = (f_list_chain_item
*) xmalloc (sizeof (f_list_chain_item
));
1766 = dupnstr (left_paren_p
+ 1, (size_t) (p
- (left_paren_p
+1)));
1768 /* Add the new chain item at the head of the current list. */
1770 cip
->chain_next
= def_dec_p
->f_list_chain
;
1771 def_dec_p
->f_list_chain
= cip
;
1773 #endif /* !defined (UNPROTOIZE) */
1774 def_dec_p
->f_list_count
++;
1776 p
= left_paren_p
- 2;
1778 /* p must now point either to another right paren, or to the last
1779 character of the name of the function that was declared/defined.
1780 If p points to another right paren, then this indicates that we
1781 are dealing with multiple formals lists. In that case, there
1782 really should be another right paren preceding this right paren. */
1787 check_aux_info (*--p
== ')');
1792 const char *past_fn
= p
+ 1;
1794 check_aux_info (*past_fn
== ' ');
1796 /* Scan leftwards over the identifier that names the function. */
1798 while (is_id_char (*p
))
1802 /* p now points to the leftmost character of the function name. */
1805 char *fn_string
= (char *) alloca (past_fn
- p
+ 1);
1807 strncpy (fn_string
, p
, (size_t) (past_fn
- p
));
1808 fn_string
[past_fn
-p
] = '\0';
1809 def_dec_p
->hash_entry
= lookup (function_name_primary
, fn_string
);
1813 /* Look at all of the defs and decs for this function name that we have
1814 collected so far. If there is already one which is at the same
1815 line number in the same file, then we can discard this new def_dec_info
1818 As an extra assurance that any such pair of (nominally) identical
1819 function declarations are in fact identical, we also compare the
1820 ansi_decl parts of the lines from the aux_info files just to be on
1823 This comparison will fail if (for instance) the user was playing
1824 messy games with the preprocessor which ultimately causes one
1825 function declaration in one header file to look differently when
1826 that file is included by two (or more) other files. */
1829 const def_dec_info
*other
;
1831 for (other
= def_dec_p
->hash_entry
->ddip
; other
; other
= other
->next_for_func
)
1833 if (def_dec_p
->line
== other
->line
&& def_dec_p
->file
== other
->file
)
1835 if (strcmp (def_dec_p
->ansi_decl
, other
->ansi_decl
))
1837 fprintf (stderr
, "%s:%d: declaration of function `%s' takes different forms\n",
1838 def_dec_p
->file
->hash_entry
->symbol
,
1840 def_dec_p
->hash_entry
->symbol
);
1841 exit (FATAL_EXIT_CODE
);
1843 free_def_dec (def_dec_p
);
1851 /* If we are doing unprotoizing, we must now setup the pointers that will
1852 point to the K&R name list and to the K&R argument declarations list.
1854 Note that if this is only a function declaration, then we should not
1855 expect to find any K&R style formals list following the ANSI-style
1856 formals list. This is because GCC knows that such information is
1857 useless in the case of function declarations (function definitions
1858 are a different story however).
1860 Since we are unprotoizing, we don't need any such lists anyway.
1861 All we plan to do is to delete all characters between ()'s in any
1864 def_dec_p
->formal_names
= NULL
;
1865 def_dec_p
->formal_decls
= NULL
;
1867 if (def_dec_p
->is_func_def
)
1870 check_aux_info (*++p
== ' ');
1871 check_aux_info (*++p
== '/');
1872 check_aux_info (*++p
== '*');
1873 check_aux_info (*++p
== ' ');
1874 check_aux_info (*++p
== '(');
1877 const char *kr_names_start
= ++p
; /* Point just inside '('. */
1881 p
--; /* point to closing right paren */
1883 /* Make a copy of the K&R parameter names list. */
1885 def_dec_p
->formal_names
1886 = dupnstr (kr_names_start
, (size_t) (p
- kr_names_start
));
1889 check_aux_info (*++p
== ' ');
1892 /* p now points to the first character of the K&R style declarations
1893 list (if there is one) or to the star-slash combination that ends
1894 the comment in which such lists get embedded. */
1896 /* Make a copy of the K&R formal decls list and set the def_dec record
1899 if (*p
== '*') /* Are there no K&R declarations? */
1901 check_aux_info (*++p
== '/');
1902 def_dec_p
->formal_decls
= "";
1906 const char *kr_decls_start
= p
;
1908 while (p
[0] != '*' || p
[1] != '/')
1912 check_aux_info (*p
== ' ');
1914 def_dec_p
->formal_decls
1915 = dupnstr (kr_decls_start
, (size_t) (p
- kr_decls_start
));
1918 /* Handle a special case. If we have a function definition marked as
1919 being in "old" style, and if its formal names list is empty, then
1920 it may actually have the string "void" in its real formals list
1921 in the original source code. Just to make sure, we will get setup
1922 to convert such things anyway.
1924 This kludge only needs to be here because of an insurmountable
1925 problem with generating .X files. */
1927 if (!def_dec_p
->prototyped
&& !*def_dec_p
->formal_names
)
1928 def_dec_p
->prototyped
= 1;
1931 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1932 we can just ignore it. If that is true, throw away the itme now. */
1934 if (!def_dec_p
->prototyped
)
1936 free_def_dec (def_dec_p
);
1940 #endif /* defined (UNPROTOIZE) */
1942 /* Add this record to the head of the list of records pertaining to this
1943 particular function name. */
1945 def_dec_p
->next_for_func
= def_dec_p
->hash_entry
->ddip
;
1946 def_dec_p
->hash_entry
->ddip
= def_dec_p
;
1948 /* Add this new def_dec_info record to the sorted list of def_dec_info
1949 records for this file. Note that we don't have to worry about duplicates
1950 (caused by multiple inclusions of header files) here because we have
1951 already eliminated duplicates above. */
1953 if (!def_dec_p
->file
->defs_decs
)
1955 def_dec_p
->file
->defs_decs
= def_dec_p
;
1956 def_dec_p
->next_in_file
= NULL
;
1960 int line
= def_dec_p
->line
;
1961 const def_dec_info
*prev
= NULL
;
1962 const def_dec_info
*curr
= def_dec_p
->file
->defs_decs
;
1963 const def_dec_info
*next
= curr
->next_in_file
;
1965 while (next
&& (line
< curr
->line
))
1969 next
= next
->next_in_file
;
1971 if (line
>= curr
->line
)
1973 def_dec_p
->next_in_file
= curr
;
1975 ((NONCONST def_dec_info
*) prev
)->next_in_file
= def_dec_p
;
1977 def_dec_p
->file
->defs_decs
= def_dec_p
;
1979 else /* assert (next == NULL); */
1981 ((NONCONST def_dec_info
*) curr
)->next_in_file
= def_dec_p
;
1982 /* assert (next == NULL); */
1983 def_dec_p
->next_in_file
= next
;
1988 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1989 Also set input_file_name_index and aux_info_file_name_index
1990 to the indices of the slots where the file names should go. */
1992 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1993 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1996 munge_compile_params (params_list
)
1997 const char *params_list
;
1999 /* Build up the contents in a temporary vector
2000 that is so big that to has to be big enough. */
2001 const char **temp_params
2002 = (const char **) alloca ((strlen (params_list
) + 8) * sizeof (char *));
2003 int param_count
= 0;
2006 temp_params
[param_count
++] = compiler_file_name
;
2009 while (ISSPACE ((const unsigned char)*params_list
))
2013 param
= params_list
;
2014 while (*params_list
&& !ISSPACE ((const unsigned char)*params_list
))
2016 if (param
[0] != '-')
2017 temp_params
[param_count
++]
2018 = dupnstr (param
, (size_t) (params_list
- param
));
2027 break; /* Don't copy these. */
2029 while (ISSPACE ((const unsigned char)*params_list
))
2032 && !ISSPACE ((const unsigned char)*params_list
))
2036 temp_params
[param_count
++]
2037 = dupnstr (param
, (size_t) (params_list
- param
));
2043 temp_params
[param_count
++] = "-aux-info";
2045 /* Leave room for the aux-info file name argument. */
2046 aux_info_file_name_index
= param_count
;
2047 temp_params
[param_count
++] = NULL
;
2049 temp_params
[param_count
++] = "-S";
2050 temp_params
[param_count
++] = "-o";
2051 temp_params
[param_count
++] = "/dev/null";
2053 /* Leave room for the input file name argument. */
2054 input_file_name_index
= param_count
;
2055 temp_params
[param_count
++] = NULL
;
2056 /* Terminate the list. */
2057 temp_params
[param_count
++] = NULL
;
2059 /* Make a copy of the compile_params in heap space. */
2062 = (const char **) xmalloc (sizeof (char *) * (param_count
+1));
2063 memcpy (compile_params
, temp_params
, sizeof (char *) * param_count
);
2066 /* Do a recompilation for the express purpose of generating a new aux_info
2067 file to go with a specific base source file.
2069 The result is a boolean indicating success. */
2072 gen_aux_info_file (base_filename
)
2073 const char *base_filename
;
2075 if (!input_file_name_index
)
2076 munge_compile_params ("");
2078 /* Store the full source file name in the argument vector. */
2079 compile_params
[input_file_name_index
] = shortpath (NULL
, base_filename
);
2080 /* Add .X to source file name to get aux-info file name. */
2081 compile_params
[aux_info_file_name_index
]
2082 = savestring2 (compile_params
[input_file_name_index
],
2083 strlen (compile_params
[input_file_name_index
]),
2088 fprintf (stderr
, "%s: compiling `%s'\n",
2089 pname
, compile_params
[input_file_name_index
]);
2092 char *errmsg_fmt
, *errmsg_arg
;
2093 int wait_status
, pid
;
2094 char *temp_base
= choose_temp_base ();
2096 pid
= pexecute (compile_params
[0], (char * const *) compile_params
,
2097 pname
, temp_base
, &errmsg_fmt
, &errmsg_arg
,
2098 PEXECUTE_FIRST
| PEXECUTE_LAST
| PEXECUTE_SEARCH
);
2102 int errno_val
= errno
;
2103 fprintf (stderr
, "%s: ", pname
);
2104 fprintf (stderr
, errmsg_fmt
, errmsg_arg
);
2105 fprintf (stderr
, ": %s\n", my_strerror (errno_val
));
2109 pid
= pwait (pid
, &wait_status
, 0);
2112 fprintf (stderr
, "%s: wait: %s\n", pname
, my_strerror (errno
));
2115 if (WIFSIGNALED (wait_status
))
2117 fprintf (stderr
, "%s: subprocess got fatal signal %d\n",
2118 pname
, WTERMSIG (wait_status
));
2121 if (WIFEXITED (wait_status
))
2123 if (WEXITSTATUS (wait_status
) != 0)
2125 fprintf (stderr
, "%s: %s exited with status %d\n",
2126 pname
, compile_params
[0], WEXITSTATUS (wait_status
));
2135 /* Read in all of the information contained in a single aux_info file.
2136 Save all of the important stuff for later. */
2139 process_aux_info_file (base_source_filename
, keep_it
, is_syscalls
)
2140 const char *base_source_filename
;
2144 size_t base_len
= strlen (base_source_filename
);
2145 char * aux_info_filename
2146 = (char *) alloca (base_len
+ strlen (aux_info_suffix
) + 1);
2147 char *aux_info_base
;
2148 char *aux_info_limit
;
2149 char *aux_info_relocated_name
;
2150 const char *aux_info_second_line
;
2151 time_t aux_info_mtime
;
2152 size_t aux_info_size
;
2155 /* Construct the aux_info filename from the base source filename. */
2157 strcpy (aux_info_filename
, base_source_filename
);
2158 strcat (aux_info_filename
, aux_info_suffix
);
2160 /* Check that the aux_info file exists and is readable. If it does not
2161 exist, try to create it (once only). */
2163 /* If file doesn't exist, set must_create.
2164 Likewise if it exists and we can read it but it is obsolete.
2165 Otherwise, report an error. */
2168 /* Come here with must_create set to 1 if file is out of date. */
2171 if (my_access (aux_info_filename
, R_OK
) == -1)
2173 if (errno
== ENOENT
)
2177 fprintf (stderr
, "%s: warning: missing SYSCALLS file `%s'\n",
2178 pname
, aux_info_filename
);
2185 int errno_val
= errno
;
2186 fprintf (stderr
, "%s: can't read aux info file `%s': %s\n",
2187 pname
, shortpath (NULL
, aux_info_filename
),
2188 my_strerror (errno_val
));
2193 #if 0 /* There is code farther down to take care of this. */
2197 stat (aux_info_file_name
, &s1
);
2198 stat (base_source_file_name
, &s2
);
2199 if (s2
.st_mtime
> s1
.st_mtime
)
2204 /* If we need a .X file, create it, and verify we can read it. */
2207 if (!gen_aux_info_file (base_source_filename
))
2212 if (my_access (aux_info_filename
, R_OK
) == -1)
2214 int errno_val
= errno
;
2215 fprintf (stderr
, "%s: can't read aux info file `%s': %s\n",
2216 pname
, shortpath (NULL
, aux_info_filename
),
2217 my_strerror (errno_val
));
2224 struct stat stat_buf
;
2226 /* Get some status information about this aux_info file. */
2228 if (my_stat (aux_info_filename
, &stat_buf
) == -1)
2230 int errno_val
= errno
;
2231 fprintf (stderr
, "%s: can't get status of aux info file `%s': %s\n",
2232 pname
, shortpath (NULL
, aux_info_filename
),
2233 my_strerror (errno_val
));
2238 /* Check on whether or not this aux_info file is zero length. If it is,
2239 then just ignore it and return. */
2241 if ((aux_info_size
= stat_buf
.st_size
) == 0)
2244 /* Get the date/time of last modification for this aux_info file and
2245 remember it. We will have to check that any source files that it
2246 contains information about are at least this old or older. */
2248 aux_info_mtime
= stat_buf
.st_mtime
;
2252 /* Compare mod time with the .c file; update .X file if obsolete.
2253 The code later on can fail to check the .c file
2254 if it did not directly define any functions. */
2256 if (my_stat (base_source_filename
, &stat_buf
) == -1)
2258 int errno_val
= errno
;
2259 fprintf (stderr
, "%s: can't get status of aux info file `%s': %s\n",
2260 pname
, shortpath (NULL
, base_source_filename
),
2261 my_strerror (errno_val
));
2265 if (stat_buf
.st_mtime
> aux_info_mtime
)
2276 /* Open the aux_info file. */
2278 if ((aux_info_file
= my_open (aux_info_filename
, O_RDONLY
, 0444 )) == -1)
2280 int errno_val
= errno
;
2281 fprintf (stderr
, "%s: can't open aux info file `%s' for reading: %s\n",
2282 pname
, shortpath (NULL
, aux_info_filename
),
2283 my_strerror (errno_val
));
2287 /* Allocate space to hold the aux_info file in memory. */
2289 aux_info_base
= xmalloc (aux_info_size
+ 1);
2290 aux_info_limit
= aux_info_base
+ aux_info_size
;
2291 *aux_info_limit
= '\0';
2293 /* Read the aux_info file into memory. */
2295 if (safe_read (aux_info_file
, aux_info_base
, aux_info_size
) !=
2296 (int) aux_info_size
)
2298 int errno_val
= errno
;
2299 fprintf (stderr
, "%s: error reading aux info file `%s': %s\n",
2300 pname
, shortpath (NULL
, aux_info_filename
),
2301 my_strerror (errno_val
));
2302 free (aux_info_base
);
2303 close (aux_info_file
);
2307 /* Close the aux info file. */
2309 if (close (aux_info_file
))
2311 int errno_val
= errno
;
2312 fprintf (stderr
, "%s: error closing aux info file `%s': %s\n",
2313 pname
, shortpath (NULL
, aux_info_filename
),
2314 my_strerror (errno_val
));
2315 free (aux_info_base
);
2316 close (aux_info_file
);
2321 /* Delete the aux_info file (unless requested not to). If the deletion
2322 fails for some reason, don't even worry about it. */
2324 if (must_create
&& !keep_it
)
2325 if (my_unlink (aux_info_filename
) == -1)
2327 int errno_val
= errno
;
2328 fprintf (stderr
, "%s: can't delete aux info file `%s': %s\n",
2329 pname
, shortpath (NULL
, aux_info_filename
),
2330 my_strerror (errno_val
));
2333 /* Save a pointer into the first line of the aux_info file which
2334 contains the filename of the directory from which the compiler
2335 was invoked when the associated source file was compiled.
2336 This information is used later to help create complete
2337 filenames out of the (potentially) relative filenames in
2338 the aux_info file. */
2341 char *p
= aux_info_base
;
2348 invocation_filename
= p
; /* Save a pointer to first byte of path. */
2353 while (*p
++ != '\n')
2355 aux_info_second_line
= p
;
2356 aux_info_relocated_name
= 0;
2357 if (invocation_filename
[0] != '/')
2359 /* INVOCATION_FILENAME is relative;
2360 append it to BASE_SOURCE_FILENAME's dir. */
2362 aux_info_relocated_name
= xmalloc (base_len
+ (p
-invocation_filename
));
2363 strcpy (aux_info_relocated_name
, base_source_filename
);
2364 dir_end
= strrchr (aux_info_relocated_name
, '/');
2368 dir_end
= aux_info_relocated_name
;
2369 strcpy (dir_end
, invocation_filename
);
2370 invocation_filename
= aux_info_relocated_name
;
2376 const char *aux_info_p
;
2378 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2379 of the source files referenced in there are at least as old as this
2380 aux_info file itself. If not, go back and regenerate the aux_info
2381 file anew. Don't do any of this for the syscalls file. */
2385 current_aux_info_lineno
= 2;
2387 for (aux_info_p
= aux_info_second_line
; *aux_info_p
; )
2389 if (referenced_file_is_newer (aux_info_p
, aux_info_mtime
))
2391 free (aux_info_base
);
2392 xfree (aux_info_relocated_name
);
2393 if (keep_it
&& my_unlink (aux_info_filename
) == -1)
2395 int errno_val
= errno
;
2396 fprintf (stderr
, "%s: can't delete file `%s': %s\n",
2397 pname
, shortpath (NULL
, aux_info_filename
),
2398 my_strerror (errno_val
));
2405 /* Skip over the rest of this line to start of next line. */
2407 while (*aux_info_p
!= '\n')
2410 current_aux_info_lineno
++;
2414 /* Now do the real pass on the aux_info lines. Save their information in
2415 the in-core data base. */
2417 current_aux_info_lineno
= 2;
2419 for (aux_info_p
= aux_info_second_line
; *aux_info_p
;)
2421 char *unexpanded_line
= unexpand_if_needed (aux_info_p
);
2423 if (unexpanded_line
)
2425 save_def_or_dec (unexpanded_line
, is_syscalls
);
2426 free (unexpanded_line
);
2429 save_def_or_dec (aux_info_p
, is_syscalls
);
2431 /* Skip over the rest of this line and get to start of next line. */
2433 while (*aux_info_p
!= '\n')
2436 current_aux_info_lineno
++;
2440 free (aux_info_base
);
2441 xfree (aux_info_relocated_name
);
2446 /* Check an individual filename for a .c suffix. If the filename has this
2447 suffix, rename the file such that its suffix is changed to .C. This
2448 function implements the -C option. */
2452 const hash_table_entry
*hp
;
2454 const char *filename
= hp
->symbol
;
2455 int last_char_index
= strlen (filename
) - 1;
2456 char *const new_filename
= (char *) alloca (strlen (filename
) + 1);
2458 /* Note that we don't care here if the given file was converted or not. It
2459 is possible that the given file was *not* converted, simply because there
2460 was nothing in it which actually required conversion. Even in this case,
2461 we want to do the renaming. Note that we only rename files with the .c
2464 if (filename
[last_char_index
] != 'c' || filename
[last_char_index
-1] != '.')
2467 strcpy (new_filename
, filename
);
2468 new_filename
[last_char_index
] = 'C';
2470 if (my_link (filename
, new_filename
) == -1)
2472 int errno_val
= errno
;
2473 fprintf (stderr
, "%s: warning: can't link file `%s' to `%s': %s\n",
2474 pname
, shortpath (NULL
, filename
),
2475 shortpath (NULL
, new_filename
), my_strerror (errno_val
));
2480 if (my_unlink (filename
) == -1)
2482 int errno_val
= errno
;
2483 fprintf (stderr
, "%s: warning: can't delete file `%s': %s\n",
2484 pname
, shortpath (NULL
, filename
), my_strerror (errno_val
));
2490 #endif /* !defined (UNPROTOIZE) */
2492 /* Take the list of definitions and declarations attached to a particular
2493 file_info node and reverse the order of the list. This should get the
2494 list into an order such that the item with the lowest associated line
2495 number is nearest the head of the list. When these lists are originally
2496 built, they are in the opposite order. We want to traverse them in
2497 normal line number order later (i.e. lowest to highest) so reverse the
2501 reverse_def_dec_list (hp
)
2502 const hash_table_entry
*hp
;
2504 file_info
*file_p
= hp
->fip
;
2505 def_dec_info
*prev
= NULL
;
2506 def_dec_info
*current
= (def_dec_info
*)file_p
->defs_decs
;
2509 return; /* no list to reverse */
2512 if (! (current
= (def_dec_info
*)current
->next_in_file
))
2513 return; /* can't reverse a single list element */
2515 prev
->next_in_file
= NULL
;
2519 def_dec_info
*next
= (def_dec_info
*)current
->next_in_file
;
2521 current
->next_in_file
= prev
;
2526 file_p
->defs_decs
= prev
;
2531 /* Find the (only?) extern definition for a particular function name, starting
2532 from the head of the linked list of entries for the given name. If we
2533 cannot find an extern definition for the given function name, issue a
2534 warning and scrounge around for the next best thing, i.e. an extern
2535 function declaration with a prototype attached to it. Note that we only
2536 allow such substitutions for extern declarations and never for static
2537 declarations. That's because the only reason we allow them at all is
2538 to let un-prototyped function declarations for system-supplied library
2539 functions get their prototypes from our own extra SYSCALLS.c.X file which
2540 contains all of the correct prototypes for system functions. */
2542 static const def_dec_info
*
2543 find_extern_def (head
, user
)
2544 const def_dec_info
*head
;
2545 const def_dec_info
*user
;
2547 const def_dec_info
*dd_p
;
2548 const def_dec_info
*extern_def_p
= NULL
;
2549 int conflict_noted
= 0;
2551 /* Don't act too stupid here. Somebody may try to convert an entire system
2552 in one swell fwoop (rather than one program at a time, as should be done)
2553 and in that case, we may find that there are multiple extern definitions
2554 of a given function name in the entire set of source files that we are
2555 converting. If however one of these definitions resides in exactly the
2556 same source file as the reference we are trying to satisfy then in that
2557 case it would be stupid for us to fail to realize that this one definition
2558 *must* be the precise one we are looking for.
2560 To make sure that we don't miss an opportunity to make this "same file"
2561 leap of faith, we do a prescan of the list of records relating to the
2562 given function name, and we look (on this first scan) *only* for a
2563 definition of the function which is in the same file as the reference
2564 we are currently trying to satisfy. */
2566 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2567 if (dd_p
->is_func_def
&& !dd_p
->is_static
&& dd_p
->file
== user
->file
)
2570 /* Now, since we have not found a definition in the same file as the
2571 reference, we scan the list again and consider all possibilities from
2572 all files. Here we may get conflicts with the things listed in the
2573 SYSCALLS.c.X file, but if that happens it only means that the source
2574 code being converted contains its own definition of a function which
2575 could have been supplied by libc.a. In such cases, we should avoid
2576 issuing the normal warning, and defer to the definition given in the
2579 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2580 if (dd_p
->is_func_def
&& !dd_p
->is_static
)
2582 if (!extern_def_p
) /* Previous definition? */
2583 extern_def_p
= dd_p
; /* Remember the first definition found. */
2586 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2588 if (is_syscalls_file (dd_p
->file
))
2591 /* Quietly replace the definition previously found with the one
2592 just found if the previous one was from SYSCALLS.c.X. */
2594 if (is_syscalls_file (extern_def_p
->file
))
2596 extern_def_p
= dd_p
;
2600 /* If we get here, then there is a conflict between two function
2601 declarations for the same function, both of which came from the
2604 if (!conflict_noted
) /* first time we noticed? */
2607 fprintf (stderr
, "%s: conflicting extern definitions of '%s'\n",
2608 pname
, head
->hash_entry
->symbol
);
2611 fprintf (stderr
, "%s: declarations of '%s' will not be converted\n",
2612 pname
, head
->hash_entry
->symbol
);
2613 fprintf (stderr
, "%s: conflict list for '%s' follows:\n",
2614 pname
, head
->hash_entry
->symbol
);
2615 fprintf (stderr
, "%s: %s(%d): %s\n",
2617 shortpath (NULL
, extern_def_p
->file
->hash_entry
->symbol
),
2618 extern_def_p
->line
, extern_def_p
->ansi_decl
);
2622 fprintf (stderr
, "%s: %s(%d): %s\n",
2624 shortpath (NULL
, dd_p
->file
->hash_entry
->symbol
),
2625 dd_p
->line
, dd_p
->ansi_decl
);
2629 /* We want to err on the side of caution, so if we found multiple conflicting
2630 definitions for the same function, treat this as being that same as if we
2631 had found no definitions (i.e. return NULL). */
2638 /* We have no definitions for this function so do the next best thing.
2639 Search for an extern declaration already in prototype form. */
2641 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2642 if (!dd_p
->is_func_def
&& !dd_p
->is_static
&& dd_p
->prototyped
)
2644 extern_def_p
= dd_p
; /* save a pointer to the definition */
2646 fprintf (stderr
, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2648 shortpath (NULL
, dd_p
->file
->hash_entry
->symbol
),
2649 dd_p
->line
, dd_p
->hash_entry
->symbol
);
2653 /* Gripe about unprototyped function declarations that we found no
2654 corresponding definition (or other source of prototype information)
2657 Gripe even if the unprototyped declaration we are worried about
2658 exists in a file in one of the "system" include directories. We
2659 can gripe about these because we should have at least found a
2660 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2661 didn't, then that means that the SYSCALLS.c.X file is missing some
2662 needed prototypes for this particular system. That is worth telling
2667 const char *file
= user
->file
->hash_entry
->symbol
;
2670 if (in_system_include_dir (file
))
2672 /* Why copy this string into `needed' at all?
2673 Why not just use user->ansi_decl without copying? */
2674 char *needed
= (char *) alloca (strlen (user
->ansi_decl
) + 1);
2677 strcpy (needed
, user
->ansi_decl
);
2678 p
= (NONCONST
char *) substr (needed
, user
->hash_entry
->symbol
)
2679 + strlen (user
->hash_entry
->symbol
) + 2;
2680 /* Avoid having ??? in the string. */
2686 fprintf (stderr
, "%s: %d: `%s' used but missing from SYSCALLS\n",
2687 shortpath (NULL
, file
), user
->line
,
2688 needed
+7); /* Don't print "extern " */
2692 fprintf (stderr
, "%s: %d: warning: no extern definition for `%s'\n",
2693 shortpath (NULL
, file
), user
->line
,
2694 user
->hash_entry
->symbol
);
2698 return extern_def_p
;
2701 /* Find the (only?) static definition for a particular function name in a
2702 given file. Here we get the function-name and the file info indirectly
2703 from the def_dec_info record pointer which is passed in. */
2705 static const def_dec_info
*
2706 find_static_definition (user
)
2707 const def_dec_info
*user
;
2709 const def_dec_info
*head
= user
->hash_entry
->ddip
;
2710 const def_dec_info
*dd_p
;
2711 int num_static_defs
= 0;
2712 const def_dec_info
*static_def_p
= NULL
;
2714 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2715 if (dd_p
->is_func_def
&& dd_p
->is_static
&& (dd_p
->file
== user
->file
))
2717 static_def_p
= dd_p
; /* save a pointer to the definition */
2720 if (num_static_defs
== 0)
2723 fprintf (stderr
, "%s: warning: no static definition for `%s' in file `%s'\n",
2724 pname
, head
->hash_entry
->symbol
,
2725 shortpath (NULL
, user
->file
->hash_entry
->symbol
));
2727 else if (num_static_defs
> 1)
2729 fprintf (stderr
, "%s: multiple static defs of `%s' in file `%s'\n",
2730 pname
, head
->hash_entry
->symbol
,
2731 shortpath (NULL
, user
->file
->hash_entry
->symbol
));
2734 return static_def_p
;
2737 /* Find good prototype style formal argument lists for all of the function
2738 declarations which didn't have them before now.
2740 To do this we consider each function name one at a time. For each function
2741 name, we look at the items on the linked list of def_dec_info records for
2742 that particular name.
2744 Somewhere on this list we should find one (and only one) def_dec_info
2745 record which represents the actual function definition, and this record
2746 should have a nice formal argument list already associated with it.
2748 Thus, all we have to do is to connect up all of the other def_dec_info
2749 records for this particular function name to the special one which has
2750 the full-blown formals list.
2752 Of course it is a little more complicated than just that. See below for
2756 connect_defs_and_decs (hp
)
2757 const hash_table_entry
*hp
;
2759 const def_dec_info
*dd_p
;
2760 const def_dec_info
*extern_def_p
= NULL
;
2761 int first_extern_reference
= 1;
2763 /* Traverse the list of definitions and declarations for this particular
2764 function name. For each item on the list, if it is a function
2765 definition (either old style or new style) then GCC has already been
2766 kind enough to produce a prototype for us, and it is associated with
2767 the item already, so declare the item as its own associated "definition".
2769 Also, for each item which is only a function declaration, but which
2770 nonetheless has its own prototype already (obviously supplied by the user)
2771 declare the item as its own definition.
2773 Note that when/if there are multiple user-supplied prototypes already
2774 present for multiple declarations of any given function, these multiple
2775 prototypes *should* all match exactly with one another and with the
2776 prototype for the actual function definition. We don't check for this
2777 here however, since we assume that the compiler must have already done
2778 this consistency checking when it was creating the .X files. */
2780 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2781 if (dd_p
->prototyped
)
2782 ((NONCONST def_dec_info
*) dd_p
)->definition
= dd_p
;
2784 /* Traverse the list of definitions and declarations for this particular
2785 function name. For each item on the list, if it is an extern function
2786 declaration and if it has no associated definition yet, go try to find
2787 the matching extern definition for the declaration.
2789 When looking for the matching function definition, warn the user if we
2792 If we find more that one function definition also issue a warning.
2794 Do the search for the matching definition only once per unique function
2795 name (and only when absolutely needed) so that we can avoid putting out
2796 redundant warning messages, and so that we will only put out warning
2797 messages when there is actually a reference (i.e. a declaration) for
2798 which we need to find a matching definition. */
2800 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2801 if (!dd_p
->is_func_def
&& !dd_p
->is_static
&& !dd_p
->definition
)
2803 if (first_extern_reference
)
2805 extern_def_p
= find_extern_def (hp
->ddip
, dd_p
);
2806 first_extern_reference
= 0;
2808 ((NONCONST def_dec_info
*) dd_p
)->definition
= extern_def_p
;
2811 /* Traverse the list of definitions and declarations for this particular
2812 function name. For each item on the list, if it is a static function
2813 declaration and if it has no associated definition yet, go try to find
2814 the matching static definition for the declaration within the same file.
2816 When looking for the matching function definition, warn the user if we
2817 fail to find one in the same file with the declaration, and refuse to
2818 convert this kind of cross-file static function declaration. After all,
2819 this is stupid practice and should be discouraged.
2821 We don't have to worry about the possibility that there is more than one
2822 matching function definition in the given file because that would have
2823 been flagged as an error by the compiler.
2825 Do the search for the matching definition only once per unique
2826 function-name/source-file pair (and only when absolutely needed) so that
2827 we can avoid putting out redundant warning messages, and so that we will
2828 only put out warning messages when there is actually a reference (i.e. a
2829 declaration) for which we actually need to find a matching definition. */
2831 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2832 if (!dd_p
->is_func_def
&& dd_p
->is_static
&& !dd_p
->definition
)
2834 const def_dec_info
*dd_p2
;
2835 const def_dec_info
*static_def
;
2837 /* We have now found a single static declaration for which we need to
2838 find a matching definition. We want to minimize the work (and the
2839 number of warnings), so we will find an appropriate (matching)
2840 static definition for this declaration, and then distribute it
2841 (as the definition for) any and all other static declarations
2842 for this function name which occur within the same file, and which
2843 do not already have definitions.
2845 Note that a trick is used here to prevent subsequent attempts to
2846 call find_static_definition for a given function-name & file
2847 if the first such call returns NULL. Essentially, we convert
2848 these NULL return values to -1, and put the -1 into the definition
2849 field for each other static declaration from the same file which
2850 does not already have an associated definition.
2851 This makes these other static declarations look like they are
2852 actually defined already when the outer loop here revisits them
2853 later on. Thus, the outer loop will skip over them. Later, we
2854 turn the -1's back to NULL's. */
2856 ((NONCONST def_dec_info
*) dd_p
)->definition
=
2857 (static_def
= find_static_definition (dd_p
))
2859 : (const def_dec_info
*) -1;
2861 for (dd_p2
= dd_p
->next_for_func
; dd_p2
; dd_p2
= dd_p2
->next_for_func
)
2862 if (!dd_p2
->is_func_def
&& dd_p2
->is_static
2863 && !dd_p2
->definition
&& (dd_p2
->file
== dd_p
->file
))
2864 ((NONCONST def_dec_info
*)dd_p2
)->definition
= dd_p
->definition
;
2867 /* Convert any dummy (-1) definitions we created in the step above back to
2868 NULL's (as they should be). */
2870 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2871 if (dd_p
->definition
== (def_dec_info
*) -1)
2872 ((NONCONST def_dec_info
*) dd_p
)->definition
= NULL
;
2875 #endif /* !defined (UNPROTOIZE) */
2877 /* Give a pointer into the clean text buffer, return a number which is the
2878 original source line number that the given pointer points into. */
2881 identify_lineno (clean_p
)
2882 const char *clean_p
;
2887 for (scan_p
= clean_text_base
; scan_p
<= clean_p
; scan_p
++)
2888 if (*scan_p
== '\n')
2893 /* Issue an error message and give up on doing this particular edit. */
2896 declare_source_confusing (clean_p
)
2897 const char *clean_p
;
2902 fprintf (stderr
, "%s: %d: warning: source too confusing\n",
2903 shortpath (NULL
, convert_filename
), last_known_line_number
);
2905 fprintf (stderr
, "%s: %d: warning: source too confusing\n",
2906 shortpath (NULL
, convert_filename
),
2907 identify_lineno (clean_p
));
2909 longjmp (source_confusion_recovery
, 1);
2912 /* Check that a condition which is expected to be true in the original source
2913 code is in fact true. If not, issue an error message and give up on
2914 converting this particular source file. */
2917 check_source (cond
, clean_p
)
2919 const char *clean_p
;
2922 declare_source_confusing (clean_p
);
2925 /* If we think of the in-core cleaned text buffer as a memory mapped
2926 file (with the variable last_known_line_start acting as sort of a
2927 file pointer) then we can imagine doing "seeks" on the buffer. The
2928 following routine implements a kind of "seek" operation for the in-core
2929 (cleaned) copy of the source file. When finished, it returns a pointer to
2930 the start of a given (numbered) line in the cleaned text buffer.
2932 Note that protoize only has to "seek" in the forward direction on the
2933 in-core cleaned text file buffers, and it never needs to back up.
2935 This routine is made a little bit faster by remembering the line number
2936 (and pointer value) supplied (and returned) from the previous "seek".
2937 This prevents us from always having to start all over back at the top
2938 of the in-core cleaned buffer again. */
2944 if (n
< last_known_line_number
)
2947 while (n
> last_known_line_number
)
2949 while (*last_known_line_start
!= '\n')
2950 check_source (++last_known_line_start
< clean_text_limit
, 0);
2951 last_known_line_start
++;
2952 last_known_line_number
++;
2954 return last_known_line_start
;
2957 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2958 to the next non-whitespace character which follows it. */
2961 forward_to_next_token_char (ptr
)
2964 for (++ptr
; ISSPACE ((const unsigned char)*ptr
);
2965 check_source (++ptr
< clean_text_limit
, 0))
2970 /* Copy a chunk of text of length `len' and starting at `str' to the current
2971 output buffer. Note that all attempts to add stuff to the current output
2972 buffer ultimately go through here. */
2975 output_bytes (str
, len
)
2979 if ((repl_write_ptr
+ 1) + len
>= repl_text_limit
)
2981 size_t new_size
= (repl_text_limit
- repl_text_base
) << 1;
2982 char *new_buf
= (char *) xrealloc (repl_text_base
, new_size
);
2984 repl_write_ptr
= new_buf
+ (repl_write_ptr
- repl_text_base
);
2985 repl_text_base
= new_buf
;
2986 repl_text_limit
= new_buf
+ new_size
;
2988 memcpy (repl_write_ptr
+ 1, str
, len
);
2989 repl_write_ptr
+= len
;
2992 /* Copy all bytes (except the trailing null) of a null terminated string to
2993 the current output buffer. */
2999 output_bytes (str
, strlen (str
));
3002 /* Copy some characters from the original text buffer to the current output
3005 This routine takes a pointer argument `p' which is assumed to be a pointer
3006 into the cleaned text buffer. The bytes which are copied are the `original'
3007 equivalents for the set of bytes between the last value of `clean_read_ptr'
3008 and the argument value `p'.
3010 The set of bytes copied however, comes *not* from the cleaned text buffer,
3011 but rather from the direct counterparts of these bytes within the original
3014 Thus, when this function is called, some bytes from the original text
3015 buffer (which may include original comments and preprocessing directives)
3016 will be copied into the output buffer.
3018 Note that the request implied when this routine is called includes the
3019 byte pointed to by the argument pointer `p'. */
3025 size_t copy_length
= (size_t) (p
- clean_read_ptr
);
3026 const char *copy_start
= orig_text_base
+(clean_read_ptr
-clean_text_base
)+1;
3028 if (copy_length
== 0)
3031 output_bytes (copy_start
, copy_length
);
3035 /* Given a pointer to a def_dec_info record which represents some form of
3036 definition of a function (perhaps a real definition, or in lieu of that
3037 perhaps just a declaration with a full prototype) return true if this
3038 function is one which we should avoid converting. Return false
3042 other_variable_style_function (ansi_header
)
3043 const char *ansi_header
;
3047 /* See if we have a stdarg function, or a function which has stdarg style
3048 parameters or a stdarg style return type. */
3050 return substr (ansi_header
, "...") != 0;
3052 #else /* !defined (UNPROTOIZE) */
3054 /* See if we have a varargs function, or a function which has varargs style
3055 parameters or a varargs style return type. */
3058 int len
= strlen (varargs_style_indicator
);
3060 for (p
= ansi_header
; p
; )
3062 const char *candidate
;
3064 if ((candidate
= substr (p
, varargs_style_indicator
)) == 0)
3067 if (!is_id_char (candidate
[-1]) && !is_id_char (candidate
[len
]))
3073 #endif /* !defined (UNPROTOIZE) */
3076 /* Do the editing operation specifically for a function "declaration". Note
3077 that editing for function "definitions" are handled in a separate routine
3081 edit_fn_declaration (def_dec_p
, clean_text_p
)
3082 const def_dec_info
*def_dec_p
;
3083 const char *volatile clean_text_p
;
3085 const char *start_formals
;
3086 const char *end_formals
;
3087 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3088 size_t func_name_len
= strlen (function_to_edit
);
3089 const char *end_of_fn_name
;
3093 const f_list_chain_item
*this_f_list_chain_item
;
3094 const def_dec_info
*definition
= def_dec_p
->definition
;
3096 /* If we are protoizing, and if we found no corresponding definition for
3097 this particular function declaration, then just leave this declaration
3098 exactly as it is. */
3103 /* If we are protoizing, and if the corresponding definition that we found
3104 for this particular function declaration defined an old style varargs
3105 function, then we want to issue a warning and just leave this function
3106 declaration unconverted. */
3108 if (other_variable_style_function (definition
->ansi_decl
))
3111 fprintf (stderr
, "%s: %d: warning: varargs function declaration not converted\n",
3112 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3117 #endif /* !defined (UNPROTOIZE) */
3119 /* Setup here to recover from confusing source code detected during this
3120 particular "edit". */
3123 if (setjmp (source_confusion_recovery
))
3125 restore_pointers ();
3126 fprintf (stderr
, "%s: declaration of function `%s' not converted\n",
3127 pname
, function_to_edit
);
3131 /* We are editing a function declaration. The line number we did a seek to
3132 contains the comma or semicolon which follows the declaration. Our job
3133 now is to scan backwards looking for the function name. This name *must*
3134 be followed by open paren (ignoring whitespace, of course). We need to
3135 replace everything between that open paren and the corresponding closing
3136 paren. If we are protoizing, we need to insert the prototype-style
3137 formals lists. If we are unprotoizing, we need to just delete everything
3138 between the pairs of opening and closing parens. */
3140 /* First move up to the end of the line. */
3142 while (*clean_text_p
!= '\n')
3143 check_source (++clean_text_p
< clean_text_limit
, 0);
3144 clean_text_p
--; /* Point to just before the newline character. */
3146 /* Now we can scan backwards for the function name. */
3152 /* Scan leftwards until we find some character which can be
3153 part of an identifier. */
3155 while (!is_id_char (*clean_text_p
))
3156 check_source (--clean_text_p
> clean_read_ptr
, 0);
3158 /* Scan backwards until we find a char that cannot be part of an
3161 while (is_id_char (*clean_text_p
))
3162 check_source (--clean_text_p
> clean_read_ptr
, 0);
3164 /* Having found an "id break", see if the following id is the one
3165 that we are looking for. If so, then exit from this loop. */
3167 if (!strncmp (clean_text_p
+1, function_to_edit
, func_name_len
))
3169 char ch
= *(clean_text_p
+ 1 + func_name_len
);
3171 /* Must also check to see that the name in the source text
3172 ends where it should (in order to prevent bogus matches
3173 on similar but longer identifiers. */
3175 if (! is_id_char (ch
))
3176 break; /* exit from loop */
3180 /* We have now found the first perfect match for the function name in
3181 our backward search. This may or may not be the actual function
3182 name at the start of the actual function declaration (i.e. we could
3183 have easily been mislead). We will try to avoid getting fooled too
3184 often by looking forward for the open paren which should follow the
3185 identifier we just found. We ignore whitespace while hunting. If
3186 the next non-whitespace byte we see is *not* an open left paren,
3187 then we must assume that we have been fooled and we start over
3188 again accordingly. Note that there is no guarantee, that even if
3189 we do see the open paren, that we are in the right place.
3190 Programmers do the strangest things sometimes! */
3192 end_of_fn_name
= clean_text_p
+ strlen (def_dec_p
->hash_entry
->symbol
);
3193 start_formals
= forward_to_next_token_char (end_of_fn_name
);
3195 while (*start_formals
!= '(');
3197 /* start_of_formals now points to the opening left paren which immediately
3198 follows the name of the function. */
3200 /* Note that there may be several formals lists which need to be modified
3201 due to the possibility that the return type of this function is a
3202 pointer-to-function type. If there are several formals lists, we
3203 convert them in left-to-right order here. */
3206 this_f_list_chain_item
= definition
->f_list_chain
;
3207 #endif /* !defined (UNPROTOIZE) */
3214 end_formals
= start_formals
+ 1;
3216 for (; depth
; check_source (++end_formals
< clean_text_limit
, 0))
3218 switch (*end_formals
)
3231 /* end_formals now points to the closing right paren of the formals
3232 list whose left paren is pointed to by start_formals. */
3234 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3235 attached to the associated definition of this function. If however
3236 we are unprotoizing, then we simply delete any formals list which
3239 output_up_to (start_formals
);
3241 if (this_f_list_chain_item
)
3243 output_string (this_f_list_chain_item
->formals_list
);
3244 this_f_list_chain_item
= this_f_list_chain_item
->chain_next
;
3249 fprintf (stderr
, "%s: warning: too many parameter lists in declaration of `%s'\n",
3250 pname
, def_dec_p
->hash_entry
->symbol
);
3251 check_source (0, end_formals
); /* leave the declaration intact */
3253 #endif /* !defined (UNPROTOIZE) */
3254 clean_read_ptr
= end_formals
- 1;
3256 /* Now see if it looks like there may be another formals list associated
3257 with the function declaration that we are converting (following the
3258 formals list that we just converted. */
3261 const char *another_r_paren
= forward_to_next_token_char (end_formals
);
3263 if ((*another_r_paren
!= ')')
3264 || (*(start_formals
= forward_to_next_token_char (another_r_paren
)) != '('))
3267 if (this_f_list_chain_item
)
3270 fprintf (stderr
, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3271 pname
, def_dec_p
->hash_entry
->symbol
);
3272 check_source (0, start_formals
); /* leave the decl intact */
3274 #endif /* !defined (UNPROTOIZE) */
3280 /* There does appear to be yet another formals list, so loop around
3281 again, and convert it also. */
3285 /* Edit a whole group of formals lists, starting with the rightmost one
3286 from some set of formals lists. This routine is called once (from the
3287 outside) for each function declaration which is converted. It is
3288 recursive however, and it calls itself once for each remaining formal
3289 list that lies to the left of the one it was originally called to work
3290 on. Thus, a whole set gets done in right-to-left order.
3292 This routine returns non-zero if it thinks that it should not be trying
3293 to convert this particular function definition (because the name of the
3294 function doesn't match the one expected). */
3297 edit_formals_lists (end_formals
, f_list_count
, def_dec_p
)
3298 const char *end_formals
;
3299 unsigned int f_list_count
;
3300 const def_dec_info
*def_dec_p
;
3302 const char *start_formals
;
3305 start_formals
= end_formals
- 1;
3307 for (; depth
; check_source (--start_formals
> clean_read_ptr
, 0))
3309 switch (*start_formals
)
3321 /* start_formals now points to the opening left paren of the formals list. */
3327 const char *next_end
;
3329 /* There should be more formal lists to the left of here. */
3331 next_end
= start_formals
- 1;
3332 check_source (next_end
> clean_read_ptr
, 0);
3333 while (ISSPACE ((const unsigned char)*next_end
))
3334 check_source (--next_end
> clean_read_ptr
, 0);
3335 check_source (*next_end
== ')', next_end
);
3336 check_source (--next_end
> clean_read_ptr
, 0);
3337 check_source (*next_end
== ')', next_end
);
3338 if (edit_formals_lists (next_end
, f_list_count
, def_dec_p
))
3342 /* Check that the function name in the header we are working on is the same
3343 as the one we would expect to find. If not, issue a warning and return
3346 if (f_list_count
== 0)
3348 const char *expected
= def_dec_p
->hash_entry
->symbol
;
3349 const char *func_name_start
;
3350 const char *func_name_limit
;
3351 size_t func_name_len
;
3353 for (func_name_limit
= start_formals
-1;
3354 ISSPACE ((const unsigned char)*func_name_limit
); )
3355 check_source (--func_name_limit
> clean_read_ptr
, 0);
3357 for (func_name_start
= func_name_limit
++;
3358 is_id_char (*func_name_start
);
3360 check_source (func_name_start
> clean_read_ptr
, 0);
3362 func_name_len
= func_name_limit
- func_name_start
;
3363 if (func_name_len
== 0)
3364 check_source (0, func_name_start
);
3365 if (func_name_len
!= strlen (expected
)
3366 || strncmp (func_name_start
, expected
, func_name_len
))
3368 fprintf (stderr
, "%s: %d: warning: found `%s' but expected `%s'\n",
3369 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3370 identify_lineno (func_name_start
),
3371 dupnstr (func_name_start
, func_name_len
),
3377 output_up_to (start_formals
);
3380 if (f_list_count
== 0)
3381 output_string (def_dec_p
->formal_names
);
3382 #else /* !defined (UNPROTOIZE) */
3384 unsigned f_list_depth
;
3385 const f_list_chain_item
*flci_p
= def_dec_p
->f_list_chain
;
3387 /* At this point, the current value of f_list count says how many
3388 links we have to follow through the f_list_chain to get to the
3389 particular formals list that we need to output next. */
3391 for (f_list_depth
= 0; f_list_depth
< f_list_count
; f_list_depth
++)
3392 flci_p
= flci_p
->chain_next
;
3393 output_string (flci_p
->formals_list
);
3395 #endif /* !defined (UNPROTOIZE) */
3397 clean_read_ptr
= end_formals
- 1;
3401 /* Given a pointer to a byte in the clean text buffer which points to
3402 the beginning of a line that contains a "follower" token for a
3403 function definition header, do whatever is necessary to find the
3404 right closing paren for the rightmost formals list of the function
3405 definition header. */
3408 find_rightmost_formals_list (clean_text_p
)
3409 const char *clean_text_p
;
3411 const char *end_formals
;
3413 /* We are editing a function definition. The line number we did a seek
3414 to contains the first token which immediately follows the entire set of
3415 formals lists which are part of this particular function definition
3418 Our job now is to scan leftwards in the clean text looking for the
3419 right-paren which is at the end of the function header's rightmost
3422 If we ignore whitespace, this right paren should be the first one we
3423 see which is (ignoring whitespace) immediately followed either by the
3424 open curly-brace beginning the function body or by an alphabetic
3425 character (in the case where the function definition is in old (K&R)
3426 style and there are some declarations of formal parameters). */
3428 /* It is possible that the right paren we are looking for is on the
3429 current line (together with its following token). Just in case that
3430 might be true, we start out here by skipping down to the right end of
3431 the current line before starting our scan. */
3433 for (end_formals
= clean_text_p
; *end_formals
!= '\n'; end_formals
++)
3439 /* Now scan backwards while looking for the right end of the rightmost
3440 formals list associated with this function definition. */
3444 const char *l_brace_p
;
3446 /* Look leftward and try to find a right-paren. */
3448 while (*end_formals
!= ')')
3450 if (ISSPACE ((unsigned char)*end_formals
))
3451 while (ISSPACE ((unsigned char)*end_formals
))
3452 check_source (--end_formals
> clean_read_ptr
, 0);
3454 check_source (--end_formals
> clean_read_ptr
, 0);
3457 ch
= *(l_brace_p
= forward_to_next_token_char (end_formals
));
3458 /* Since we are unprotoizing an ANSI-style (prototyped) function
3459 definition, there had better not be anything (except whitespace)
3460 between the end of the ANSI formals list and the beginning of the
3461 function body (i.e. the '{'). */
3463 check_source (ch
== '{', l_brace_p
);
3466 #else /* !defined (UNPROTOIZE) */
3468 /* Now scan backwards while looking for the right end of the rightmost
3469 formals list associated with this function definition. */
3474 const char *l_brace_p
;
3476 /* Look leftward and try to find a right-paren. */
3478 while (*end_formals
!= ')')
3480 if (ISSPACE ((const unsigned char)*end_formals
))
3481 while (ISSPACE ((const unsigned char)*end_formals
))
3482 check_source (--end_formals
> clean_read_ptr
, 0);
3484 check_source (--end_formals
> clean_read_ptr
, 0);
3487 ch
= *(l_brace_p
= forward_to_next_token_char (end_formals
));
3489 /* Since it is possible that we found a right paren before the starting
3490 '{' of the body which IS NOT the one at the end of the real K&R
3491 formals list (say for instance, we found one embedded inside one of
3492 the old K&R formal parameter declarations) we have to check to be
3493 sure that this is in fact the right paren that we were looking for.
3495 The one we were looking for *must* be followed by either a '{' or
3496 by an alphabetic character, while others *cannot* validly be followed
3497 by such characters. */
3499 if ((ch
== '{') || ISALPHA ((unsigned char)ch
))
3502 /* At this point, we have found a right paren, but we know that it is
3503 not the one we were looking for, so backup one character and keep
3506 check_source (--end_formals
> clean_read_ptr
, 0);
3509 #endif /* !defined (UNPROTOIZE) */
3516 /* Insert into the output file a totally new declaration for a function
3517 which (up until now) was being called from within the current block
3518 without having been declared at any point such that the declaration
3519 was visible (i.e. in scope) at the point of the call.
3521 We need to add in explicit declarations for all such function calls
3522 in order to get the full benefit of prototype-based function call
3523 parameter type checking. */
3526 add_local_decl (def_dec_p
, clean_text_p
)
3527 const def_dec_info
*def_dec_p
;
3528 const char *clean_text_p
;
3530 const char *start_of_block
;
3531 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3533 /* Don't insert new local explicit declarations unless explicitly requested
3539 /* Setup here to recover from confusing source code detected during this
3540 particular "edit". */
3543 if (setjmp (source_confusion_recovery
))
3545 restore_pointers ();
3546 fprintf (stderr
, "%s: local declaration for function `%s' not inserted\n",
3547 pname
, function_to_edit
);
3551 /* We have already done a seek to the start of the line which should
3552 contain *the* open curly brace which begins the block in which we need
3553 to insert an explicit function declaration (to replace the implicit one).
3555 Now we scan that line, starting from the left, until we find the
3556 open curly brace we are looking for. Note that there may actually be
3557 multiple open curly braces on the given line, but we will be happy
3558 with the leftmost one no matter what. */
3560 start_of_block
= clean_text_p
;
3561 while (*start_of_block
!= '{' && *start_of_block
!= '\n')
3562 check_source (++start_of_block
< clean_text_limit
, 0);
3564 /* Note that the line from the original source could possibly
3565 contain *no* open curly braces! This happens if the line contains
3566 a macro call which expands into a chunk of text which includes a
3567 block (and that block's associated open and close curly braces).
3568 In cases like this, we give up, issue a warning, and do nothing. */
3570 if (*start_of_block
!= '{')
3574 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3575 def_dec_p
->file
->hash_entry
->symbol
, def_dec_p
->line
,
3576 def_dec_p
->hash_entry
->symbol
);
3580 /* Figure out what a nice (pretty) indentation would be for the new
3581 declaration we are adding. In order to do this, we must scan forward
3582 from the '{' until we find the first line which starts with some
3583 non-whitespace characters (i.e. real "token" material). */
3586 const char *ep
= forward_to_next_token_char (start_of_block
) - 1;
3589 /* Now we have ep pointing at the rightmost byte of some existing indent
3590 stuff. At least that is the hope.
3592 We can now just scan backwards and find the left end of the existing
3593 indentation string, and then copy it to the output buffer. */
3595 for (sp
= ep
; ISSPACE ((const unsigned char)*sp
) && *sp
!= '\n'; sp
--)
3598 /* Now write out the open { which began this block, and any following
3599 trash up to and including the last byte of the existing indent that
3604 /* Now we go ahead and insert the new declaration at this point.
3606 If the definition of the given function is in the same file that we
3607 are currently editing, and if its full ANSI declaration normally
3608 would start with the keyword `extern', suppress the `extern'. */
3611 const char *decl
= def_dec_p
->definition
->ansi_decl
;
3613 if ((*decl
== 'e') && (def_dec_p
->file
== def_dec_p
->definition
->file
))
3615 output_string (decl
);
3618 /* Finally, write out a new indent string, just like the preceding one
3619 that we found. This will typically include a newline as the first
3620 character of the indent string. */
3622 output_bytes (sp
, (size_t) (ep
- sp
) + 1);
3626 /* Given a pointer to a file_info record, and a pointer to the beginning
3627 of a line (in the clean text buffer) which is assumed to contain the
3628 first "follower" token for the first function definition header in the
3629 given file, find a good place to insert some new global function
3630 declarations (which will replace scattered and imprecise implicit ones)
3631 and then insert the new explicit declaration at that point in the file. */
3634 add_global_decls (file_p
, clean_text_p
)
3635 const file_info
*file_p
;
3636 const char *clean_text_p
;
3638 const def_dec_info
*dd_p
;
3641 /* Setup here to recover from confusing source code detected during this
3642 particular "edit". */
3645 if (setjmp (source_confusion_recovery
))
3647 restore_pointers ();
3648 fprintf (stderr
, "%s: global declarations for file `%s' not inserted\n",
3649 pname
, shortpath (NULL
, file_p
->hash_entry
->symbol
));
3653 /* Start by finding a good location for adding the new explicit function
3654 declarations. To do this, we scan backwards, ignoring whitespace
3655 and comments and other junk until we find either a semicolon, or until
3656 we hit the beginning of the file. */
3658 scan_p
= find_rightmost_formals_list (clean_text_p
);
3661 if (scan_p
< clean_text_base
)
3663 check_source (scan_p
> clean_read_ptr
, 0);
3668 /* scan_p now points either to a semicolon, or to just before the start
3669 of the whole file. */
3671 /* Now scan forward for the first non-whitespace character. In theory,
3672 this should be the first character of the following function definition
3673 header. We will put in the added declarations just prior to that. */
3676 while (ISSPACE ((const unsigned char)*scan_p
))
3680 output_up_to (scan_p
);
3682 /* Now write out full prototypes for all of the things that had been
3683 implicitly declared in this file (but only those for which we were
3684 actually able to find unique matching definitions). Avoid duplicates
3685 by marking things that we write out as we go. */
3688 int some_decls_added
= 0;
3690 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
3691 if (dd_p
->is_implicit
&& dd_p
->definition
&& !dd_p
->definition
->written
)
3693 const char *decl
= dd_p
->definition
->ansi_decl
;
3695 /* If the function for which we are inserting a declaration is
3696 actually defined later in the same file, then suppress the
3697 leading `extern' keyword (if there is one). */
3699 if (*decl
== 'e' && (dd_p
->file
== dd_p
->definition
->file
))
3702 output_string ("\n");
3703 output_string (decl
);
3704 some_decls_added
= 1;
3705 ((NONCONST def_dec_info
*) dd_p
->definition
)->written
= 1;
3707 if (some_decls_added
)
3708 output_string ("\n\n");
3711 /* Unmark all of the definitions that we just marked. */
3713 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
3714 if (dd_p
->definition
)
3715 ((NONCONST def_dec_info
*) dd_p
->definition
)->written
= 0;
3718 #endif /* !defined (UNPROTOIZE) */
3720 /* Do the editing operation specifically for a function "definition". Note
3721 that editing operations for function "declarations" are handled by a
3722 separate routine above. */
3725 edit_fn_definition (def_dec_p
, clean_text_p
)
3726 const def_dec_info
*def_dec_p
;
3727 const char *clean_text_p
;
3729 const char *end_formals
;
3730 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3732 /* Setup here to recover from confusing source code detected during this
3733 particular "edit". */
3736 if (setjmp (source_confusion_recovery
))
3738 restore_pointers ();
3739 fprintf (stderr
, "%s: definition of function `%s' not converted\n",
3740 pname
, function_to_edit
);
3744 end_formals
= find_rightmost_formals_list (clean_text_p
);
3746 /* end_of_formals now points to the closing right paren of the rightmost
3747 formals list which is actually part of the `header' of the function
3748 definition that we are converting. */
3750 /* If the header of this function definition looks like it declares a
3751 function with a variable number of arguments, and if the way it does
3752 that is different from that way we would like it (i.e. varargs vs.
3753 stdarg) then issue a warning and leave the header unconverted. */
3755 if (other_variable_style_function (def_dec_p
->ansi_decl
))
3758 fprintf (stderr
, "%s: %d: warning: definition of %s not converted\n",
3759 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3760 identify_lineno (end_formals
),
3762 output_up_to (end_formals
);
3766 if (edit_formals_lists (end_formals
, def_dec_p
->f_list_count
, def_dec_p
))
3768 restore_pointers ();
3769 fprintf (stderr
, "%s: definition of function `%s' not converted\n",
3770 pname
, function_to_edit
);
3774 /* Have to output the last right paren because this never gets flushed by
3775 edit_formals_list. */
3777 output_up_to (end_formals
);
3782 const char *semicolon_p
;
3783 const char *limit_p
;
3785 int had_newlines
= 0;
3787 /* Now write out the K&R style formal declarations, one per line. */
3789 decl_p
= def_dec_p
->formal_decls
;
3790 limit_p
= decl_p
+ strlen (decl_p
);
3791 for (;decl_p
< limit_p
; decl_p
= semicolon_p
+ 2)
3793 for (semicolon_p
= decl_p
; *semicolon_p
!= ';'; semicolon_p
++)
3795 output_string ("\n");
3796 output_string (indent_string
);
3797 output_bytes (decl_p
, (size_t) ((semicolon_p
+ 1) - decl_p
));
3800 /* If there are no newlines between the end of the formals list and the
3801 start of the body, we should insert one now. */
3803 for (scan_p
= end_formals
+1; *scan_p
!= '{'; )
3805 if (*scan_p
== '\n')
3810 check_source (++scan_p
< clean_text_limit
, 0);
3813 output_string ("\n");
3815 #else /* !defined (UNPROTOIZE) */
3816 /* If we are protoizing, there may be some flotsam & jetsam (like comments
3817 and preprocessing directives) after the old formals list but before
3818 the following { and we would like to preserve that stuff while effectively
3819 deleting the existing K&R formal parameter declarations. We do so here
3820 in a rather tricky way. Basically, we white out any stuff *except*
3821 the comments/pp-directives in the original text buffer, then, if there
3822 is anything in this area *other* than whitespace, we output it. */
3824 const char *end_formals_orig
;
3825 const char *start_body
;
3826 const char *start_body_orig
;
3828 const char *scan_orig
;
3829 int have_flotsam
= 0;
3830 int have_newlines
= 0;
3832 for (start_body
= end_formals
+ 1; *start_body
!= '{';)
3833 check_source (++start_body
< clean_text_limit
, 0);
3835 end_formals_orig
= orig_text_base
+ (end_formals
- clean_text_base
);
3836 start_body_orig
= orig_text_base
+ (start_body
- clean_text_base
);
3837 scan
= end_formals
+ 1;
3838 scan_orig
= end_formals_orig
+ 1;
3839 for (; scan
< start_body
; scan
++, scan_orig
++)
3841 if (*scan
== *scan_orig
)
3843 have_newlines
|= (*scan_orig
== '\n');
3844 /* Leave identical whitespace alone. */
3845 if (!ISSPACE ((const unsigned char)*scan_orig
))
3846 *((NONCONST
char *)scan_orig
) = ' '; /* identical - so whiteout */
3852 output_bytes (end_formals_orig
+ 1,
3853 (size_t) (start_body_orig
- end_formals_orig
) - 1);
3856 output_string ("\n");
3858 output_string (" ");
3859 clean_read_ptr
= start_body
- 1;
3861 #endif /* !defined (UNPROTOIZE) */
3864 /* Clean up the clean text buffer. Do this by converting comments and
3865 preprocessing directives into spaces. Also convert line continuations
3866 into whitespace. Also, whiteout string and character literals. */
3869 do_cleaning (new_clean_text_base
, new_clean_text_limit
)
3870 char *new_clean_text_base
;
3871 char *new_clean_text_limit
;
3874 int non_whitespace_since_newline
= 0;
3876 for (scan_p
= new_clean_text_base
; scan_p
< new_clean_text_limit
; scan_p
++)
3880 case '/': /* Handle comments. */
3881 if (scan_p
[1] != '*')
3883 non_whitespace_since_newline
= 1;
3887 while (scan_p
[1] != '/' || scan_p
[0] != '*')
3889 if (!ISSPACE ((const unsigned char)*scan_p
))
3891 if (++scan_p
>= new_clean_text_limit
)
3898 case '#': /* Handle pp directives. */
3899 if (non_whitespace_since_newline
)
3902 while (scan_p
[1] != '\n' || scan_p
[0] == '\\')
3904 if (!ISSPACE ((const unsigned char)*scan_p
))
3906 if (++scan_p
>= new_clean_text_limit
)
3912 case '\'': /* Handle character literals. */
3913 non_whitespace_since_newline
= 1;
3914 while (scan_p
[1] != '\'' || scan_p
[0] == '\\')
3916 if (scan_p
[0] == '\\'
3917 && !ISSPACE ((const unsigned char)scan_p
[1]))
3919 if (!ISSPACE ((const unsigned char)*scan_p
))
3921 if (++scan_p
>= new_clean_text_limit
)
3927 case '"': /* Handle string literals. */
3928 non_whitespace_since_newline
= 1;
3929 while (scan_p
[1] != '"' || scan_p
[0] == '\\')
3931 if (scan_p
[0] == '\\'
3932 && !ISSPACE ((const unsigned char)scan_p
[1]))
3934 if (!ISSPACE ((const unsigned char)*scan_p
))
3936 if (++scan_p
>= new_clean_text_limit
)
3939 if (!ISSPACE ((const unsigned char)*scan_p
))
3944 case '\\': /* Handle line continuations. */
3945 if (scan_p
[1] != '\n')
3951 non_whitespace_since_newline
= 0; /* Reset. */
3960 break; /* Whitespace characters. */
3964 non_whitespace_since_newline
= 1;
3970 /* Given a pointer to the closing right parenthesis for a particular formals
3971 list (in the clean text buffer) find the corresponding left parenthesis
3972 and return a pointer to it. */
3975 careful_find_l_paren (p
)
3981 for (paren_depth
= 1, q
= p
-1; paren_depth
; check_source (--q
>= clean_text_base
, 0))
3996 /* Scan the clean text buffer for cases of function definitions that we
3997 don't really know about because they were preprocessed out when the
3998 aux info files were created.
4000 In this version of protoize/unprotoize we just give a warning for each
4001 one found. A later version may be able to at least unprotoize such
4004 Note that we may easily find all function definitions simply by
4005 looking for places where there is a left paren which is (ignoring
4006 whitespace) immediately followed by either a left-brace or by an
4007 upper or lower case letter. Whenever we find this combination, we
4008 have also found a function definition header.
4010 Finding function *declarations* using syntactic clues is much harder.
4011 I will probably try to do this in a later version though. */
4014 scan_for_missed_items (file_p
)
4015 const file_info
*file_p
;
4017 static const char *scan_p
;
4018 const char *limit
= clean_text_limit
- 3;
4019 static const char *backup_limit
;
4021 backup_limit
= clean_text_base
- 1;
4023 for (scan_p
= clean_text_base
; scan_p
< limit
; scan_p
++)
4027 static const char *last_r_paren
;
4028 const char *ahead_p
;
4030 last_r_paren
= scan_p
;
4032 for (ahead_p
= scan_p
+ 1; ISSPACE ((const unsigned char)*ahead_p
); )
4033 check_source (++ahead_p
< limit
, limit
);
4035 scan_p
= ahead_p
- 1;
4037 if (ISALPHA ((const unsigned char)*ahead_p
) || *ahead_p
== '{')
4039 const char *last_l_paren
;
4040 const int lineno
= identify_lineno (ahead_p
);
4042 if (setjmp (source_confusion_recovery
))
4045 /* We know we have a function definition header. Now skip
4046 leftwards over all of its associated formals lists. */
4050 last_l_paren
= careful_find_l_paren (last_r_paren
);
4051 for (last_r_paren
= last_l_paren
-1;
4052 ISSPACE ((const unsigned char)*last_r_paren
); )
4053 check_source (--last_r_paren
>= backup_limit
, backup_limit
);
4055 while (*last_r_paren
== ')');
4057 if (is_id_char (*last_r_paren
))
4059 const char *id_limit
= last_r_paren
+ 1;
4060 const char *id_start
;
4062 const def_dec_info
*dd_p
;
4064 for (id_start
= id_limit
-1; is_id_char (*id_start
); )
4065 check_source (--id_start
>= backup_limit
, backup_limit
);
4067 backup_limit
= id_start
;
4068 if ((id_length
= (size_t) (id_limit
- id_start
)) == 0)
4072 char *func_name
= (char *) alloca (id_length
+ 1);
4073 static const char * const stmt_keywords
[]
4074 = { "if", "else", "do", "while", "for", "switch", "case", "return", 0 };
4075 const char * const *stmt_keyword
;
4077 strncpy (func_name
, id_start
, id_length
);
4078 func_name
[id_length
] = '\0';
4080 /* We must check here to see if we are actually looking at
4081 a statement rather than an actual function call. */
4083 for (stmt_keyword
= stmt_keywords
; *stmt_keyword
; stmt_keyword
++)
4084 if (!strcmp (func_name
, *stmt_keyword
))
4088 fprintf (stderr
, "%s: found definition of `%s' at %s(%d)\n",
4091 shortpath (NULL
, file_p
->hash_entry
->symbol
),
4092 identify_lineno (id_start
));
4094 /* We really should check for a match of the function name
4095 here also, but why bother. */
4097 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
4098 if (dd_p
->is_func_def
&& dd_p
->line
== lineno
)
4101 /* If we make it here, then we did not know about this
4102 function definition. */
4104 fprintf (stderr
, "%s: %d: warning: `%s' excluded by preprocessing\n",
4105 shortpath (NULL
, file_p
->hash_entry
->symbol
),
4106 identify_lineno (id_start
), func_name
);
4107 fprintf (stderr
, "%s: function definition not converted\n",
4117 /* Do all editing operations for a single source file (either a "base" file
4118 or an "include" file). To do this we read the file into memory, keep a
4119 virgin copy there, make another cleaned in-core copy of the original file
4120 (i.e. one in which all of the comments and preprocessing directives have
4121 been replaced with whitespace), then use these two in-core copies of the
4122 file to make a new edited in-core copy of the file. Finally, rename the
4123 original file (as a way of saving it), and then write the edited version
4124 of the file from core to a disk file of the same name as the original.
4126 Note that the trick of making a copy of the original sans comments &
4127 preprocessing directives make the editing a whole lot easier. */
4131 const hash_table_entry
*hp
;
4133 struct stat stat_buf
;
4134 const file_info
*file_p
= hp
->fip
;
4135 char *new_orig_text_base
;
4136 char *new_orig_text_limit
;
4137 char *new_clean_text_base
;
4138 char *new_clean_text_limit
;
4141 int first_definition_in_file
;
4143 /* If we are not supposed to be converting this file, or if there is
4144 nothing in there which needs converting, just skip this file. */
4146 if (!needs_to_be_converted (file_p
))
4149 convert_filename
= file_p
->hash_entry
->symbol
;
4151 /* Convert a file if it is in a directory where we want conversion
4152 and the file is not excluded. */
4154 if (!directory_specified_p (convert_filename
)
4155 || file_excluded_p (convert_filename
))
4159 /* Don't even mention "system" include files unless we are
4160 protoizing. If we are protoizing, we mention these as a
4161 gentle way of prodding the user to convert his "system"
4162 include files to prototype format. */
4163 && !in_system_include_dir (convert_filename
)
4164 #endif /* defined (UNPROTOIZE) */
4166 fprintf (stderr
, "%s: `%s' not converted\n",
4167 pname
, shortpath (NULL
, convert_filename
));
4171 /* Let the user know what we are up to. */
4174 fprintf (stderr
, "%s: would convert file `%s'\n",
4175 pname
, shortpath (NULL
, convert_filename
));
4177 fprintf (stderr
, "%s: converting file `%s'\n",
4178 pname
, shortpath (NULL
, convert_filename
));
4181 /* Find out the size (in bytes) of the original file. */
4183 /* The cast avoids an erroneous warning on AIX. */
4184 if (my_stat ((char *)convert_filename
, &stat_buf
) == -1)
4186 int errno_val
= errno
;
4187 fprintf (stderr
, "%s: can't get status for file `%s': %s\n",
4188 pname
, shortpath (NULL
, convert_filename
),
4189 my_strerror (errno_val
));
4192 orig_size
= stat_buf
.st_size
;
4194 /* Allocate a buffer to hold the original text. */
4196 orig_text_base
= new_orig_text_base
= (char *) xmalloc (orig_size
+ 2);
4197 orig_text_limit
= new_orig_text_limit
= new_orig_text_base
+ orig_size
;
4199 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4201 clean_text_base
= new_clean_text_base
= (char *) xmalloc (orig_size
+ 2);
4202 clean_text_limit
= new_clean_text_limit
= new_clean_text_base
+ orig_size
;
4203 clean_read_ptr
= clean_text_base
- 1;
4205 /* Allocate a buffer that will hopefully be large enough to hold the entire
4206 converted output text. As an initial guess for the maximum size of the
4207 output buffer, use 125% of the size of the original + some extra. This
4208 buffer can be expanded later as needed. */
4210 repl_size
= orig_size
+ (orig_size
>> 2) + 4096;
4211 repl_text_base
= (char *) xmalloc (repl_size
+ 2);
4212 repl_text_limit
= repl_text_base
+ repl_size
- 1;
4213 repl_write_ptr
= repl_text_base
- 1;
4218 /* Open the file to be converted in READ ONLY mode. */
4220 if ((input_file
= my_open (convert_filename
, O_RDONLY
, 0444)) == -1)
4222 int errno_val
= errno
;
4223 fprintf (stderr
, "%s: can't open file `%s' for reading: %s\n",
4224 pname
, shortpath (NULL
, convert_filename
),
4225 my_strerror (errno_val
));
4229 /* Read the entire original source text file into the original text buffer
4230 in one swell fwoop. Then figure out where the end of the text is and
4231 make sure that it ends with a newline followed by a null. */
4233 if (safe_read (input_file
, new_orig_text_base
, orig_size
) !=
4236 int errno_val
= errno
;
4238 fprintf (stderr
, "\n%s: error reading input file `%s': %s\n",
4239 pname
, shortpath (NULL
, convert_filename
),
4240 my_strerror (errno_val
));
4247 if (orig_size
== 0 || orig_text_limit
[-1] != '\n')
4249 *new_orig_text_limit
++ = '\n';
4253 /* Create the cleaned up copy of the original text. */
4255 memcpy (new_clean_text_base
, orig_text_base
,
4256 (size_t) (orig_text_limit
- orig_text_base
));
4257 do_cleaning (new_clean_text_base
, new_clean_text_limit
);
4262 size_t clean_size
= orig_text_limit
- orig_text_base
;
4263 char *const clean_filename
= (char *) alloca (strlen (convert_filename
) + 6 + 1);
4265 /* Open (and create) the clean file. */
4267 strcpy (clean_filename
, convert_filename
);
4268 strcat (clean_filename
, ".clean");
4269 if ((clean_file
= creat (clean_filename
, 0666)) == -1)
4271 int errno_val
= errno
;
4272 fprintf (stderr
, "%s: can't create/open clean file `%s': %s\n",
4273 pname
, shortpath (NULL
, clean_filename
),
4274 my_strerror (errno_val
));
4278 /* Write the clean file. */
4280 safe_write (clean_file
, new_clean_text_base
, clean_size
, clean_filename
);
4286 /* Do a simplified scan of the input looking for things that were not
4287 mentioned in the aux info files because of the fact that they were
4288 in a region of the source which was preprocessed-out (via #if or
4291 scan_for_missed_items (file_p
);
4293 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4295 last_known_line_number
= 1;
4296 last_known_line_start
= clean_text_base
;
4298 /* Now get down to business and make all of the necessary edits. */
4301 const def_dec_info
*def_dec_p
;
4303 first_definition_in_file
= 1;
4304 def_dec_p
= file_p
->defs_decs
;
4305 for (; def_dec_p
; def_dec_p
= def_dec_p
->next_in_file
)
4307 const char *clean_text_p
= seek_to_line (def_dec_p
->line
);
4309 /* clean_text_p now points to the first character of the line which
4310 contains the `terminator' for the declaration or definition that
4311 we are about to process. */
4315 if (global_flag
&& def_dec_p
->is_func_def
&& first_definition_in_file
)
4317 add_global_decls (def_dec_p
->file
, clean_text_p
);
4318 first_definition_in_file
= 0;
4321 /* Don't edit this item if it is already in prototype format or if it
4322 is a function declaration and we have found no corresponding
4325 if (def_dec_p
->prototyped
4326 || (!def_dec_p
->is_func_def
&& !def_dec_p
->definition
))
4329 #endif /* !defined (UNPROTOIZE) */
4331 if (def_dec_p
->is_func_def
)
4332 edit_fn_definition (def_dec_p
, clean_text_p
);
4335 if (def_dec_p
->is_implicit
)
4336 add_local_decl (def_dec_p
, clean_text_p
);
4338 #endif /* !defined (UNPROTOIZE) */
4339 edit_fn_declaration (def_dec_p
, clean_text_p
);
4343 /* Finalize things. Output the last trailing part of the original text. */
4345 output_up_to (clean_text_limit
- 1);
4347 /* If this is just a test run, stop now and just deallocate the buffers. */
4351 free (new_orig_text_base
);
4352 free (new_clean_text_base
);
4353 free (repl_text_base
);
4357 /* Change the name of the original input file. This is just a quick way of
4358 saving the original file. */
4363 = (char *) xmalloc (strlen (convert_filename
) + strlen (save_suffix
) + 2);
4365 strcpy (new_filename
, convert_filename
);
4366 strcat (new_filename
, save_suffix
);
4367 if (my_link (convert_filename
, new_filename
) == -1)
4369 int errno_val
= errno
;
4370 if (errno_val
== EEXIST
)
4373 fprintf (stderr
, "%s: warning: file `%s' already saved in `%s'\n",
4375 shortpath (NULL
, convert_filename
),
4376 shortpath (NULL
, new_filename
));
4380 fprintf (stderr
, "%s: can't link file `%s' to `%s': %s\n",
4382 shortpath (NULL
, convert_filename
),
4383 shortpath (NULL
, new_filename
),
4384 my_strerror (errno_val
));
4390 if (my_unlink (convert_filename
) == -1)
4392 int errno_val
= errno
;
4393 fprintf (stderr
, "%s: can't delete file `%s': %s\n",
4394 pname
, shortpath (NULL
, convert_filename
),
4395 my_strerror (errno_val
));
4402 /* Open (and create) the output file. */
4404 if ((output_file
= creat (convert_filename
, 0666)) == -1)
4406 int errno_val
= errno
;
4407 fprintf (stderr
, "%s: can't create/open output file `%s': %s\n",
4408 pname
, shortpath (NULL
, convert_filename
),
4409 my_strerror (errno_val
));
4413 /* Write the output file. */
4416 unsigned int out_size
= (repl_write_ptr
+ 1) - repl_text_base
;
4418 safe_write (output_file
, repl_text_base
, out_size
, convert_filename
);
4421 close (output_file
);
4424 /* Deallocate the conversion buffers. */
4426 free (new_orig_text_base
);
4427 free (new_clean_text_base
);
4428 free (repl_text_base
);
4430 /* Change the mode of the output file to match the original file. */
4432 /* The cast avoids an erroneous warning on AIX. */
4433 if (my_chmod ((char *)convert_filename
, stat_buf
.st_mode
) == -1)
4435 int errno_val
= errno
;
4436 fprintf (stderr
, "%s: can't change mode of file `%s': %s\n",
4437 pname
, shortpath (NULL
, convert_filename
),
4438 my_strerror (errno_val
));
4441 /* Note: We would try to change the owner and group of the output file
4442 to match those of the input file here, except that may not be a good
4443 thing to do because it might be misleading. Also, it might not even
4444 be possible to do that (on BSD systems with quotas for instance). */
4447 /* Do all of the individual steps needed to do the protoization (or
4448 unprotoization) of the files referenced in the aux_info files given
4449 in the command line. */
4454 const char * const *base_pp
;
4455 const char * const * const end_pps
4456 = &base_source_filenames
[n_base_source_files
];
4460 #endif /* !defined (UNPROTOIZE) */
4462 /* One-by-one, check (and create if necessary), open, and read all of the
4463 stuff in each aux_info file. After reading each aux_info file, the
4464 aux_info_file just read will be automatically deleted unless the
4465 keep_flag is set. */
4467 for (base_pp
= base_source_filenames
; base_pp
< end_pps
; base_pp
++)
4468 process_aux_info_file (*base_pp
, keep_flag
, 0);
4472 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4473 the prototypes for all of the standard system-supplied functions. */
4475 if (nondefault_syscalls_dir
)
4477 syscalls_absolute_filename
4478 = (char *) xmalloc (strlen (nondefault_syscalls_dir
)
4479 + sizeof (syscalls_filename
) + 1);
4480 strcpy (syscalls_absolute_filename
, nondefault_syscalls_dir
);
4484 syscalls_absolute_filename
4485 = (char *) xmalloc (strlen (default_syscalls_dir
)
4486 + sizeof (syscalls_filename
) + 1);
4487 strcpy (syscalls_absolute_filename
, default_syscalls_dir
);
4490 syscalls_len
= strlen (syscalls_absolute_filename
);
4491 if (*(syscalls_absolute_filename
+ syscalls_len
- 1) != '/')
4493 *(syscalls_absolute_filename
+ syscalls_len
++) = '/';
4494 *(syscalls_absolute_filename
+ syscalls_len
) = '\0';
4496 strcat (syscalls_absolute_filename
, syscalls_filename
);
4498 /* Call process_aux_info_file in such a way that it does not try to
4499 delete the SYSCALLS aux_info file. */
4501 process_aux_info_file (syscalls_absolute_filename
, 1, 1);
4503 #endif /* !defined (UNPROTOIZE) */
4505 /* When we first read in all of the information from the aux_info files
4506 we saved in it descending line number order, because that was likely to
4507 be faster. Now however, we want the chains of def & dec records to
4508 appear in ascending line number order as we get further away from the
4509 file_info record that they hang from. The following line causes all of
4510 these lists to be rearranged into ascending line number order. */
4512 visit_each_hash_node (filename_primary
, reverse_def_dec_list
);
4516 /* Now do the "real" work. The following line causes each declaration record
4517 to be "visited". For each of these nodes, an attempt is made to match
4518 up the function declaration with a corresponding function definition,
4519 which should have a full prototype-format formals list with it. Once
4520 these match-ups are made, the conversion of the function declarations
4521 to prototype format can be made. */
4523 visit_each_hash_node (function_name_primary
, connect_defs_and_decs
);
4525 #endif /* !defined (UNPROTOIZE) */
4527 /* Now convert each file that can be converted (and needs to be). */
4529 visit_each_hash_node (filename_primary
, edit_file
);
4533 /* If we are working in cplusplus mode, try to rename all .c files to .C
4534 files. Don't panic if some of the renames don't work. */
4536 if (cplusplus_flag
&& !nochange_flag
)
4537 visit_each_hash_node (filename_primary
, rename_c_file
);
4539 #endif /* !defined (UNPROTOIZE) */
4542 static struct option longopts
[] =
4544 {"version", 0, 0, 'V'},
4545 {"file_name", 0, 0, 'p'},
4546 {"quiet", 0, 0, 'q'},
4547 {"silent", 0, 0, 'q'},
4548 {"force", 0, 0, 'f'},
4549 {"keep", 0, 0, 'k'},
4550 {"nosave", 0, 0, 'N'},
4551 {"nochange", 0, 0, 'n'},
4552 {"compiler-options", 1, 0, 'c'},
4553 {"exclude", 1, 0, 'x'},
4554 {"directory", 1, 0, 'd'},
4556 {"indent", 1, 0, 'i'},
4558 {"local", 0, 0, 'l'},
4559 {"global", 0, 0, 'g'},
4561 {"syscalls-dir", 1, 0, 'B'},
4573 const char *params
= "";
4575 pname
= strrchr (argv
[0], '/');
4576 pname
= pname
? pname
+1 : argv
[0];
4578 cwd_buffer
= getpwd ();
4581 fprintf (stderr
, "%s: cannot get working directory: %s\n",
4582 pname
, my_strerror(errno
));
4583 exit (FATAL_EXIT_CODE
);
4586 /* By default, convert the files in the current directory. */
4587 directory_list
= string_list_cons (cwd_buffer
, NULL
);
4589 while ((c
= getopt_long (argc
, argv
,
4593 "B:c:Cd:gklnNp:qvVx:",
4595 longopts
, &longind
)) != EOF
)
4597 if (c
== 0) /* Long option. */
4598 c
= longopts
[longind
].val
;
4602 compiler_file_name
= optarg
;
4606 = string_list_cons (abspath (NULL
, optarg
), directory_list
);
4609 exclude_list
= string_list_cons (optarg
, exclude_list
);
4639 indent_string
= optarg
;
4641 #else /* !defined (UNPROTOIZE) */
4652 nondefault_syscalls_dir
= optarg
;
4654 #endif /* !defined (UNPROTOIZE) */
4660 /* Set up compile_params based on -p and -c options. */
4661 munge_compile_params (params
);
4663 n_base_source_files
= argc
- optind
;
4665 /* Now actually make a list of the base source filenames. */
4667 base_source_filenames
4668 = (const char **) xmalloc ((n_base_source_files
+ 1) * sizeof (char *));
4669 n_base_source_files
= 0;
4670 for (; optind
< argc
; optind
++)
4672 const char *path
= abspath (NULL
, argv
[optind
]);
4673 int len
= strlen (path
);
4675 if (path
[len
-1] == 'c' && path
[len
-2] == '.')
4676 base_source_filenames
[n_base_source_files
++] = path
;
4679 fprintf (stderr
, "%s: input file names must have .c suffixes: %s\n",
4680 pname
, shortpath (NULL
, path
));
4686 /* We are only interested in the very first identifier token in the
4687 definition of `va_list', so if there is more junk after that first
4688 identifier token, delete it from the `varargs_style_indicator'. */
4692 for (cp
= varargs_style_indicator
;
4693 ISALNUM ((const unsigned char)*cp
) || *cp
== '_'; cp
++)
4696 varargs_style_indicator
= savestring (varargs_style_indicator
,
4697 cp
- varargs_style_indicator
);
4699 #endif /* !defined (UNPROTOIZE) */
4706 fprintf (stderr
, "%s: %s\n", pname
, version_string
);
4710 exit (errors
? FATAL_EXIT_CODE
: SUCCESS_EXIT_CODE
);