1 /* Protoize program - Original version by Ron Guilmette at MCC.
3 Copyright (C) 1989, 1992 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
21 /* Any reasonable C++ compiler should have all of the same features
22 as __STDC__ plus more, so make sure that __STDC__ is defined if
23 __cplusplus is defined. */
25 #if defined(__cplusplus) && !defined(__STDC__)
27 #endif /* defined(__cplusplus) && !defined(__STDC__) */
29 #if defined(__GNUC__) || defined (__GNUG__)
30 #define VOLATILE volatile
43 /* Users are not supposed to use _POSIX_SOURCE to say the
44 system is a POSIX system. That is not what _POSIX_SOURCE means! -- rms */
45 /* If the user asked for POSIX via _POSIX_SOURCE, turn on POSIX code. */
46 #if defined(_POSIX_SOURCE) && !defined(POSIX)
51 #ifdef POSIX /* We should be able to define _POSIX_SOURCE unconditionally,
52 but some systems respond in buggy ways to it,
53 including SunOS 4.1.1. Which we don't classify as POSIX. */
54 /* In case this is a POSIX system with an ANSI C compiler,
55 ask for definition of all POSIX facilities. */
63 #include <sys/types.h>
73 /* Include getopt.h for the sake of getopt_long.
74 We don't need the declaration of getopt, and it could conflict
75 with something from a system header file, so effectively nullify that. */
76 #define getopt getopt_loser
81 extern char *sys_errlist
[];
82 extern char *version_string
;
84 /* Systems which are compatible only with POSIX 1003.1-1988 (but *not*
85 with POSIX 1003.1-1990), e.g. Ultrix 4.2, might not have
86 const qualifiers in the prototypes in the system include files.
87 Unfortunately, this can lead to GCC issuing lots of warnings for
88 calls to the following functions. To eliminate these warnings we
89 provide the following #defines. */
91 #define my_access(file,flag) access((char *)file, flag)
92 #define my_stat(file,pkt) stat((char *)file, pkt)
93 #define my_execvp(prog,argv) execvp((char *)prog, (char **)argv)
94 #define my_link(file1, file2) link((char *)file1, (char *)file2)
95 #define my_unlink(file) unlink((char *)file)
96 #define my_open(file, mode, flag) open((char *)file, mode, flag)
97 #define my_chmod(file, mode) chmod((char *)file, mode)
99 extern char *getpwd ();
101 /* Aliases for pointers to void.
102 These were made to facilitate compilation with old brain-dead DEC C
103 compilers which didn't properly grok `void*' types. */
106 typedef void * pointer_type
;
107 typedef const void * const_pointer_type
;
109 typedef char * pointer_type
;
110 typedef char * const_pointer_type
;
121 #else /* !defined(POSIX) */
123 #define R_OK 4 /* Test for Read permission */
124 #define W_OK 2 /* Test for Write permission */
125 #define X_OK 1 /* Test for eXecute permission */
126 #define F_OK 0 /* Test for existence of File */
131 /* Declaring stat or __flsbuf with a prototype
132 causes conflicts with system headers on some systems. */
135 extern VOLATILE
void abort ();
139 #if 0 /* These conflict with stdio.h on some systems. */
140 extern int fprintf (FILE *, const char *, ...);
141 extern int printf (const char *, ...);
142 extern int open (const char *, int, ...);
145 extern pointer_type
malloc ();
146 extern pointer_type
realloc ();
151 extern int fflush ();
157 extern int unlink ();
158 extern int access ();
159 extern int execvp ();
161 extern int setjmp ();
164 extern void longjmp ();
167 extern char * strcat ();
168 extern int strcmp ();
169 extern char * strcpy ();
170 #if 0 /* size_t from sys/types.h may fail to match GCC.
171 If so, we would get a warning from this. */
172 extern size_t strlen ()
174 extern int strncmp ();
175 extern char * strncpy ();
176 extern char * rindex ();
178 /* Fork is not declared because the declaration caused a conflict
180 #if !(defined (USG) || defined (VMS))
182 #endif /* (defined (USG) || defined (VMS)) */
184 #endif /* !defined (POSIX) */
186 /* Look for these where the `const' qualifier is intentionally cast aside. */
190 /* Define a STRINGIFY macro that's right for ANSI or traditional C. */
193 #define STRINGIFY(STRING) #STRING
195 #define STRINGIFY(STRING) "STRING"
198 /* Define a default place to find the SYSCALLS.X file. */
200 #ifndef STD_PROTO_DIR
201 #define STD_PROTO_DIR "/usr/local/lib"
202 #endif /* !defined (STD_PROTO_DIR) */
204 /* Suffix of aux_info files. */
206 static const char * const aux_info_suffix
= ".X";
208 /* String to attach to filenames for saved versions of original files. */
210 static const char * const save_suffix
= ".save";
214 /* File name of the file which contains descriptions of standard system
215 routines. Note that we never actually do anything with this file per se,
216 but we do read in its corresponding aux_info file. */
218 static const char syscalls_filename
[] = "SYSCALLS.c";
220 /* Default place to find the above file. */
222 static const char * const default_syscalls_dir
= STD_PROTO_DIR
;
224 /* Variable to hold the complete absolutized filename of the SYSCALLS.c.X
227 static char * syscalls_absolute_filename
;
229 #endif /* !defined (UNPROTOIZE) */
231 /* Type of the structure that holds information about macro unexpansions. */
233 struct unexpansion_struct
{
234 const char *expanded
;
235 const char *contracted
;
237 typedef struct unexpansion_struct unexpansion
;
239 /* A table of conversions that may need to be made for some (stupid) older
240 operating systems where these types are preprocessor macros rather than
241 typedefs (as they really ought to be).
243 WARNING: The contracted forms must be as small (or smaller) as the
244 expanded forms, or else havoc will ensue. */
246 static const unexpansion unexpansions
[] = {
247 { "struct _iobuf", "FILE" },
251 /* The number of "primary" slots in the hash tables for filenames and for
252 function names. This can be as big or as small as you like, except that
253 it must be a power of two. */
255 #define HASH_TABLE_SIZE (1 << 9)
257 /* Bit mask to use when computing hash values. */
259 static const int hash_mask
= (HASH_TABLE_SIZE
- 1);
261 /* Make a table of default system include directories
262 just as it is done in cccp.c. */
264 #ifndef STANDARD_INCLUDE_DIR
265 #define STANDARD_INCLUDE_DIR "/usr/include"
268 #ifndef LOCAL_INCLUDE_DIR
269 #define LOCAL_INCLUDE_DIR "/usr/local/include"
272 struct default_include
{ const char *fname
; int cplusplus
; } include_defaults
[]
273 #ifdef INCLUDE_DEFAULTS
277 /* Pick up GNU C++ specific include files. */
278 { GPLUSPLUS_INCLUDE_DIR
, 1},
279 { GCC_INCLUDE_DIR
, 0},
281 /* For cross-compilation, this dir name is generated
282 automatically in Makefile.in. */
283 { CROSS_INCLUDE_DIR
, 0 },
284 #else /* not CROSS_COMPILE */
285 { LOCAL_INCLUDE_DIR
, 0},
286 /* Some systems have an extra dir of include files. */
287 #ifdef SYSTEM_INCLUDE_DIR
288 { SYSTEM_INCLUDE_DIR
, 0},
290 { STANDARD_INCLUDE_DIR
, 0},
291 #endif /* not CROSS_COMPILE */
294 #endif /* no INCLUDE_DEFAULTS */
296 /* Datatype for lists of directories or filenames. */
300 struct string_list
*next
;
303 /* List of directories in which files should be converted. */
305 struct string_list
*directory_list
;
307 /* List of file names which should not be converted.
308 A file is excluded if the end of its name, following a /,
309 matches one of the names in this list. */
311 struct string_list
*exclude_list
;
313 /* The name of the other style of variable-number-of-parameters functions
314 (i.e. the style that we want to leave unconverted because we don't yet
315 know how to convert them to this style. This string is used in warning
318 /* Also define here the string that we can search for in the parameter lists
319 taken from the .X files which will unambiguously indicate that we have
320 found a varargs style function. */
323 static const char * const other_var_style
= "stdarg";
324 #else /* !defined (UNPROTOIZE) */
325 static const char * const other_var_style
= "varargs";
326 /* Note that this is a string containing the expansion of va_alist.
327 But in `main' we discard all but the first token. */
328 static const char *varargs_style_indicator
= STRINGIFY (va_alist
);
329 #endif /* !defined (UNPROTOIZE) */
331 /* The following two types are used to create hash tables. In this program,
332 there are two hash tables which are used to store and quickly lookup two
333 different classes of strings. The first type of strings stored in the
334 first hash table are absolute filenames of files which protoize needs to
335 know about. The second type of strings (stored in the second hash table)
336 are function names. It is this second class of strings which really
337 inspired the use of the hash tables, because there may be a lot of them. */
339 typedef struct hash_table_entry_struct hash_table_entry
;
341 /* Do some typedefs so that we don't have to write "struct" so often. */
343 typedef struct def_dec_info_struct def_dec_info
;
344 typedef struct file_info_struct file_info
;
345 typedef struct f_list_chain_item_struct f_list_chain_item
;
347 /* In the struct below, note that the "_info" field has two different uses
348 depending on the type of hash table we are in (i.e. either the filenames
349 hash table or the function names hash table). In the filenames hash table
350 the info fields of the entries point to the file_info struct which is
351 associated with each filename (1 per filename). In the function names
352 hash table, the info field points to the head of a singly linked list of
353 def_dec_info entries which are all defs or decs of the function whose
354 name is pointed to by the "symbol" field. Keeping all of the defs/decs
355 for a given function name on a special list specifically for that function
356 name makes it quick and easy to find out all of the important information
357 about a given (named) function. */
359 struct hash_table_entry_struct
{
360 hash_table_entry
* hash_next
; /* -> to secondary entries */
361 const char * symbol
; /* -> to the hashed string */
363 const def_dec_info
* _ddip
;
367 #define ddip _info._ddip
368 #define fip _info._fip
370 /* Define a type specifically for our two hash tables. */
372 typedef hash_table_entry hash_table
[HASH_TABLE_SIZE
];
374 /* The following struct holds all of the important information about any
375 single filename (e.g. file) which we need to know about. */
377 struct file_info_struct
{
378 const hash_table_entry
* hash_entry
; /* -> to associated hash entry */
379 const def_dec_info
* defs_decs
; /* -> to chain of defs/decs */
380 time_t mtime
; /* Time of last modification. */
383 /* Due to the possibility that functions may return pointers to functions,
384 (which may themselves have their own parameter lists) and due to the
385 fact that returned pointers-to-functions may be of type "pointer-to-
386 function-returning-pointer-to-function" (ad nauseum) we have to keep
387 an entire chain of ANSI style formal parameter lists for each function.
389 Normally, for any given function, there will only be one formals list
390 on the chain, but you never know.
392 Note that the head of each chain of formals lists is pointed to by the
393 `f_list_chain' field of the corresponding def_dec_info record.
395 For any given chain, the item at the head of the chain is the *leftmost*
396 parameter list seen in the actual C language function declaration. If
397 there are other members of the chain, then these are linked in left-to-right
398 order from the head of the chain. */
400 struct f_list_chain_item_struct
{
401 const f_list_chain_item
* chain_next
; /* -> to next item on chain */
402 const char * formals_list
; /* -> to formals list string */
405 /* The following struct holds all of the important information about any
406 single function definition or declaration which we need to know about.
407 Note that for unprotoize we don't need to know very much because we
408 never even create records for stuff that we don't intend to convert
409 (like for instance defs and decs which are already in old K&R format
410 and "implicit" function declarations). */
412 struct def_dec_info_struct
{
413 const def_dec_info
* next_in_file
; /* -> to rest of chain for file */
414 file_info
* file
; /* -> file_info for containing file */
415 int line
; /* source line number of def/dec */
416 const char * ansi_decl
; /* -> left end of ansi decl */
417 hash_table_entry
* hash_entry
; /* -> hash entry for function name */
418 unsigned int is_func_def
; /* = 0 means this is a declaration */
419 const def_dec_info
* next_for_func
; /* -> to rest of chain for func name */
420 unsigned int f_list_count
; /* count of formals lists we expect */
421 char prototyped
; /* = 0 means already prototyped */
423 const f_list_chain_item
* f_list_chain
; /* -> chain of formals lists */
424 const def_dec_info
* definition
; /* -> def/dec containing related def */
425 char is_static
; /* = 0 means visibility is "extern" */
426 char is_implicit
; /* != 0 for implicit func decl's */
427 char written
; /* != 0 means written for implicit */
428 #else /* !defined (UNPROTOIZE) */
429 const char * formal_names
; /* -> to list of names of formals */
430 const char * formal_decls
; /* -> to string of formal declarations */
431 #endif /* !defined (UNPROTOIZE) */
434 /* Pointer to the tail component of the filename by which this program was
435 invoked. Used everywhere in error and warning messages. */
437 static const char *pname
;
439 /* Error counter. Will be non-zero if we should give up at the next convenient
442 static int errors
= 0;
445 /* ??? These comments should say what the flag mean as well as the options
448 /* File name to use for running gcc. Allows GCC 2 to be named
449 something other than gcc. */
450 static const char *compiler_file_name
= "gcc";
452 static int version_flag
= 0; /* Print our version number. */
453 static int quiet_flag
= 0; /* Don't print messages normally. */
454 static int nochange_flag
= 0; /* Don't convert, just say what files
455 we would have converted. */
456 static int nosave_flag
= 0; /* Don't save the old version. */
457 static int keep_flag
= 0; /* Don't delete the .X files. */
458 static const char ** compile_params
= 0; /* Option string for gcc. */
460 static const char *indent_string
= " "; /* Indentation for newly
461 inserted parm decls. */
462 #else /* !defined (UNPROTOIZE) */
463 static int local_flag
= 0; /* Insert new local decls (when?). */
464 static int global_flag
= 0; /* set by -g option */
465 static int cplusplus_flag
= 0; /* Rename converted files to *.C. */
466 static const char* nondefault_syscalls_dir
= 0; /* Dir to look for
468 #endif /* !defined (UNPROTOIZE) */
470 /* An index into the compile_params array where we should insert the source
471 file name when we are ready to exec the C compiler. A zero value indicates
472 that we have not yet called munge_compile_params. */
474 static int input_file_name_index
= 0;
476 /* An index into the compile_params array where we should insert the filename
477 for the aux info file, when we run the C compiler. */
478 static int aux_info_file_name_index
= 0;
480 /* Count of command line arguments which were "filename" arguments. */
482 static int n_base_source_files
= 0;
484 /* Points to a malloc'ed list of pointers to all of the filenames of base
485 source files which were specified on the command line. */
487 static const char **base_source_filenames
;
489 /* Line number of the line within the current aux_info file that we
490 are currently processing. Used for error messages in case the prototypes
491 info file is corrupted somehow. */
493 static int current_aux_info_lineno
;
495 /* Pointer to the name of the source file currently being converted. */
497 static const char *convert_filename
;
499 /* Pointer to relative root string (taken from aux_info file) which indicates
500 where directory the user was in when he did the compilation step that
501 produced the containing aux_info file. */
503 static const char *invocation_filename
;
505 /* Pointer to the base of the input buffer that holds the original text for the
506 source file currently being converted. */
508 static const char *orig_text_base
;
510 /* Pointer to the byte just beyond the end of the input buffer that holds the
511 original text for the source file currently being converted. */
513 static const char *orig_text_limit
;
515 /* Pointer to the base of the input buffer that holds the cleaned text for the
516 source file currently being converted. */
518 static const char *clean_text_base
;
520 /* Pointer to the byte just beyond the end of the input buffer that holds the
521 cleaned text for the source file currently being converted. */
523 static const char *clean_text_limit
;
525 /* Pointer to the last byte in the cleaned text buffer that we have already
526 (virtually) copied to the output buffer (or decided to ignore). */
528 static const char * clean_read_ptr
;
530 /* Pointer to the base of the output buffer that holds the replacement text
531 for the source file currently being converted. */
533 static char *repl_text_base
;
535 /* Pointer to the byte just beyond the end of the output buffer that holds the
536 replacement text for the source file currently being converted. */
538 static char *repl_text_limit
;
540 /* Pointer to the last byte which has been stored into the output buffer.
541 The next byte to be stored should be stored just past where this points
544 static char * repl_write_ptr
;
546 /* Pointer into the cleaned text buffer for the source file we are currently
547 converting. This points to the first character of the line that we last
548 did a "seek_to_line" to (see below). */
550 static const char *last_known_line_start
;
552 /* Number of the line (in the cleaned text buffer) that we last did a
553 "seek_to_line" to. Will be one if we just read a new source file
554 into the cleaned text buffer. */
556 static int last_known_line_number
;
558 /* The filenames hash table. */
560 static hash_table filename_primary
;
562 /* The function names hash table. */
564 static hash_table function_name_primary
;
566 /* The place to keep the recovery address which is used only in cases where
567 we get hopelessly confused by something in the cleaned original text. */
569 static jmp_buf source_confusion_recovery
;
571 /* A pointer to the current directory filename (used by abspath). */
573 static char *cwd_buffer
;
575 /* A place to save the read pointer until we are sure that an individual
576 attempt at editing will succeed. */
578 static const char * saved_clean_read_ptr
;
580 /* A place to save the write pointer until we are sure that an individual
581 attempt at editing will succeed. */
583 static char * saved_repl_write_ptr
;
585 /* Forward declaration. */
587 static const char *shortpath ();
589 /* Allocate some space, but check that the allocation was successful. */
590 /* alloca.c uses this, so don't make it static. */
598 rv
= malloc (byte_count
);
601 fprintf (stderr
, "\n%s: virtual memory exceeded\n", pname
);
603 return 0; /* avoid warnings */
609 /* Reallocate some space, but check that the reallocation was successful. */
612 xrealloc (old_space
, byte_count
)
613 pointer_type old_space
;
618 rv
= realloc (old_space
, byte_count
);
621 fprintf (stderr
, "\n%s: virtual memory exceeded\n", pname
);
623 return 0; /* avoid warnings */
629 /* Deallocate the area pointed to by an arbitrary pointer, but first, strip
630 the `const' qualifier from it and also make sure that the pointer value
635 const_pointer_type p
;
638 free ((NONCONST pointer_type
) p
);
641 /* Make a copy of a string INPUT with size SIZE. */
644 savestring (input
, size
)
648 char *output
= (char *) xmalloc (size
+ 1);
649 strcpy (output
, input
);
653 /* Make a copy of the concatenation of INPUT1 and INPUT2. */
656 savestring2 (input1
, size1
, input2
, size2
)
662 char *output
= (char *) xmalloc (size1
+ size2
+ 1);
663 strcpy (output
, input1
);
664 strcpy (&output
[size1
], input2
);
668 /* More 'friendly' abort that prints the line and file.
669 config.h can #define abort fancy_abort if you like that sort of thing. */
674 fprintf (stderr
, "%s: internal abort\n", pname
);
678 /* Make a duplicate of a given string in a newly allocated area. */
684 return strcpy ((char *) xmalloc (strlen (s
) + 1), s
);
687 /* Make a duplicate of the first N bytes of a given string in a newly
695 char *ret_val
= strncpy ((char *) xmalloc (n
+ 1), s
, n
);
701 /* Return a pointer to the first occurrence of s2 within s1 or NULL if s2
702 does not occur within s1. Assume neither s1 nor s2 are null pointers. */
707 const char *const s2
;
715 for (p1
= s1
, p2
= s2
; c
= *p2
; p1
++, p2
++)
725 /* Get setup to recover in case the edit we are about to do goes awry. */
730 saved_clean_read_ptr
= clean_read_ptr
;
731 saved_repl_write_ptr
= repl_write_ptr
;
734 /* Call this routine to recover our previous state whenever something looks
735 too confusing in the source code we are trying to edit. */
740 clean_read_ptr
= saved_clean_read_ptr
;
741 repl_write_ptr
= saved_repl_write_ptr
;
744 /* Return true if the given character is a legal identifier character. */
750 return (isalnum (ch
) || (ch
== '_') || (ch
== '$'));
753 /* Give a message indicating the proper way to invoke this program and then
754 exit with non-zero status. */
760 fprintf (stderr
, "%s: usage '%s [ -VqfnkN ] [ -i <istring> ] [ filename ... ]'\n",
762 #else /* !defined (UNPROTOIZE) */
763 fprintf (stderr
, "%s: usage '%s [ -VqfnkNlgC ] [ -B <diname> ] [ filename ... ]'\n",
765 #endif /* !defined (UNPROTOIZE) */
769 /* Return true if the given filename (assumed to be an absolute filename)
770 designates a file residing anywhere beneath any one of the "system"
771 include directories. */
774 in_system_include_dir (path
)
777 struct default_include
*p
;
780 abort (); /* Must be an absolutized filename. */
782 for (p
= include_defaults
; p
->fname
; p
++)
783 if (!strncmp (path
, p
->fname
, strlen (p
->fname
))
784 && path
[strlen (p
->fname
)] == '/')
790 /* Return true if the given filename designates a file that the user has
791 read access to and for which the user has write access to the containing
795 file_could_be_converted (const char *path
)
797 char *const dir_name
= (char *) alloca (strlen (path
) + 1);
799 if (my_access (path
, R_OK
))
803 char *dir_last_slash
;
805 strcpy (dir_name
, path
);
806 dir_last_slash
= rindex (dir_name
, '/');
808 *dir_last_slash
= '\0';
810 abort (); /* Should have been an absolutized filename. */
813 if (my_access (path
, W_OK
))
819 /* Return true if the given filename designates a file that we are allowed
820 to modify. Files which we should not attempt to modify are (a) "system"
821 include files, and (b) files which the user doesn't have write access to,
822 and (c) files which reside in directories which the user doesn't have
823 write access to. Unless requested to be quiet, give warnings about
824 files that we will not try to convert for one reason or another. An
825 exception is made for "system" include files, which we never try to
826 convert and for which we don't issue the usual warnings. */
829 file_normally_convertible (const char *path
)
831 char *const dir_name
= alloca (strlen (path
) + 1);
833 if (in_system_include_dir (path
))
837 char *dir_last_slash
;
839 strcpy (dir_name
, path
);
840 dir_last_slash
= rindex (dir_name
, '/');
842 *dir_last_slash
= '\0';
844 abort (); /* Should have been an absolutized filename. */
847 if (my_access (path
, R_OK
))
850 fprintf (stderr
, "%s: warning: no read access for file `%s'\n",
851 pname
, shortpath (NULL
, path
));
855 if (my_access (path
, W_OK
))
858 fprintf (stderr
, "%s: warning: no write access for file `%s'\n",
859 pname
, shortpath (NULL
, path
));
863 if (my_access (dir_name
, W_OK
))
866 fprintf (stderr
, "%s: warning: no write access for dir containing `%s'\n",
867 pname
, shortpath (NULL
, path
));
877 /* Return true if the given file_info struct refers to the special SYSCALLS.c.X
878 file. Return false otherwise. */
881 is_syscalls_file (fi_p
)
882 const file_info
*fi_p
;
884 char const *f
= fi_p
->hash_entry
->symbol
;
885 size_t fl
= strlen (f
), sysl
= sizeof (syscalls_filename
) - 1;
886 return sysl
<= fl
&& strcmp (f
+ fl
- sysl
, syscalls_filename
) == 0;
889 #endif /* !defined (UNPROTOIZE) */
891 /* Check to see if this file will need to have anything done to it on this
892 run. If there is nothing in the given file which both needs conversion
893 and for which we have the necessary stuff to do the conversion, return
894 false. Otherwise, return true.
896 Note that (for protoize) it is only valid to call this function *after*
897 the connections between declarations and definitions have all been made
898 by connect_defs_and_decs. */
901 needs_to_be_converted (file_p
)
902 const file_info
*file_p
;
904 const def_dec_info
*ddp
;
908 if (is_syscalls_file (file_p
))
911 #endif /* !defined (UNPROTOIZE) */
913 for (ddp
= file_p
->defs_decs
; ddp
; ddp
= ddp
->next_in_file
)
919 /* ... and if we a protoizing and this function is in old style ... */
921 /* ... and if this a definition or is a decl with an associated def ... */
922 && (ddp
->is_func_def
|| (!ddp
->is_func_def
&& ddp
->definition
))
924 #else /* defined (UNPROTOIZE) */
926 /* ... and if we are unprotoizing and this function is in new style ... */
929 #endif /* defined (UNPROTOIZE) */
931 /* ... then the containing file needs converting. */
936 /* Return 1 if the file name NAME is in a directory
937 that should be converted. */
940 directory_specified_p (name
)
943 struct string_list
*p
;
945 for (p
= directory_list
; p
; p
= p
->next
)
946 if (!strncmp (name
, p
->name
, strlen (p
->name
))
947 && name
[strlen (p
->name
)] == '/')
949 const char *q
= name
+ strlen (p
->name
) + 1;
951 /* If there are more slashes, it's in a subdir, so
952 this match doesn't count. */
964 /* Return 1 if the file named NAME should be excluded from conversion. */
967 file_excluded_p (name
)
970 struct string_list
*p
;
971 int len
= strlen (name
);
973 for (p
= exclude_list
; p
; p
= p
->next
)
974 if (!strcmp (name
+ len
- strlen (p
->name
), p
->name
)
975 && name
[len
- strlen (p
->name
) - 1] == '/')
981 /* Construct a new element of a string_list.
982 STRING is the new element value, and REST holds the remaining elements. */
984 static struct string_list
*
985 string_list_cons (string
, rest
)
987 struct string_list
*rest
;
989 struct string_list
*temp
990 = (struct string_list
*) xmalloc (sizeof (struct string_list
));
997 /* ??? The GNU convention for mentioning function args in its comments
998 is to capitalize them. So change "hash_tab_p" to HASH_TAB_P below.
999 Likewise for all the other functions. */
1001 /* Given a hash table, apply some function to each node in the table. The
1002 table to traverse is given as the "hash_tab_p" argument, and the
1003 function to be applied to each node in the table is given as "func"
1007 visit_each_hash_node (hash_tab_p
, func
)
1008 const hash_table_entry
*hash_tab_p
;
1011 const hash_table_entry
*primary
;
1013 for (primary
= hash_tab_p
; primary
< &hash_tab_p
[HASH_TABLE_SIZE
]; primary
++)
1014 if (primary
->symbol
)
1016 hash_table_entry
*second
;
1019 for (second
= primary
->hash_next
; second
; second
= second
->hash_next
)
1024 /* Initialize all of the fields of a new hash table entry, pointed
1025 to by the "p" parameter. Note that the space to hold the entry
1026 is assumed to have already been allocated before this routine is
1029 static hash_table_entry
*
1031 hash_table_entry
*p
;
1034 p
->hash_next
= NULL
;
1035 p
->symbol
= dupstr (s
);
1041 /* Look for a particular function name or filename in the particular
1042 hash table indicated by "hash_tab_p". If the name is not in the
1043 given hash table, add it. Either way, return a pointer to the
1044 hash table entry for the given name. */
1046 static hash_table_entry
*
1047 lookup (hash_tab_p
, search_symbol
)
1048 hash_table_entry
*hash_tab_p
;
1049 const char *search_symbol
;
1052 const char *search_symbol_char_p
= search_symbol
;
1053 hash_table_entry
*p
;
1055 while (*search_symbol_char_p
)
1056 hash_value
+= *search_symbol_char_p
++;
1057 hash_value
&= hash_mask
;
1058 p
= &hash_tab_p
[hash_value
];
1060 return add_symbol (p
, search_symbol
);
1061 if (!strcmp (p
->symbol
, search_symbol
))
1063 while (p
->hash_next
)
1066 if (!strcmp (p
->symbol
, search_symbol
))
1069 p
->hash_next
= (hash_table_entry
*) xmalloc (sizeof (hash_table_entry
));
1071 return add_symbol (p
, search_symbol
);
1074 /* Throw a def/dec record on the junk heap.
1076 Also, since we are not using this record anymore, free up all of the
1077 stuff it pointed to. */
1083 xfree (p
->ansi_decl
);
1087 const f_list_chain_item
* curr
;
1088 const f_list_chain_item
* next
;
1090 for (curr
= p
->f_list_chain
; curr
; curr
= next
)
1092 next
= curr
->chain_next
;
1096 #endif /* !defined (UNPROTOIZE) */
1101 /* Unexpand as many macro symbol as we can find.
1103 If the given line must be unexpanded, make a copy of it in the heap and
1104 return a pointer to the unexpanded copy. Otherwise return NULL. */
1107 unexpand_if_needed (aux_info_line
)
1108 const char *aux_info_line
;
1110 static char *line_buf
= 0;
1111 static int line_buf_size
= 0;
1112 const unexpansion
* unexp_p
;
1113 int got_unexpanded
= 0;
1115 char *copy_p
= line_buf
;
1119 line_buf_size
= 1024;
1120 line_buf
= (char *) xmalloc (line_buf_size
);
1125 /* Make a copy of the input string in line_buf, expanding as necessary. */
1127 for (s
= aux_info_line
; *s
!= '\n'; )
1129 for (unexp_p
= unexpansions
; unexp_p
->expanded
; unexp_p
++)
1131 const char *in_p
= unexp_p
->expanded
;
1132 size_t len
= strlen (in_p
);
1134 if (*s
== *in_p
&& !strncmp (s
, in_p
, len
) && !is_id_char (s
[len
]))
1136 int size
= strlen (unexp_p
->contracted
);
1138 if (copy_p
+ size
- line_buf
>= line_buf_size
)
1140 int offset
= copy_p
- line_buf
;
1142 line_buf_size
+= size
;
1143 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1144 copy_p
= line_buf
+ offset
;
1146 strcpy (copy_p
, unexp_p
->contracted
);
1149 /* Assume the there will not be another replacement required
1150 within the text just replaced. */
1153 goto continue_outer
;
1156 if (copy_p
- line_buf
== line_buf_size
)
1158 int offset
= copy_p
- line_buf
;
1160 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1161 copy_p
= line_buf
+ offset
;
1166 if (copy_p
+ 2 - line_buf
>= line_buf_size
)
1168 int offset
= copy_p
- line_buf
;
1170 line_buf
= (char *) xrealloc (line_buf
, line_buf_size
);
1171 copy_p
= line_buf
+ offset
;
1176 return (got_unexpanded
? dupstr (line_buf
) : 0);
1179 /* Return the absolutized filename for the given relative
1180 filename. Note that if that filename is already absolute, it may
1181 still be returned in a modified form because this routine also
1182 eliminates redundant slashes and single dots and eliminates double
1183 dots to get a shortest possible filename from the given input
1184 filename. The absolutization of relative filenames is made by
1185 assuming that the given filename is to be taken as relative to
1186 the first argument (cwd) or to the current directory if cwd is
1190 abspath (cwd
, rel_filename
)
1192 const char *rel_filename
;
1194 /* Setup the current working directory as needed. */
1195 const char *cwd2
= (cwd
) ? cwd
: cwd_buffer
;
1196 char *const abs_buffer
1197 = (char *) alloca (strlen (cwd2
) + strlen (rel_filename
) + 2);
1198 char *endp
= abs_buffer
;
1201 /* Copy the filename (possibly preceded by the current working
1202 directory name) into the absolutization buffer. */
1207 if (rel_filename
[0] != '/')
1210 while (*endp
++ = *src_p
++)
1212 *(endp
-1) = '/'; /* overwrite null */
1214 src_p
= rel_filename
;
1215 while (*endp
++ = *src_p
++)
1219 /* Now make a copy of abs_buffer into abs_buffer, shortening the
1220 filename (by taking out slashes and dots) as we go. */
1222 outp
= inp
= abs_buffer
;
1223 *outp
++ = *inp
++; /* copy first slash */
1226 *outp
++ = *inp
++; /* copy second slash */
1232 else if (inp
[0] == '/' && outp
[-1] == '/')
1237 else if (inp
[0] == '.' && outp
[-1] == '/')
1241 else if (inp
[1] == '/')
1246 else if ((inp
[1] == '.') && (inp
[2] == 0 || inp
[2] == '/'))
1248 inp
+= (inp
[2] == '/') ? 3 : 2;
1250 while (outp
>= abs_buffer
&& *outp
!= '/')
1252 if (outp
< abs_buffer
)
1254 /* Catch cases like /.. where we try to backup to a
1255 point above the absolute root of the logical file
1258 fprintf (stderr
, "%s: invalid file name: %s\n",
1259 pname
, rel_filename
);
1269 /* On exit, make sure that there is a trailing null, and make sure that
1270 the last character of the returned string is *not* a slash. */
1273 if (outp
[-1] == '/')
1276 /* Make a copy (in the heap) of the stuff left in the absolutization
1277 buffer and return a pointer to the copy. */
1279 return dupstr (abs_buffer
);
1282 /* Given a filename (and possibly a directory name from which the filename
1283 is relative) return a string which is the shortest possible
1284 equivalent for the corresponding full (absolutized) filename. The
1285 shortest possible equivalent may be constructed by converting the
1286 absolutized filename to be a relative filename (i.e. relative to
1287 the actual current working directory). However if a relative filename
1288 is longer, then the full absolute filename is returned.
1292 Note that "simple-minded" conversion of any given type of filename (either
1293 relative or absolute) may not result in a valid equivalent filename if any
1294 subpart of the original filename is actually a symbolic link. */
1297 shortpath (cwd
, filename
)
1299 const char *filename
;
1303 char *cwd_p
= cwd_buffer
;
1305 int unmatched_slash_count
= 0;
1306 size_t filename_len
= strlen (filename
);
1308 path_p
= abspath (cwd
, filename
);
1309 rel_buf_p
= rel_buffer
= (char *) xmalloc (filename_len
);
1311 while (*cwd_p
&& (*cwd_p
== *path_p
))
1316 if (!*cwd_p
&& (!*path_p
|| *path_p
== '/')) /* whole pwd matched */
1318 if (!*path_p
) /* input *is* the current path! */
1329 while (*cwd_p
!= '/') /* backup to last slash */
1336 unmatched_slash_count
++;
1339 /* Find out how many directory levels in cwd were *not* matched. */
1341 if (*cwd_p
++ == '/')
1342 unmatched_slash_count
++;
1344 /* Now we know how long the "short name" will be.
1345 Reject it if longer than the input. */
1346 if (unmatched_slash_count
* 3 + strlen (path_p
) >= filename_len
)
1349 /* For each of them, put a `../' at the beginning of the short name. */
1350 while (unmatched_slash_count
--)
1352 /* Give up if the result gets to be longer
1353 than the absolute path name. */
1354 if (rel_buffer
+ filename_len
<= rel_buf_p
+ 3)
1361 /* Then tack on the unmatched part of the desired file's name. */
1364 if (rel_buffer
+ filename_len
<= rel_buf_p
)
1367 while (*rel_buf_p
++ = *path_p
++);
1370 if (*(rel_buf_p
-1) == '/')
1371 *--rel_buf_p
= '\0';
1376 /* Lookup the given filename in the hash table for filenames. If it is a
1377 new one, then the hash table info pointer will be null. In this case,
1378 we create a new file_info record to go with the filename, and we initialize
1379 that record with some reasonable values. */
1381 /* FILENAME was const, but that causes a warning on AIX when calling stat.
1382 That is probably a bug in AIX, but might as well avoid the warning. */
1385 find_file (filename
, do_not_stat
)
1389 hash_table_entry
*hash_entry_p
;
1391 hash_entry_p
= lookup (filename_primary
, filename
);
1392 if (hash_entry_p
->fip
)
1393 return hash_entry_p
->fip
;
1396 struct stat stat_buf
;
1397 file_info
*file_p
= (file_info
*) xmalloc (sizeof (file_info
));
1399 /* If we cannot get status on any given source file, give a warning
1400 and then just set its time of last modification to infinity. */
1403 stat_buf
.st_mtime
= (time_t) 0;
1406 if (my_stat (filename
, &stat_buf
) == -1)
1408 fprintf (stderr
, "%s: %s: can't get status: %s\n",
1409 pname
, shortpath (NULL
, filename
), sys_errlist
[errno
]);
1410 stat_buf
.st_mtime
= (time_t) -1;
1414 hash_entry_p
->fip
= file_p
;
1415 file_p
->hash_entry
= hash_entry_p
;
1416 file_p
->defs_decs
= NULL
;
1417 file_p
->mtime
= stat_buf
.st_mtime
;
1422 /* Generate a fatal error because some part of the aux_info file is
1426 aux_info_corrupted ()
1428 fprintf (stderr
, "\n%s: fatal error: aux info file corrupted at line %d\n",
1429 pname
, current_aux_info_lineno
);
1433 /* ??? This comment is vague. Say what the condition is for. */
1434 /* Check to see that a condition is true. This is kind of like an assert. */
1437 check_aux_info (cond
)
1441 aux_info_corrupted ();
1444 /* Given a pointer to the closing right parenthesis for a particular formals
1445 list (in an aux_info file) find the corresponding left parenthesis and
1446 return a pointer to it. */
1449 find_corresponding_lparen (p
)
1455 for (paren_depth
= 1, q
= p
-1; paren_depth
; q
--)
1470 /* Given a line from an aux info file, and a time at which the aux info
1471 file it came from was created, check to see if the item described in
1472 the line comes from a file which has been modified since the aux info
1473 file was created. If so, return non-zero, else return zero. */
1476 referenced_file_is_newer (l
, aux_info_mtime
)
1478 time_t aux_info_mtime
;
1484 check_aux_info (l
[0] == '/');
1485 check_aux_info (l
[1] == '*');
1486 check_aux_info (l
[2] == ' ');
1489 const char *filename_start
= p
= l
+ 3;
1493 filename
= (char *) alloca ((size_t) (p
- filename_start
) + 1);
1494 strncpy (filename
, filename_start
, (size_t) (p
- filename_start
));
1495 filename
[p
-filename_start
] = '\0';
1498 /* Call find_file to find the file_info record associated with the file
1499 which contained this particular def or dec item. Note that this call
1500 may cause a new file_info record to be created if this is the first time
1501 that we have ever known about this particular file. */
1503 fi_p
= find_file (abspath (invocation_filename
, filename
), 0);
1505 return (fi_p
->mtime
> aux_info_mtime
);
1508 /* Given a line of info from the aux_info file, create a new
1509 def_dec_info record to remember all of the important information about
1510 a function definition or declaration.
1512 Link this record onto the list of such records for the particular file in
1513 which it occurred in proper (descending) line number order (for now).
1515 If there is an identical record already on the list for the file, throw
1516 this one away. Doing so takes care of the (useless and troublesome)
1517 duplicates which are bound to crop up due to multiple inclusions of any
1518 given individual header file.
1520 Finally, link the new def_dec record onto the list of such records
1521 pertaining to this particular function name. */
1524 save_def_or_dec (l
, is_syscalls
)
1529 const char *semicolon_p
;
1530 def_dec_info
*def_dec_p
= (def_dec_info
*) xmalloc (sizeof (def_dec_info
));
1533 def_dec_p
->written
= 0;
1534 #endif /* !defined (UNPROTOIZE) */
1536 /* Start processing the line by picking off 5 pieces of information from
1537 the left hand end of the line. These are filename, line number,
1538 new/old/implicit flag (new = ANSI prototype format), definition or
1539 declaration flag, and extern/static flag). */
1541 check_aux_info (l
[0] == '/');
1542 check_aux_info (l
[1] == '*');
1543 check_aux_info (l
[2] == ' ');
1546 const char *filename_start
= p
= l
+ 3;
1551 filename
= (char *) alloca ((size_t) (p
- filename_start
) + 1);
1552 strncpy (filename
, filename_start
, (size_t) (p
- filename_start
));
1553 filename
[p
-filename_start
] = '\0';
1555 /* Call find_file to find the file_info record associated with the file
1556 which contained this particular def or dec item. Note that this call
1557 may cause a new file_info record to be created if this is the first time
1558 that we have ever known about this particular file.
1560 Note that we started out by forcing all of the base source file names
1561 (i.e. the names of the aux_info files with the .X stripped off) into the
1562 filenames hash table, and we simultaneously setup file_info records for
1563 all of these base file names (even if they may be useless later).
1564 The file_info records for all of these "base" file names (properly)
1565 act as file_info records for the "original" (i.e. un-included) files
1566 which were submitted to gcc for compilation (when the -aux-info
1567 option was used). */
1569 def_dec_p
->file
= find_file (abspath (invocation_filename
, filename
), is_syscalls
);
1573 const char *line_number_start
= ++p
;
1574 char line_number
[10];
1578 strncpy (line_number
, line_number_start
, (size_t) (p
- line_number_start
));
1579 line_number
[p
-line_number_start
] = '\0';
1580 def_dec_p
->line
= atoi (line_number
);
1583 /* Check that this record describes a new-style, old-style, or implicit
1584 definition or declaration. */
1586 p
++; /* Skip over the `:'. */
1587 check_aux_info ((*p
== 'N') || (*p
== 'O') || (*p
== 'I'));
1589 /* Is this a new style (ANSI prototyped) definition or declaration? */
1591 def_dec_p
->prototyped
= (*p
== 'N');
1595 /* Is this an implicit declaration? */
1597 def_dec_p
->is_implicit
= (*p
== 'I');
1599 #endif /* !defined (UNPROTOIZE) */
1603 check_aux_info ((*p
== 'C') || (*p
== 'F'));
1605 /* Is this item a function definition (F) or a declaration (C). Note that
1606 we treat item taken from the syscalls file as though they were function
1607 definitions regardless of what the stuff in the file says. */
1609 def_dec_p
->is_func_def
= ((*p
++ == 'F') || is_syscalls
);
1612 def_dec_p
->definition
= 0; /* Fill this in later if protoizing. */
1613 #endif /* !defined (UNPROTOIZE) */
1615 check_aux_info (*p
++ == ' ');
1616 check_aux_info (*p
++ == '*');
1617 check_aux_info (*p
++ == '/');
1618 check_aux_info (*p
++ == ' ');
1621 check_aux_info ((!strncmp (p
, "static", 6)) || (!strncmp (p
, "extern", 6)));
1622 #else /* !defined (UNPROTOIZE) */
1623 if (!strncmp (p
, "static", 6))
1624 def_dec_p
->is_static
= -1;
1625 else if (!strncmp (p
, "extern", 6))
1626 def_dec_p
->is_static
= 0;
1628 check_aux_info (0); /* Didn't find either `extern' or `static'. */
1629 #endif /* !defined (UNPROTOIZE) */
1632 const char *ansi_start
= p
;
1634 p
+= 6; /* Pass over the "static" or "extern". */
1636 /* We are now past the initial stuff. Search forward from here to find
1637 the terminating semicolon that should immediately follow the entire
1638 ANSI format function declaration. */
1645 /* Make a copy of the ansi declaration part of the line from the aux_info
1648 def_dec_p
->ansi_decl
1649 = dupnstr (ansi_start
, (size_t) ((semicolon_p
+1) - ansi_start
));
1652 /* Backup and point at the final right paren of the final argument list. */
1656 /* Now isolate a whole set of formal argument lists, one-by-one. Normally,
1657 there will only be one list to isolate, but there could be more. */
1659 def_dec_p
->f_list_count
= 0;
1662 def_dec_p
->f_list_chain
= NULL
;
1663 #endif /* !defined (UNPROTOIZE) */
1667 const char *left_paren_p
= find_corresponding_lparen (p
);
1670 f_list_chain_item
*cip
=
1671 (f_list_chain_item
*) xmalloc (sizeof (f_list_chain_item
));
1674 = dupnstr (left_paren_p
+ 1, (size_t) (p
- (left_paren_p
+1)));
1676 /* Add the new chain item at the head of the current list. */
1678 cip
->chain_next
= def_dec_p
->f_list_chain
;
1679 def_dec_p
->f_list_chain
= cip
;
1681 #endif /* !defined (UNPROTOIZE) */
1682 def_dec_p
->f_list_count
++;
1684 p
= left_paren_p
- 2;
1686 /* p must now point either to another right paren, or to the last
1687 character of the name of the function that was declared/defined.
1688 If p points to another right paren, then this indicates that we
1689 are dealing with multiple formals lists. In that case, there
1690 really should be another right paren preceding this right paren. */
1695 check_aux_info (*--p
== ')');
1700 const char *past_fn
= p
+ 1;
1702 check_aux_info (*past_fn
== ' ');
1704 /* Scan leftwards over the identifier that names the function. */
1706 while (is_id_char (*p
))
1710 /* p now points to the leftmost character of the function name. */
1713 char *fn_string
= (char *) alloca (past_fn
- p
+ 1);
1715 strncpy (fn_string
, p
, (size_t) (past_fn
- p
));
1716 fn_string
[past_fn
-p
] = '\0';
1717 def_dec_p
->hash_entry
= lookup (function_name_primary
, fn_string
);
1721 /* Look at all of the defs and decs for this function name that we have
1722 collected so far. If there is already one which is at the same
1723 line number in the same file, then we can discard this new def_dec_info
1726 As an extra assurance that any such pair of (nominally) identical
1727 function declarations are in fact identical, we also compare the
1728 ansi_decl parts of the lines from the aux_info files just to be on
1731 This comparison will fail if (for instance) the user was playing
1732 messy games with the preprocessor which ultimately causes one
1733 function declaration in one header file to look differently when
1734 that file is included by two (or more) other files. */
1737 const def_dec_info
*other
;
1739 for (other
= def_dec_p
->hash_entry
->ddip
; other
; other
= other
->next_for_func
)
1741 if (def_dec_p
->line
== other
->line
&& def_dec_p
->file
== other
->file
)
1743 if (strcmp (def_dec_p
->ansi_decl
, other
->ansi_decl
))
1745 fprintf (stderr
, "%s:%d: declaration of function `%s' takes different forms\n",
1746 def_dec_p
->file
->hash_entry
->symbol
,
1748 def_dec_p
->hash_entry
->symbol
);
1751 free_def_dec (def_dec_p
);
1759 /* If we are doing unprotoizing, we must now setup the pointers that will
1760 point to the K&R name list and to the K&R argument declarations list.
1762 Note that if this is only a function declaration, then we should not
1763 expect to find any K&R style formals list following the ANSI-style
1764 formals list. This is because GCC knows that such information is
1765 useless in the case of function declarations (function definitions
1766 are a different story however).
1768 Since we are unprotoizing, we don't need any such lists anyway.
1769 All we plan to do is to delete all characters between ()'s in any
1772 def_dec_p
->formal_names
= NULL
;
1773 def_dec_p
->formal_decls
= NULL
;
1775 if (def_dec_p
->is_func_def
)
1778 check_aux_info (*++p
== ' ');
1779 check_aux_info (*++p
== '/');
1780 check_aux_info (*++p
== '*');
1781 check_aux_info (*++p
== ' ');
1782 check_aux_info (*++p
== '(');
1785 const char *kr_names_start
= ++p
; /* Point just inside '('. */
1789 p
--; /* point to closing right paren */
1791 /* Make a copy of the K&R parameter names list. */
1793 def_dec_p
->formal_names
1794 = dupnstr (kr_names_start
, (size_t) (p
- kr_names_start
));
1797 check_aux_info (*++p
== ' ');
1800 /* p now points to the first character of the K&R style declarations
1801 list (if there is one) or to the star-slash combination that ends
1802 the comment in which such lists get embedded. */
1804 /* Make a copy of the K&R formal decls list and set the def_dec record
1807 if (*p
== '*') /* Are there no K&R declarations? */
1809 check_aux_info (*++p
== '/');
1810 def_dec_p
->formal_decls
= "";
1814 const char *kr_decls_start
= p
;
1816 while (p
[0] != '*' || p
[1] != '/')
1820 check_aux_info (*p
== ' ');
1822 def_dec_p
->formal_decls
1823 = dupnstr (kr_decls_start
, (size_t) (p
- kr_decls_start
));
1826 /* Handle a special case. If we have a function definition marked as
1827 being in "old" style, and if it's formal names list is empty, then
1828 it may actually have the string "void" in its real formals list
1829 in the original source code. Just to make sure, we will get setup
1830 to convert such things anyway.
1832 This kludge only needs to be here because of an insurmountable
1833 problem with generating .X files. */
1835 if (!def_dec_p
->prototyped
&& !*def_dec_p
->formal_names
)
1836 def_dec_p
->prototyped
= 1;
1839 /* Since we are unprotoizing, if this item is already in old (K&R) style,
1840 we can just ignore it. If that is true, throw away the itme now. */
1842 if (!def_dec_p
->prototyped
)
1844 free_def_dec (def_dec_p
);
1848 #endif /* defined (UNPROTOIZE) */
1850 /* Add this record to the head of the list of records pertaining to this
1851 particular function name. */
1853 def_dec_p
->next_for_func
= def_dec_p
->hash_entry
->ddip
;
1854 def_dec_p
->hash_entry
->ddip
= def_dec_p
;
1856 /* Add this new def_dec_info record to the sorted list of def_dec_info
1857 records for this file. Note that we don't have to worry about duplicates
1858 (caused by multiple inclusions of header files) here because we have
1859 already eliminated duplicates above. */
1861 if (!def_dec_p
->file
->defs_decs
)
1863 def_dec_p
->file
->defs_decs
= def_dec_p
;
1864 def_dec_p
->next_in_file
= NULL
;
1868 int line
= def_dec_p
->line
;
1869 const def_dec_info
*prev
= NULL
;
1870 const def_dec_info
*curr
= def_dec_p
->file
->defs_decs
;
1871 const def_dec_info
*next
= curr
->next_in_file
;
1873 while (next
&& (line
< curr
->line
))
1877 next
= next
->next_in_file
;
1879 if (line
>= curr
->line
)
1881 def_dec_p
->next_in_file
= curr
;
1883 ((NONCONST def_dec_info
*) prev
)->next_in_file
= def_dec_p
;
1885 def_dec_p
->file
->defs_decs
= def_dec_p
;
1887 else /* assert (next == NULL); */
1889 ((NONCONST def_dec_info
*) curr
)->next_in_file
= def_dec_p
;
1890 /* assert (next == NULL); */
1891 def_dec_p
->next_in_file
= next
;
1896 /* Set up the vector COMPILE_PARAMS which is the argument list for running GCC.
1897 Also set input_file_name_index and aux_info_file_name_index
1898 to the indices of the slots where the file names should go. */
1900 /* We initialize the vector by removing -g, -O, -S, -c, and -o options,
1901 and adding '-aux-info AUXFILE -S -o /dev/null INFILE' at the end. */
1904 munge_compile_params (params_list
)
1905 const char *params_list
;
1907 /* Build up the contents in a temporary vector
1908 that is so big that to has to be big enough. */
1909 const char **temp_params
1910 = (const char **) alloca ((strlen (params_list
) + 8) * sizeof (char *));
1911 int param_count
= 0;
1914 temp_params
[param_count
++] = compiler_file_name
;
1917 while (isspace (*params_list
))
1921 param
= params_list
;
1922 while (*params_list
&& !isspace (*params_list
))
1924 if (param
[0] != '-')
1925 temp_params
[param_count
++]
1926 = dupnstr (param
, (size_t) (params_list
- param
));
1935 break; /* Don't copy these. */
1937 while (isspace (*params_list
))
1939 while (*params_list
&& !isspace (*params_list
))
1943 temp_params
[param_count
++]
1944 = dupnstr (param
, (size_t) (params_list
- param
));
1950 temp_params
[param_count
++] = "-aux-info";
1952 /* Leave room for the aux-info file name argument. */
1953 aux_info_file_name_index
= param_count
;
1954 temp_params
[param_count
++] = NULL
;
1956 temp_params
[param_count
++] = "-S";
1957 temp_params
[param_count
++] = "-o";
1958 temp_params
[param_count
++] = "/dev/null";
1960 /* Leave room for the input file name argument. */
1961 input_file_name_index
= param_count
;
1962 temp_params
[param_count
++] = NULL
;
1963 /* Terminate the list. */
1964 temp_params
[param_count
++] = NULL
;
1966 /* Make a copy of the compile_params in heap space. */
1969 = (const char **) xmalloc (sizeof (char *) * (param_count
+1));
1970 memcpy (compile_params
, temp_params
, sizeof (char *) * param_count
);
1973 /* Do a recompilation for the express purpose of generating a new aux_info
1974 file to go with a specific base source file. */
1977 gen_aux_info_file (base_filename
)
1978 const char *base_filename
;
1982 if (!input_file_name_index
)
1983 munge_compile_params ("");
1985 /* Store the full source file name in the argument vector. */
1986 compile_params
[input_file_name_index
] = shortpath (NULL
, base_filename
);
1987 /* Add .X to source file name to get aux-info file name. */
1988 compile_params
[aux_info_file_name_index
]
1989 = savestring2 (compile_params
[input_file_name_index
],
1990 strlen (compile_params
[input_file_name_index
]),
1995 fprintf (stderr
, "%s: compiling `%s'\n",
1996 pname
, compile_params
[input_file_name_index
]);
1998 if (child_pid
= fork ())
2000 if (child_pid
== -1)
2002 fprintf (stderr
, "%s: could not fork process: %s\n",
2003 pname
, sys_errlist
[errno
]);
2008 /* Print out the command line that the other process is now executing. */
2014 fputs ("\t", stderr
);
2015 for (arg
= compile_params
; *arg
; arg
++)
2017 fputs (*arg
, stderr
);
2018 fputc (' ', stderr
);
2020 fputc ('\n', stderr
);
2028 if (wait (&wait_status
) == -1)
2030 fprintf (stderr
, "%s: wait failed: %s\n",
2031 pname
, sys_errlist
[errno
]);
2034 if ((wait_status
& 0x7F) != 0)
2036 fprintf (stderr
, "%s: subprocess got fatal signal %d",
2037 pname
, (wait_status
& 0x7F));
2040 if (((wait_status
& 0xFF00) >> 8) != 0)
2042 fprintf (stderr
, "%s: %s exited with status %d\n",
2043 pname
, base_filename
, ((wait_status
& 0xFF00) >> 8));
2051 if (my_execvp (compile_params
[0], (char *const *) compile_params
))
2053 int e
= errno
, f
= fileno (stderr
);
2054 write (f
, pname
, strlen (pname
));
2056 write (f
, compile_params
[0], strlen (compile_params
[0]));
2058 write (f
, sys_errlist
[e
], strlen (sys_errlist
[e
]));
2062 return 1; /* Never executed. */
2066 /* Read in all of the information contained in a single aux_info file.
2067 Save all of the important stuff for later. */
2070 process_aux_info_file (base_source_filename
, keep_it
, is_syscalls
)
2071 const char *base_source_filename
;
2075 size_t base_len
= strlen (base_source_filename
);
2076 char * aux_info_filename
2077 = (char *) alloca (base_len
+ strlen (aux_info_suffix
) + 1);
2078 char *aux_info_base
;
2079 char *aux_info_limit
;
2080 char *aux_info_relocated_name
;
2081 const char *aux_info_second_line
;
2082 time_t aux_info_mtime
;
2083 size_t aux_info_size
;
2086 /* Construct the aux_info filename from the base source filename. */
2088 strcpy (aux_info_filename
, base_source_filename
);
2089 strcat (aux_info_filename
, aux_info_suffix
);
2091 /* Check that the aux_info file exists and is readable. If it does not
2092 exist, try to create it (once only). */
2094 /* If file doesn't exist, set must_create.
2095 Likewise if it exists and we can read it but it is obsolete.
2096 Otherwise, report an error. */
2099 /* Come here with must_create set to 1 if file is out of date. */
2102 if (my_access (aux_info_filename
, R_OK
) == -1)
2104 if (errno
== ENOENT
)
2108 fprintf (stderr
, "%s: warning: missing SYSCALLS file `%s'\n",
2109 pname
, aux_info_filename
);
2116 fprintf (stderr
, "%s: can't read aux info file `%s': %s\n",
2117 pname
, shortpath (NULL
, aux_info_filename
),
2118 sys_errlist
[errno
]);
2123 #if 0 /* There is code farther down to take care of this. */
2127 stat (aux_info_file_name
, &s1
);
2128 stat (base_source_file_name
, &s2
);
2129 if (s2
.st_mtime
> s1
.st_mtime
)
2134 /* If we need a .X file, create it, and verify we can read it. */
2137 if (!gen_aux_info_file (base_source_filename
))
2142 if (my_access (aux_info_filename
, R_OK
) == -1)
2144 fprintf (stderr
, "%s: can't read aux info file `%s': %s\n",
2145 pname
, shortpath (NULL
, aux_info_filename
),
2146 sys_errlist
[errno
]);
2153 struct stat stat_buf
;
2155 /* Get some status information about this aux_info file. */
2157 if (my_stat (aux_info_filename
, &stat_buf
) == -1)
2159 fprintf (stderr
, "%s: can't get status of aux info file `%s': %s\n",
2160 pname
, shortpath (NULL
, aux_info_filename
),
2161 sys_errlist
[errno
]);
2166 /* Check on whether or not this aux_info file is zero length. If it is,
2167 then just ignore it and return. */
2169 if ((aux_info_size
= stat_buf
.st_size
) == 0)
2172 /* Get the date/time of last modification for this aux_info file and
2173 remember it. We will have to check that any source files that it
2174 contains information about are at least this old or older. */
2176 aux_info_mtime
= stat_buf
.st_mtime
;
2180 /* Compare mod time with the .c file; update .X file if obsolete.
2181 The code later on can fail to check the .c file
2182 if it did not directly define any functions. */
2184 if (my_stat (base_source_filename
, &stat_buf
) == -1)
2186 fprintf (stderr
, "%s: can't get status of aux info file `%s': %s\n",
2187 pname
, shortpath (NULL
, base_source_filename
),
2188 sys_errlist
[errno
]);
2192 if (stat_buf
.st_mtime
> aux_info_mtime
)
2203 /* Open the aux_info file. */
2205 if ((aux_info_file
= my_open (aux_info_filename
, O_RDONLY
, 0444 )) == -1)
2207 fprintf (stderr
, "%s: can't open aux info file `%s' for reading: %s\n",
2208 pname
, shortpath (NULL
, aux_info_filename
),
2209 sys_errlist
[errno
]);
2213 /* Allocate space to hold the aux_info file in memory. */
2215 aux_info_base
= xmalloc (aux_info_size
+ 1);
2216 aux_info_limit
= aux_info_base
+ aux_info_size
;
2217 *aux_info_limit
= '\0';
2219 /* Read the aux_info file into memory. */
2221 if (read (aux_info_file
, aux_info_base
, aux_info_size
) != aux_info_size
)
2223 fprintf (stderr
, "%s: error reading aux info file `%s': %s\n",
2224 pname
, shortpath (NULL
, aux_info_filename
),
2225 sys_errlist
[errno
]);
2226 free (aux_info_base
);
2227 close (aux_info_file
);
2231 /* Close the aux info file. */
2233 if (close (aux_info_file
))
2235 fprintf (stderr
, "%s: error closing aux info file `%s': %s\n",
2236 pname
, shortpath (NULL
, aux_info_filename
),
2237 sys_errlist
[errno
]);
2238 free (aux_info_base
);
2239 close (aux_info_file
);
2244 /* Delete the aux_info file (unless requested not to). If the deletion
2245 fails for some reason, don't even worry about it. */
2247 if (must_create
&& !keep_it
)
2248 if (my_unlink (aux_info_filename
) == -1)
2249 fprintf (stderr
, "%s: can't delete aux info file `%s': %s\n",
2250 pname
, shortpath (NULL
, aux_info_filename
),
2251 sys_errlist
[errno
]);
2253 /* Save a pointer into the first line of the aux_info file which
2254 contains the filename of the directory from which the compiler
2255 was invoked when the associated source file was compiled.
2256 This information is used later to help create complete
2257 filenames out of the (potentially) relative filenames in
2258 the aux_info file. */
2261 char *p
= aux_info_base
;
2268 invocation_filename
= p
; /* Save a pointer to first byte of path. */
2273 while (*p
++ != '\n')
2275 aux_info_second_line
= p
;
2276 aux_info_relocated_name
= 0;
2277 if (invocation_filename
[0] != '/')
2279 /* INVOCATION_FILENAME is relative;
2280 append it to BASE_SOURCE_FILENAME's dir. */
2282 aux_info_relocated_name
= xmalloc (base_len
+ (p
-invocation_filename
));
2283 strcpy (aux_info_relocated_name
, base_source_filename
);
2284 dir_end
= rindex (aux_info_relocated_name
, '/');
2288 dir_end
= aux_info_relocated_name
;
2289 strcpy (dir_end
, invocation_filename
);
2290 invocation_filename
= aux_info_relocated_name
;
2296 const char *aux_info_p
;
2298 /* Do a pre-pass on the lines in the aux_info file, making sure that all
2299 of the source files referenced in there are at least as old as this
2300 aux_info file itself. If not, go back and regenerate the aux_info
2301 file anew. Don't do any of this for the syscalls file. */
2305 current_aux_info_lineno
= 2;
2307 for (aux_info_p
= aux_info_second_line
; *aux_info_p
; )
2309 if (referenced_file_is_newer (aux_info_p
, aux_info_mtime
))
2311 free (aux_info_base
);
2312 xfree (aux_info_relocated_name
);
2313 if (keep_it
&& my_unlink (aux_info_filename
) == -1)
2315 fprintf (stderr
, "%s: can't delete file `%s': %s\n",
2316 pname
, shortpath (NULL
, aux_info_filename
),
2317 sys_errlist
[errno
]);
2323 /* Skip over the rest of this line to start of next line. */
2325 while (*aux_info_p
!= '\n')
2328 current_aux_info_lineno
++;
2332 /* Now do the real pass on the aux_info lines. Save their information in
2333 the in-core data base. */
2335 current_aux_info_lineno
= 2;
2337 for (aux_info_p
= aux_info_second_line
; *aux_info_p
;)
2339 char *unexpanded_line
= unexpand_if_needed (aux_info_p
);
2341 if (unexpanded_line
)
2343 save_def_or_dec (unexpanded_line
, is_syscalls
);
2344 free (unexpanded_line
);
2347 save_def_or_dec (aux_info_p
, is_syscalls
);
2349 /* Skip over the rest of this line and get to start of next line. */
2351 while (*aux_info_p
!= '\n')
2354 current_aux_info_lineno
++;
2358 free (aux_info_base
);
2359 xfree (aux_info_relocated_name
);
2364 /* Check an individual filename for a .c suffix. If the filename has this
2365 suffix, rename the file such that its suffix is changed to .C. This
2366 function implements the -C option. */
2370 const hash_table_entry
*hp
;
2372 const char *filename
= hp
->symbol
;
2373 int last_char_index
= strlen (filename
) - 1;
2374 char *const new_filename
= (char *) alloca (strlen (filename
) + 1);
2376 /* Note that we don't care here if the given file was converted or not. It
2377 is possible that the given file was *not* converted, simply because there
2378 was nothing in it which actually required conversion. Even in this case,
2379 we want to do the renaming. Note that we only rename files with the .c
2382 if (filename
[last_char_index
] != 'c' || filename
[last_char_index
-1] != '.')
2385 strcpy (new_filename
, filename
);
2386 new_filename
[last_char_index
] = 'C';
2388 if (my_link (filename
, new_filename
) == -1)
2390 fprintf (stderr
, "%s: warning: can't link file `%s' to `%s': %s\n",
2391 pname
, shortpath (NULL
, filename
),
2392 shortpath (NULL
, new_filename
), sys_errlist
[errno
]);
2397 if (my_unlink (filename
) == -1)
2399 fprintf (stderr
, "%s: warning: can't delete file `%s': %s\n",
2400 pname
, shortpath (NULL
, filename
), sys_errlist
[errno
]);
2406 #endif /* !defined (UNPROTOIZE) */
2408 /* Take the list of definitions and declarations attached to a particular
2409 file_info node and reverse the order of the list. This should get the
2410 list into an order such that the item with the lowest associated line
2411 number is nearest the head of the list. When these lists are originally
2412 built, they are in the opposite order. We want to traverse them in
2413 normal line number order later (i.e. lowest to highest) so reverse the
2417 reverse_def_dec_list (hp
)
2418 const hash_table_entry
*hp
;
2420 file_info
*file_p
= hp
->fip
;
2421 const def_dec_info
*prev
= NULL
;
2422 const def_dec_info
*current
= file_p
->defs_decs
;
2424 if (!( current
= file_p
->defs_decs
))
2425 return; /* no list to reverse */
2428 if (! (current
= current
->next_in_file
))
2429 return; /* can't reverse a single list element */
2431 ((NONCONST def_dec_info
*) prev
)->next_in_file
= NULL
;
2435 const def_dec_info
*next
= current
->next_in_file
;
2437 ((NONCONST def_dec_info
*) current
)->next_in_file
= prev
;
2442 file_p
->defs_decs
= prev
;
2447 /* Find the (only?) extern definition for a particular function name, starting
2448 from the head of the linked list of entries for the given name. If we
2449 cannot find an extern definition for the given function name, issue a
2450 warning and scrounge around for the next best thing, i.e. an extern
2451 function declaration with a prototype attached to it. Note that we only
2452 allow such substitutions for extern declarations and never for static
2453 declarations. That's because the only reason we allow them at all is
2454 to let un-prototyped function declarations for system-supplied library
2455 functions get their prototypes from our own extra SYSCALLS.c.X file which
2456 contains all of the correct prototypes for system functions. */
2458 static const def_dec_info
*
2459 find_extern_def (head
, user
)
2460 const def_dec_info
*head
;
2461 const def_dec_info
*user
;
2463 const def_dec_info
*dd_p
;
2464 const def_dec_info
*extern_def_p
= NULL
;
2465 int conflict_noted
= 0;
2467 /* Don't act too stupid here. Somebody may try to convert an entire system
2468 in one swell fwoop (rather than one program at a time, as should be done)
2469 and in that case, we may find that there are multiple extern definitions
2470 of a given function name in the entire set of source files that we are
2471 converting. If however one of these definitions resides in exactly the
2472 same source file as the reference we are trying to satisfy then in that
2473 case it would be stupid for us to fail to realize that this one definition
2474 *must* be the precise one we are looking for.
2476 To make sure that we don't miss an opportunity to make this "same file"
2477 leap of faith, we do a prescan of the list of records relating to the
2478 given function name, and we look (on this first scan) *only* for a
2479 definition of the function which is in the same file as the reference
2480 we are currently trying to satisfy. */
2482 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2483 if (dd_p
->is_func_def
&& !dd_p
->is_static
&& dd_p
->file
== user
->file
)
2486 /* Now, since we have not found a definition in the same file as the
2487 reference, we scan the list again and consider all possibilities from
2488 all files. Here we may get conflicts with the things listed in the
2489 SYSCALLS.c.X file, but if that happens it only means that the source
2490 code being converted contains its own definition of a function which
2491 could have been supplied by libc.a. In such cases, we should avoid
2492 issuing the normal warning, and defer to the definition given in the
2495 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2496 if (dd_p
->is_func_def
&& !dd_p
->is_static
)
2498 if (!extern_def_p
) /* Previous definition? */
2499 extern_def_p
= dd_p
; /* Remember the first definition found. */
2502 /* Ignore definition just found if it came from SYSCALLS.c.X. */
2504 if (is_syscalls_file (dd_p
->file
))
2507 /* Quietly replace the definition previously found with the one
2508 just found if the previous one was from SYSCALLS.c.X. */
2510 if (is_syscalls_file (extern_def_p
->file
))
2512 extern_def_p
= dd_p
;
2516 /* If we get here, then there is a conflict between two function
2517 declarations for the same function, both of which came from the
2520 if (!conflict_noted
) /* first time we noticed? */
2523 fprintf (stderr
, "%s: conflicting extern definitions of '%s'\n",
2524 pname
, head
->hash_entry
->symbol
);
2527 fprintf (stderr
, "%s: declarations of '%s' will not be converted\n",
2528 pname
, head
->hash_entry
->symbol
);
2529 fprintf (stderr
, "%s: conflict list for '%s' follows:\n",
2530 pname
, head
->hash_entry
->symbol
);
2531 fprintf (stderr
, "%s: %s(%d): %s\n",
2533 shortpath (NULL
, extern_def_p
->file
->hash_entry
->symbol
),
2534 extern_def_p
->line
, extern_def_p
->ansi_decl
);
2538 fprintf (stderr
, "%s: %s(%d): %s\n",
2540 shortpath (NULL
, dd_p
->file
->hash_entry
->symbol
),
2541 dd_p
->line
, dd_p
->ansi_decl
);
2545 /* We want to err on the side of caution, so if we found multiple conflicting
2546 definitions for the same function, treat this as being that same as if we
2547 had found no definitions (i.e. return NULL). */
2554 /* We have no definitions for this function so do the next best thing.
2555 Search for an extern declaration already in prototype form. */
2557 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2558 if (!dd_p
->is_func_def
&& !dd_p
->is_static
&& dd_p
->prototyped
)
2560 extern_def_p
= dd_p
; /* save a pointer to the definition */
2562 fprintf (stderr
, "%s: warning: using formals list from %s(%d) for function `%s'\n",
2564 shortpath (NULL
, dd_p
->file
->hash_entry
->symbol
),
2565 dd_p
->line
, dd_p
->hash_entry
->symbol
);
2569 /* Gripe about unprototyped function declarations that we found no
2570 corresponding definition (or other source of prototype information)
2573 Gripe even if the unprototyped declaration we are worried about
2574 exists in a file in one of the "system" include directories. We
2575 can gripe about these because we should have at least found a
2576 corresponding (pseudo) definition in the SYSCALLS.c.X file. If we
2577 didn't, then that means that the SYSCALLS.c.X file is missing some
2578 needed prototypes for this particular system. That is worth telling
2583 const char *file
= user
->file
->hash_entry
->symbol
;
2586 if (in_system_include_dir (file
))
2588 /* Why copy this string into `needed' at all?
2589 Why not just use user->ansi_decl without copying? */
2590 char *needed
= (char *) alloca (strlen (user
->ansi_decl
) + 1);
2593 strcpy (needed
, user
->ansi_decl
);
2594 p
= (NONCONST
char *) substr (needed
, user
->hash_entry
->symbol
)
2595 + strlen (user
->hash_entry
->symbol
) + 2;
2596 /* Avoid having ??? in the string. */
2602 fprintf (stderr
, "%s: %d: `%s' used but missing from SYSCALLS\n",
2603 shortpath (NULL
, file
), user
->line
,
2604 needed
+7); /* Don't print "extern " */
2608 fprintf (stderr
, "%s: %d: warning: no extern definition for `%s'\n",
2609 shortpath (NULL
, file
), user
->line
,
2610 user
->hash_entry
->symbol
);
2614 return extern_def_p
;
2617 /* Find the (only?) static definition for a particular function name in a
2618 given file. Here we get the function-name and the file info indirectly
2619 from the def_dec_info record pointer which is passed in. */
2621 static const def_dec_info
*
2622 find_static_definition (user
)
2623 const def_dec_info
*user
;
2625 const def_dec_info
*head
= user
->hash_entry
->ddip
;
2626 const def_dec_info
*dd_p
;
2627 int num_static_defs
= 0;
2628 const def_dec_info
*static_def_p
= NULL
;
2630 for (dd_p
= head
; dd_p
; dd_p
= dd_p
->next_for_func
)
2631 if (dd_p
->is_func_def
&& dd_p
->is_static
&& (dd_p
->file
== user
->file
))
2633 static_def_p
= dd_p
; /* save a pointer to the definition */
2636 if (num_static_defs
== 0)
2639 fprintf (stderr
, "%s: warning: no static definition for `%s' in file `%s'\n",
2640 pname
, head
->hash_entry
->symbol
,
2641 shortpath (NULL
, user
->file
->hash_entry
->symbol
));
2643 else if (num_static_defs
> 1)
2645 fprintf (stderr
, "%s: multiple static defs of `%s' in file `%s'\n",
2646 pname
, head
->hash_entry
->symbol
,
2647 shortpath (NULL
, user
->file
->hash_entry
->symbol
));
2650 return static_def_p
;
2653 /* Find good prototype style formal argument lists for all of the function
2654 declarations which didn't have them before now.
2656 To do this we consider each function name one at a time. For each function
2657 name, we look at the items on the linked list of def_dec_info records for
2658 that particular name.
2660 Somewhere on this list we should find one (and only one) def_dec_info
2661 record which represents the actual function definition, and this record
2662 should have a nice formal argument list already associated with it.
2664 Thus, all we have to do is to connect up all of the other def_dec_info
2665 records for this particular function name to the special one which has
2666 the full-blown formals list.
2668 Of course it is a little more complicated than just that. See below for
2672 connect_defs_and_decs (hp
)
2673 const hash_table_entry
*hp
;
2675 const def_dec_info
*dd_p
;
2676 const def_dec_info
*extern_def_p
= NULL
;
2677 int first_extern_reference
= 1;
2679 /* Traverse the list of definitions and declarations for this particular
2680 function name. For each item on the list, if it is a function
2681 definition (either old style or new style) then GCC has already been
2682 kind enough to produce a prototype for us, and it is associated with
2683 the item already, so declare the item as its own associated "definition".
2685 Also, for each item which is only a function declaration, but which
2686 nonetheless has its own prototype already (obviously supplied by the user)
2687 declare the item as it's own definition.
2689 Note that when/if there are multiple user-supplied prototypes already
2690 present for multiple declarations of any given function, these multiple
2691 prototypes *should* all match exactly with one another and with the
2692 prototype for the actual function definition. We don't check for this
2693 here however, since we assume that the compiler must have already done
2694 this consistency checking when it was creating the .X files. */
2696 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2697 if (dd_p
->prototyped
)
2698 ((NONCONST def_dec_info
*) dd_p
)->definition
= dd_p
;
2700 /* Traverse the list of definitions and declarations for this particular
2701 function name. For each item on the list, if it is an extern function
2702 declaration and if it has no associated definition yet, go try to find
2703 the matching extern definition for the declaration.
2705 When looking for the matching function definition, warn the user if we
2708 If we find more that one function definition also issue a warning.
2710 Do the search for the matching definition only once per unique function
2711 name (and only when absolutely needed) so that we can avoid putting out
2712 redundant warning messages, and so that we will only put out warning
2713 messages when there is actually a reference (i.e. a declaration) for
2714 which we need to find a matching definition. */
2716 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2717 if (!dd_p
->is_func_def
&& !dd_p
->is_static
&& !dd_p
->definition
)
2719 if (first_extern_reference
)
2721 extern_def_p
= find_extern_def (hp
->ddip
, dd_p
);
2722 first_extern_reference
= 0;
2724 ((NONCONST def_dec_info
*) dd_p
)->definition
= extern_def_p
;
2727 /* Traverse the list of definitions and declarations for this particular
2728 function name. For each item on the list, if it is a static function
2729 declaration and if it has no associated definition yet, go try to find
2730 the matching static definition for the declaration within the same file.
2732 When looking for the matching function definition, warn the user if we
2733 fail to find one in the same file with the declaration, and refuse to
2734 convert this kind of cross-file static function declaration. After all,
2735 this is stupid practice and should be discouraged.
2737 We don't have to worry about the possibility that there is more than one
2738 matching function definition in the given file because that would have
2739 been flagged as an error by the compiler.
2741 Do the search for the matching definition only once per unique
2742 function-name/source-file pair (and only when absolutely needed) so that
2743 we can avoid putting out redundant warning messages, and so that we will
2744 only put out warning messages when there is actually a reference (i.e. a
2745 declaration) for which we actually need to find a matching definition. */
2747 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2748 if (!dd_p
->is_func_def
&& dd_p
->is_static
&& !dd_p
->definition
)
2750 const def_dec_info
*dd_p2
;
2751 const def_dec_info
*static_def
;
2753 /* We have now found a single static declaration for which we need to
2754 find a matching definition. We want to minimize the work (and the
2755 number of warnings), so we will find an appropriate (matching)
2756 static definition for this declaration, and then distribute it
2757 (as the definition for) any and all other static declarations
2758 for this function name which occur within the same file, and which
2759 do not already have definitions.
2761 Note that a trick is used here to prevent subsequent attempts to
2762 call find_static_definition for a given function-name & file
2763 if the first such call returns NULL. Essentially, we convert
2764 these NULL return values to -1, and put the -1 into the definition
2765 field for each other static declaration from the same file which
2766 does not already have an associated definition.
2767 This makes these other static declarations look like they are
2768 actually defined already when the outer loop here revisits them
2769 later on. Thus, the outer loop will skip over them. Later, we
2770 turn the -1's back to NULL's. */
2772 ((NONCONST def_dec_info
*) dd_p
)->definition
=
2773 (static_def
= find_static_definition (dd_p
))
2775 : (const def_dec_info
*) -1;
2777 for (dd_p2
= dd_p
->next_for_func
; dd_p2
; dd_p2
= dd_p2
->next_for_func
)
2778 if (!dd_p2
->is_func_def
&& dd_p2
->is_static
2779 && !dd_p2
->definition
&& (dd_p2
->file
== dd_p
->file
))
2780 ((NONCONST def_dec_info
*)dd_p2
)->definition
= dd_p
->definition
;
2783 /* Convert any dummy (-1) definitions we created in the step above back to
2784 NULL's (as they should be). */
2786 for (dd_p
= hp
->ddip
; dd_p
; dd_p
= dd_p
->next_for_func
)
2787 if (dd_p
->definition
== (def_dec_info
*) -1)
2788 ((NONCONST def_dec_info
*) dd_p
)->definition
= NULL
;
2791 #endif /* !defined (UNPROTOIZE) */
2793 /* Give a pointer into the clean text buffer, return a number which is the
2794 original source line number that the given pointer points into. */
2797 identify_lineno (clean_p
)
2798 const char *clean_p
;
2803 for (scan_p
= clean_text_base
; scan_p
<= clean_p
; scan_p
++)
2804 if (*scan_p
== '\n')
2809 /* Issue an error message and give up on doing this particular edit. */
2812 declare_source_confusing (clean_p
)
2813 const char *clean_p
;
2818 fprintf (stderr
, "%s: %d: warning: source too confusing\n",
2819 shortpath (NULL
, convert_filename
), last_known_line_number
);
2821 fprintf (stderr
, "%s: %d: warning: source too confusing\n",
2822 shortpath (NULL
, convert_filename
),
2823 identify_lineno (clean_p
));
2825 longjmp (source_confusion_recovery
, 1);
2828 /* Check that a condition which is expected to be true in the original source
2829 code is in fact true. If not, issue an error message and give up on
2830 converting this particular source file. */
2833 check_source (cond
, clean_p
)
2835 const char *clean_p
;
2838 declare_source_confusing (clean_p
);
2841 /* If we think of the in-core cleaned text buffer as a memory mapped
2842 file (with the variable last_known_line_start acting as sort of a
2843 file pointer) then we can imagine doing "seeks" on the buffer. The
2844 following routine implements a kind of "seek" operation for the in-core
2845 (cleaned) copy of the source file. When finished, it returns a pointer to
2846 the start of a given (numbered) line in the cleaned text buffer.
2848 Note that protoize only has to "seek" in the forward direction on the
2849 in-core cleaned text file buffers, and it never needs to back up.
2851 This routine is made a little bit faster by remembering the line number
2852 (and pointer value) supplied (and returned) from the previous "seek".
2853 This prevents us from always having to start all over back at the top
2854 of the in-core cleaned buffer again. */
2860 if (n
< last_known_line_number
)
2863 while (n
> last_known_line_number
)
2865 while (*last_known_line_start
!= '\n')
2866 check_source (++last_known_line_start
< clean_text_limit
, 0);
2867 last_known_line_start
++;
2868 last_known_line_number
++;
2870 return last_known_line_start
;
2873 /* Given a pointer to a character in the cleaned text buffer, return a pointer
2874 to the next non-whitepace character which follows it. */
2877 forward_to_next_token_char (ptr
)
2880 for (++ptr
; isspace (*ptr
); check_source (++ptr
< clean_text_limit
, 0))
2885 /* Copy a chunk of text of length `len' and starting at `str' to the current
2886 output buffer. Note that all attempts to add stuff to the current output
2887 buffer ultimately go through here. */
2890 output_bytes (str
, len
)
2894 if ((repl_write_ptr
+ 1) + len
>= repl_text_limit
)
2896 size_t new_size
= (repl_text_limit
- repl_text_base
) << 1;
2897 char *new_buf
= (char *) xrealloc (repl_text_base
, new_size
);
2899 repl_write_ptr
= new_buf
+ (repl_write_ptr
- repl_text_base
);
2900 repl_text_base
= new_buf
;
2901 repl_text_limit
= new_buf
+ new_size
;
2903 memcpy (repl_write_ptr
+ 1, str
, len
);
2904 repl_write_ptr
+= len
;
2907 /* Copy all bytes (except the trailing null) of a null terminated string to
2908 the current output buffer. */
2914 output_bytes (str
, strlen (str
));
2917 /* Copy some characters from the original text buffer to the current output
2920 This routine takes a pointer argument `p' which is assumed to be a pointer
2921 into the cleaned text buffer. The bytes which are copied are the `original'
2922 equivalents for the set of bytes between the last value of `clean_read_ptr'
2923 and the argument value `p'.
2925 The set of bytes copied however, comes *not* from the cleaned text buffer,
2926 but rather from the direct counterparts of these bytes within the original
2929 Thus, when this function is called, some bytes from the original text
2930 buffer (which may include original comments and preprocessing directives)
2931 will be copied into the output buffer.
2933 Note that the request implide when this routine is called includes the
2934 byte pointed to by the argument pointer `p'. */
2940 size_t copy_length
= (size_t) (p
- clean_read_ptr
);
2941 const char *copy_start
= orig_text_base
+(clean_read_ptr
-clean_text_base
)+1;
2943 if (copy_length
== 0)
2946 output_bytes (copy_start
, copy_length
);
2950 /* Given a pointer to a def_dec_info record which represents some form of
2951 definition of a function (perhaps a real definition, or in lieu of that
2952 perhaps just a declaration with a full prototype) return true if this
2953 function is one which we should avoid converting. Return false
2957 other_variable_style_function (ansi_header
)
2958 const char *ansi_header
;
2962 /* See if we have a stdarg function, or a function which has stdarg style
2963 parameters or a stdarg style return type. */
2965 return (int) substr (ansi_header
, "...");
2967 #else /* !defined (UNPROTOIZE) */
2969 /* See if we have a varargs function, or a function which has varargs style
2970 parameters or a varargs style return type. */
2973 int len
= strlen (varargs_style_indicator
);
2975 for (p
= ansi_header
; p
; )
2977 const char *candidate
;
2979 if ((candidate
= substr (p
, varargs_style_indicator
)) == 0)
2982 if (!is_id_char (candidate
[-1]) && !is_id_char (candidate
[len
]))
2988 #endif /* !defined (UNPROTOIZE) */
2991 /* Do the editing operation specifically for a function "declaration". Note
2992 that editing for function "definitions" are handled in a separate routine
2996 edit_fn_declaration (def_dec_p
, clean_text_p
)
2997 const def_dec_info
*def_dec_p
;
2998 const char *volatile clean_text_p
;
3000 const char *start_formals
;
3001 const char *end_formals
;
3002 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3003 size_t func_name_len
= strlen (function_to_edit
);
3004 const char *end_of_fn_name
;
3008 const f_list_chain_item
*this_f_list_chain_item
;
3009 const def_dec_info
*definition
= def_dec_p
->definition
;
3011 /* If we are protoizing, and if we found no corresponding definition for
3012 this particular function declaration, then just leave this declaration
3013 exactly as it is. */
3018 /* If we are protoizing, and if the corresponding definition that we found
3019 for this particular function declaration defined an old style varargs
3020 function, then we want to issue a warning and just leave this function
3021 declaration unconverted. */
3023 if (other_variable_style_function (definition
->ansi_decl
))
3026 fprintf (stderr
, "%s: %d: warning: varargs function declaration not converted\n",
3027 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3032 #endif /* !defined (UNPROTOIZE) */
3034 /* Setup here to recover from confusing source code detected during this
3035 particular "edit". */
3038 if (setjmp (source_confusion_recovery
))
3040 restore_pointers ();
3041 fprintf (stderr
, "%s: declaration of function `%s' not converted\n",
3042 pname
, function_to_edit
);
3046 /* We are editing a function declaration. The line number we did a seek to
3047 contains the comma or semicolon which follows the declaration. Our job
3048 now is to scan backwards looking for the function name. This name *must*
3049 be followed by open paren (ignoring whitespace, of course). We need to
3050 replace everything between that open paren and the corresponding closing
3051 paren. If we are protoizing, we need to insert the prototype-style
3052 formals lists. If we are unprotoizing, we need to just delete everything
3053 between the pairs of opening and closing parens. */
3055 /* First move up to the end of the line. */
3057 while (*clean_text_p
!= '\n')
3058 check_source (++clean_text_p
< clean_text_limit
, 0);
3059 clean_text_p
--; /* Point to just before the newline character. */
3061 /* Now we can scan backwards for the function name. */
3067 /* Scan leftwards until we find some character which can be
3068 part of an identifier. */
3070 while (!is_id_char (*clean_text_p
))
3071 check_source (--clean_text_p
> clean_read_ptr
, 0);
3073 /* Scan backwards until we find a char that cannot be part of an
3076 while (is_id_char (*clean_text_p
))
3077 check_source (--clean_text_p
> clean_read_ptr
, 0);
3079 /* Having found an "id break", see if the following id is the one
3080 that we are looking for. If so, then exit from this loop. */
3082 if (!strncmp (clean_text_p
+1, function_to_edit
, func_name_len
))
3084 char ch
= *(clean_text_p
+ 1 + func_name_len
);
3086 /* Must also check to see that the name in the source text
3087 ends where it should (in order to prevent bogus matches
3088 on similar but longer identifiers. */
3090 if (! is_id_char (ch
))
3091 break; /* exit from loop */
3095 /* We have now found the first perfect match for the function name in
3096 our backward search. This may or may not be the actual function
3097 name at the start of the actual function declaration (i.e. we could
3098 have easily been mislead). We will try to avoid getting fooled too
3099 often by looking forward for the open paren which should follow the
3100 identifier we just found. We ignore whitespace while hunting. If
3101 the next non-whitespace byte we see is *not* an open left paren,
3102 then we must assume that we have been fooled and we start over
3103 again accordingly. Note that there is no guarantee, that even if
3104 we do see the open paren, that we are in the right place.
3105 Programmers do the strangest things sometimes! */
3107 end_of_fn_name
= clean_text_p
+ strlen (def_dec_p
->hash_entry
->symbol
);
3108 start_formals
= forward_to_next_token_char (end_of_fn_name
);
3110 while (*start_formals
!= '(');
3112 /* start_of_formals now points to the opening left paren which immediately
3113 follows the name of the function. */
3115 /* Note that there may be several formals lists which need to be modified
3116 due to the possibility that the return type of this function is a
3117 pointer-to-function type. If there are several formals lists, we
3118 convert them in left-to-right order here. */
3121 this_f_list_chain_item
= definition
->f_list_chain
;
3122 #endif /* !defined (UNPROTOIZE) */
3129 end_formals
= start_formals
+ 1;
3131 for (; depth
; check_source (++end_formals
< clean_text_limit
, 0))
3133 switch (*end_formals
)
3146 /* end_formals now points to the closing right paren of the formals
3147 list whose left paren is pointed to by start_formals. */
3149 /* Now, if we are protoizing, we insert the new ANSI-style formals list
3150 attached to the associated definition of this function. If however
3151 we are unprotoizing, then we simply delete any formals list which
3154 output_up_to (start_formals
);
3156 if (this_f_list_chain_item
)
3158 output_string (this_f_list_chain_item
->formals_list
);
3159 this_f_list_chain_item
= this_f_list_chain_item
->chain_next
;
3164 fprintf (stderr
, "%s: warning: too many parameter lists in declaration of `%s'\n",
3165 pname
, def_dec_p
->hash_entry
->symbol
);
3166 check_source (0, end_formals
); /* leave the declaration intact */
3168 #endif /* !defined (UNPROTOIZE) */
3169 clean_read_ptr
= end_formals
- 1;
3171 /* Now see if it looks like there may be another formals list associated
3172 with the function declaration that we are converting (following the
3173 formals list that we just converted. */
3176 const char *another_r_paren
= forward_to_next_token_char (end_formals
);
3178 if ((*another_r_paren
!= ')')
3179 || (*(start_formals
= forward_to_next_token_char (another_r_paren
)) != '('))
3182 if (this_f_list_chain_item
)
3185 fprintf (stderr
, "\n%s: warning: too few parameter lists in declaration of `%s'\n",
3186 pname
, def_dec_p
->hash_entry
->symbol
);
3187 check_source (0, start_formals
); /* leave the decl intact */
3189 #endif /* !defined (UNPROTOIZE) */
3195 /* There does appear to be yet another formals list, so loop around
3196 again, and convert it also. */
3200 /* Edit a whole group of formals lists, starting with the rightmost one
3201 from some set of formals lists. This routine is called once (from the
3202 outside) for each function declaration which is converted. It is
3203 recursive however, and it calls itself once for each remaining formal
3204 list that lies to the left of the one it was originally called to work
3205 on. Thus, a whole set gets done in right-to-left order.
3207 This routine returns non-zero if it thinks that it should not be trying
3208 to convert this particular function definition (because the name of the
3209 function doesn't match the one expected). */
3212 edit_formals_lists (end_formals
, f_list_count
, def_dec_p
)
3213 const char *end_formals
;
3214 unsigned int f_list_count
;
3215 const def_dec_info
*def_dec_p
;
3217 const char *start_formals
;
3220 start_formals
= end_formals
- 1;
3222 for (; depth
; check_source (--start_formals
> clean_read_ptr
, 0))
3224 switch (*start_formals
)
3236 /* start_formals now points to the opening left paren of the formals list. */
3242 const char *next_end
;
3244 /* There should be more formal lists to the left of here. */
3246 next_end
= start_formals
- 1;
3247 check_source (next_end
> clean_read_ptr
, 0);
3248 while (isspace (*next_end
))
3249 check_source (--next_end
> clean_read_ptr
, 0);
3250 check_source (*next_end
== ')', next_end
);
3251 check_source (--next_end
> clean_read_ptr
, 0);
3252 check_source (*next_end
== ')', next_end
);
3253 if (edit_formals_lists (next_end
, f_list_count
, def_dec_p
))
3257 /* Check that the function name in the header we are working on is the same
3258 as the one we would expect to find. If not, issue a warning and return
3261 if (f_list_count
== 0)
3263 const char *expected
= def_dec_p
->hash_entry
->symbol
;
3264 const char *func_name_start
;
3265 const char *func_name_limit
;
3266 size_t func_name_len
;
3268 for (func_name_limit
= start_formals
-1; isspace (*func_name_limit
); )
3269 check_source (--func_name_limit
> clean_read_ptr
, 0);
3271 for (func_name_start
= func_name_limit
++;
3272 is_id_char (*func_name_start
);
3274 check_source (func_name_start
> clean_read_ptr
, 0);
3276 func_name_len
= func_name_limit
- func_name_start
;
3277 if (func_name_len
== 0)
3278 check_source (0, func_name_start
);
3279 if (func_name_len
!= strlen (expected
)
3280 || strncmp (func_name_start
, expected
, func_name_len
))
3282 fprintf (stderr
, "%s: %d: warning: found `%s' but expected `%s'\n",
3283 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3284 identify_lineno (func_name_start
),
3285 dupnstr (func_name_start
, func_name_len
),
3291 output_up_to (start_formals
);
3294 if (f_list_count
== 0)
3295 output_string (def_dec_p
->formal_names
);
3296 #else /* !defined (UNPROTOIZE) */
3298 unsigned f_list_depth
;
3299 const f_list_chain_item
*flci_p
= def_dec_p
->f_list_chain
;
3301 /* At this point, the current value of f_list count says how many
3302 links we have to follow through the f_list_chain to get to the
3303 particular formals list that we need to output next. */
3305 for (f_list_depth
= 0; f_list_depth
< f_list_count
; f_list_depth
++)
3306 flci_p
= flci_p
->chain_next
;
3307 output_string (flci_p
->formals_list
);
3309 #endif /* !defined (UNPROTOIZE) */
3311 clean_read_ptr
= end_formals
- 1;
3315 /* Given a pointer to a byte in the clean text buffer which points to the
3316 beginning of a line that contains a "follower" token for a function
3317 definition header, do whatever is necessary to find the right closing
3318 paren for the rightmost formals list of the function definition header.
3322 find_rightmost_formals_list (clean_text_p
)
3323 const char *clean_text_p
;
3325 const char *end_formals
;
3327 /* We are editing a function definition. The line number we did a seek
3328 to contains the first token which immediately follows the entire set of
3329 formals lists which are part of this particular function definition
3332 Our job now is to scan leftwards in the clean text looking for the
3333 right-paren which is at the end of the function header's rightmost
3336 If we ignore whitespace, this right paren should be the first one we
3337 see which is (ignoring whitespace) immediately followed either by the
3338 open curly-brace beginning the function body or by an alphabetic
3339 character (in the case where the function definition is in old (K&R)
3340 style and there are some declarations of formal parameters). */
3342 /* It is possible that the right paren we are looking for is on the
3343 current line (together with its following token). Just in case that
3344 might be true, we start out here by skipping down to the right end of
3345 the current line before starting our scan. */
3347 for (end_formals
= clean_text_p
; *end_formals
!= '\n'; end_formals
++)
3353 /* Now scan backwards while looking for the right end of the rightmost
3354 formals list associated with this function definition. */
3358 const char *l_brace_p
;
3360 /* Look leftward and try to find a right-paren. */
3362 while (*end_formals
!= ')')
3364 if (isspace (*end_formals
))
3365 while (isspace (*end_formals
))
3366 check_source (--end_formals
> clean_read_ptr
, 0);
3368 check_source (--end_formals
> clean_read_ptr
, 0);
3371 ch
= *(l_brace_p
= forward_to_next_token_char (end_formals
));
3372 /* Since we are unprotoizing an ANSI-style (prototyped) function
3373 definition, there had better not be anything (except whitespace)
3374 between the end of the ANSI formals list and the beginning of the
3375 function body (i.e. the '{'). */
3377 check_source (ch
== '{', l_brace_p
);
3380 #else /* !defined (UNPROTOIZE) */
3382 /* Now scan backwards while looking for the right end of the rightmost
3383 formals list associated with this function definition. */
3388 const char *l_brace_p
;
3390 /* Look leftward and try to find a right-paren. */
3392 while (*end_formals
!= ')')
3394 if (isspace (*end_formals
))
3395 while (isspace (*end_formals
))
3396 check_source (--end_formals
> clean_read_ptr
, 0);
3398 check_source (--end_formals
> clean_read_ptr
, 0);
3401 ch
= *(l_brace_p
= forward_to_next_token_char (end_formals
));
3403 /* Since it is possible that we found a right paren before the starting
3404 '{' of the body which IS NOT the one at the end of the real K&R
3405 formals list (say for instance, we found one embedded inside one of
3406 the old K&R formal parameter declarations) we have to check to be
3407 sure that this is in fact the right paren that we were looking for.
3409 The one we were looking for *must* be followed by either a '{' or
3410 by an alphabetic character, while others *cannot* legally be followed
3411 by such characters. */
3413 if ((ch
== '{') || isalpha (ch
))
3416 /* At this point, we have found a right paren, but we know that it is
3417 not the one we were looking for, so backup one character and keep
3420 check_source (--end_formals
> clean_read_ptr
, 0);
3423 #endif /* !defined (UNPROTOIZE) */
3430 /* Insert into the output file a totally new declaration for a function
3431 which (up until now) was being called from within the current block
3432 without having been declared at any point such that the declaration
3433 was visible (i.e. in scope) at the point of the call.
3435 We need to add in explicit declarations for all such function calls
3436 in order to get the full benefit of prototype-based function call
3437 parameter type checking. */
3440 add_local_decl (def_dec_p
, clean_text_p
)
3441 const def_dec_info
*def_dec_p
;
3442 const char *clean_text_p
;
3444 const char *start_of_block
;
3445 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3447 /* Don't insert new local explicit declarations unless explicitly requested
3453 /* Setup here to recover from confusing source code detected during this
3454 particular "edit". */
3457 if (setjmp (source_confusion_recovery
))
3459 restore_pointers ();
3460 fprintf (stderr
, "%s: local declaration for function `%s' not inserted\n",
3461 pname
, function_to_edit
);
3465 /* We have already done a seek to the start of the line which should
3466 contain *the* open curly brace which begins the block in which we need
3467 to insert an explicit function declaration (to replace the implicit one).
3469 Now we scan that line, starting from the left, until we find the
3470 open curly brace we are looking for. Note that there may actually be
3471 multiple open curly braces on the given line, but we will be happy
3472 with the leftmost one no matter what. */
3474 start_of_block
= clean_text_p
;
3475 while (*start_of_block
!= '{' && *start_of_block
!= '\n')
3476 check_source (++start_of_block
< clean_text_limit
, 0);
3478 /* Note that the line from the original source could possibly
3479 contain *no* open curly braces! This happens if the line contains
3480 a macro call which expands into a chunk of text which includes a
3481 block (and that block's associated open and close curly braces).
3482 In cases like this, we give up, issue a warning, and do nothing. */
3484 if (*start_of_block
!= '{')
3488 "\n%s: %d: warning: can't add declaration of `%s' into macro call\n",
3489 def_dec_p
->file
->hash_entry
->symbol
, def_dec_p
->line
,
3490 def_dec_p
->hash_entry
->symbol
);
3494 /* Figure out what a nice (pretty) indentation would be for the new
3495 declaration we are adding. In order to do this, we must scan forward
3496 from the '{' until we find the first line which starts with some
3497 non-whitespace characters (i.e. real "token" material). */
3500 const char *ep
= forward_to_next_token_char (start_of_block
) - 1;
3503 /* Now we have ep pointing at the rightmost byte of some existing indent
3504 stuff. At least that is the hope.
3506 We can now just scan backwards and find the left end of the existing
3507 indentation string, and then copy it to the output buffer. */
3509 for (sp
= ep
; isspace (*sp
) && *sp
!= '\n'; sp
--)
3512 /* Now write out the open { which began this block, and any following
3513 trash up to and including the last byte of the existing indent that
3518 /* Now we go ahead and insert the new declaration at this point.
3520 If the definition of the given function is in the same file that we
3521 are currently editing, and if its full ANSI declaration normally
3522 would start with the keyword `extern', suppress the `extern'. */
3525 const char *decl
= def_dec_p
->definition
->ansi_decl
;
3527 if ((*decl
== 'e') && (def_dec_p
->file
== def_dec_p
->definition
->file
))
3529 output_string (decl
);
3532 /* Finally, write out a new indent string, just like the preceding one
3533 that we found. This will typically include a newline as the first
3534 character of the indent string. */
3536 output_bytes (sp
, (size_t) (ep
- sp
) + 1);
3540 /* Given a pointer to a file_info record, and a pointer to the beginning
3541 of a line (in the clean text buffer) which is assumed to contain the
3542 first "follower" token for the first function definition header in the
3543 given file, find a good place to insert some new global function
3544 declarations (which will replace scattered and imprecise implicit ones)
3545 and then insert the new explicit declaration at that point in the file. */
3548 add_global_decls (file_p
, clean_text_p
)
3549 const file_info
*file_p
;
3550 const char *clean_text_p
;
3552 const def_dec_info
*dd_p
;
3555 /* Setup here to recover from confusing source code detected during this
3556 particular "edit". */
3559 if (setjmp (source_confusion_recovery
))
3561 restore_pointers ();
3562 fprintf (stderr
, "%s: global declarations for file `%s' not inserted\n",
3563 pname
, shortpath (NULL
, file_p
->hash_entry
->symbol
));
3567 /* Start by finding a good location for adding the new explicit function
3568 declarations. To do this, we scan backwards, ignoring whitespace
3569 and comments and other junk until we find either a semicolon, or until
3570 we hit the beginning of the file. */
3572 scan_p
= find_rightmost_formals_list (clean_text_p
);
3575 if (scan_p
< clean_text_base
)
3577 check_source (scan_p
> clean_read_ptr
, 0);
3582 /* scan_p now points either to a semicolon, or to just before the start
3583 of the whole file. */
3585 /* Now scan forward for the first non-whitespace character. In theory,
3586 this should be the first character of the following function definition
3587 header. We will put in the added declarations just prior to that. */
3590 while (isspace (*scan_p
))
3594 output_up_to (scan_p
);
3596 /* Now write out full prototypes for all of the things that had been
3597 implicitly declared in this file (but only those for which we were
3598 actually able to find unique matching definitions). Avoid duplicates
3599 by marking things that we write out as we go. */
3602 int some_decls_added
= 0;
3604 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
3605 if (dd_p
->is_implicit
&& dd_p
->definition
&& !dd_p
->definition
->written
)
3607 const char *decl
= dd_p
->definition
->ansi_decl
;
3609 /* If the function for which we are inserting a declaration is
3610 actually defined later in the same file, then suppress the
3611 leading `extern' keyword (if there is one). */
3613 if (*decl
== 'e' && (dd_p
->file
== dd_p
->definition
->file
))
3616 output_string ("\n");
3617 output_string (decl
);
3618 some_decls_added
= 1;
3619 ((NONCONST def_dec_info
*) dd_p
->definition
)->written
= 1;
3621 if (some_decls_added
)
3622 output_string ("\n\n");
3625 /* Unmark all of the definitions that we just marked. */
3627 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
3628 if (dd_p
->definition
)
3629 ((NONCONST def_dec_info
*) dd_p
->definition
)->written
= 0;
3632 #endif /* !defined (UNPROTOIZE) */
3634 /* Do the editing operation specifically for a function "definition". Note
3635 that editing operations for function "declarations" are handled by a
3636 separate routine above. */
3639 edit_fn_definition (def_dec_p
, clean_text_p
)
3640 const def_dec_info
*def_dec_p
;
3641 const char *clean_text_p
;
3643 const char *end_formals
;
3644 const char *function_to_edit
= def_dec_p
->hash_entry
->symbol
;
3646 /* Setup here to recover from confusing source code detected during this
3647 particular "edit". */
3650 if (setjmp (source_confusion_recovery
))
3652 restore_pointers ();
3653 fprintf (stderr
, "%s: definition of function `%s' not converted\n",
3654 pname
, function_to_edit
);
3658 end_formals
= find_rightmost_formals_list (clean_text_p
);
3660 /* end_of_formals now points to the closing right paren of the rightmost
3661 formals list which is actually part of the `header' of the function
3662 definition that we are converting. */
3664 /* If the header of this function definition looks like it declares a
3665 function with a variable number of arguments, and if the way it does
3666 that is different from that way we would like it (i.e. varargs vs.
3667 stdarg) then issue a warning and leave the header unconverted. */
3669 if (other_variable_style_function (def_dec_p
->ansi_decl
))
3672 fprintf (stderr
, "%s: %d: warning: definition of %s not converted\n",
3673 shortpath (NULL
, def_dec_p
->file
->hash_entry
->symbol
),
3674 identify_lineno (end_formals
),
3676 output_up_to (end_formals
);
3680 if (edit_formals_lists (end_formals
, def_dec_p
->f_list_count
, def_dec_p
))
3682 restore_pointers ();
3683 fprintf (stderr
, "%s: definition of function `%s' not converted\n",
3684 pname
, function_to_edit
);
3688 /* Have to output the last right paren because this never gets flushed by
3689 edit_formals_list. */
3691 output_up_to (end_formals
);
3696 const char *semicolon_p
;
3697 const char *limit_p
;
3699 int had_newlines
= 0;
3701 /* Now write out the K&R style formal declarations, one per line. */
3703 decl_p
= def_dec_p
->formal_decls
;
3704 limit_p
= decl_p
+ strlen (decl_p
);
3705 for (;decl_p
< limit_p
; decl_p
= semicolon_p
+ 2)
3707 for (semicolon_p
= decl_p
; *semicolon_p
!= ';'; semicolon_p
++)
3709 output_string ("\n");
3710 output_string (indent_string
);
3711 output_bytes (decl_p
, (size_t) ((semicolon_p
+ 1) - decl_p
));
3714 /* If there are no newlines between the end of the formals list and the
3715 start of the body, we should insert one now. */
3717 for (scan_p
= end_formals
+1; *scan_p
!= '{'; )
3719 if (*scan_p
== '\n')
3724 check_source (++scan_p
< clean_text_limit
, 0);
3727 output_string ("\n");
3729 #else /* !defined (UNPROTOIZE) */
3730 /* If we are protoizing, there may be some flotsum & jetsum (like comments
3731 and preprocessing directives) after the old formals list but before
3732 the following { and we would like to preserve that stuff while effectively
3733 deleting the existing K&R formal parameter declarations. We do so here
3734 in a rather tricky way. Basically, we white out any stuff *except*
3735 the comments/pp-directives in the original text buffer, then, if there
3736 is anything in this area *other* than whitespace, we output it. */
3738 const char *end_formals_orig
;
3739 const char *start_body
;
3740 const char *start_body_orig
;
3742 const char *scan_orig
;
3743 int have_flotsum
= 0;
3744 int have_newlines
= 0;
3746 for (start_body
= end_formals
+ 1; *start_body
!= '{';)
3747 check_source (++start_body
< clean_text_limit
, 0);
3749 end_formals_orig
= orig_text_base
+ (end_formals
- clean_text_base
);
3750 start_body_orig
= orig_text_base
+ (start_body
- clean_text_base
);
3751 scan
= end_formals
+ 1;
3752 scan_orig
= end_formals_orig
+ 1;
3753 for (; scan
< start_body
; scan
++, scan_orig
++)
3755 if (*scan
== *scan_orig
)
3757 have_newlines
|= (*scan_orig
== '\n');
3758 /* Leave identical whitespace alone. */
3759 if (!isspace (*scan_orig
))
3760 *((NONCONST
char *)scan_orig
) = ' '; /* identical - so whiteout */
3766 output_bytes (end_formals_orig
+ 1,
3767 (size_t) (start_body_orig
- end_formals_orig
) - 1);
3770 output_string ("\n");
3772 output_string (" ");
3773 clean_read_ptr
= start_body
- 1;
3775 #endif /* !defined (UNPROTOIZE) */
3778 /* Clean up the clean text buffer. Do this by converting comments and
3779 preprocessor directives into spaces. Also convert line continuations
3780 into whitespace. Also, whiteout string and character literals. */
3783 do_cleaning (new_clean_text_base
, new_clean_text_limit
)
3784 char *new_clean_text_base
;
3785 char *new_clean_text_limit
;
3788 int non_whitespace_since_newline
= 0;
3790 for (scan_p
= new_clean_text_base
; scan_p
< new_clean_text_limit
; scan_p
++)
3794 case '/': /* Handle comments. */
3795 if (scan_p
[1] != '*')
3797 non_whitespace_since_newline
= 1;
3801 while (scan_p
[1] != '/' || scan_p
[0] != '*')
3803 if (!isspace (*scan_p
))
3805 if (++scan_p
>= new_clean_text_limit
)
3812 case '#': /* Handle pp directives. */
3813 if (non_whitespace_since_newline
)
3816 while (scan_p
[1] != '\n' || scan_p
[0] == '\\')
3818 if (!isspace (*scan_p
))
3820 if (++scan_p
>= new_clean_text_limit
)
3826 case '\'': /* Handle character literals. */
3827 non_whitespace_since_newline
= 1;
3828 while (scan_p
[1] != '\'' || scan_p
[0] == '\\')
3830 if (scan_p
[0] == '\\' && !isspace (scan_p
[1]))
3832 if (!isspace (*scan_p
))
3834 if (++scan_p
>= new_clean_text_limit
)
3840 case '"': /* Handle string literals. */
3841 non_whitespace_since_newline
= 1;
3842 while (scan_p
[1] != '"' || scan_p
[0] == '\\')
3844 if (scan_p
[0] == '\\' && !isspace (scan_p
[1]))
3846 if (!isspace (*scan_p
))
3848 if (++scan_p
>= new_clean_text_limit
)
3854 case '\\': /* Handle line continuations. */
3855 if (scan_p
[1] != '\n')
3861 non_whitespace_since_newline
= 0; /* Reset. */
3870 break; /* Whitespace characters. */
3874 non_whitespace_since_newline
= 1;
3880 /* Given a pointer to the closing right parenthesis for a particular formals
3881 list (in the clean text buffer) find the corresponding left parenthesis
3882 and return a pointer to it. */
3885 careful_find_l_paren (p
)
3891 for (paren_depth
= 1, q
= p
-1; paren_depth
; check_source (--q
>= clean_text_base
, 0))
3906 /* Scan the clean text buffer for cases of function definitions that we
3907 don't really know about because they were preprocessed out when the
3908 aux info files were created.
3910 In this version of protoize/unprotoize we just give a warning for each
3911 one found. A later version may be able to at least unprotoize such
3914 Note that we may easily find all function definitions simply by
3915 looking for places where there is a left paren which is (ignoring
3916 whitespace) immediately followed by either a left-brace or by an
3917 upper or lower case letter. Whenever we find this combination, we
3918 have also found a function definition header.
3920 Finding function *declarations* using syntactic clues is much harder.
3921 I will probably try to do this in a later version though. */
3924 scan_for_missed_items (file_p
)
3925 const file_info
*file_p
;
3927 static const char *scan_p
;
3928 const char *limit
= clean_text_limit
- 3;
3929 static const char *backup_limit
;
3931 backup_limit
= clean_text_base
- 1;
3933 for (scan_p
= clean_text_base
; scan_p
< limit
; scan_p
++)
3937 static const char *last_r_paren
;
3938 const char *ahead_p
;
3940 last_r_paren
= scan_p
;
3942 for (ahead_p
= scan_p
+ 1; isspace (*ahead_p
); )
3943 check_source (++ahead_p
< limit
, limit
);
3945 scan_p
= ahead_p
- 1;
3947 if (isalpha (*ahead_p
) || *ahead_p
== '{')
3949 const char *last_l_paren
;
3950 const int lineno
= identify_lineno (ahead_p
);
3952 if (setjmp (source_confusion_recovery
))
3955 /* We know we have a function definition header. Now skip
3956 leftwards over all of its associated formals lists. */
3960 last_l_paren
= careful_find_l_paren (last_r_paren
);
3961 for (last_r_paren
= last_l_paren
-1; isspace (*last_r_paren
); )
3962 check_source (--last_r_paren
>= backup_limit
, backup_limit
);
3964 while (*last_r_paren
== ')');
3966 if (is_id_char (*last_r_paren
))
3968 const char *id_limit
= last_r_paren
+ 1;
3969 const char *id_start
;
3971 const def_dec_info
*dd_p
;
3973 for (id_start
= id_limit
-1; is_id_char (*id_start
); )
3974 check_source (--id_start
>= backup_limit
, backup_limit
);
3976 backup_limit
= id_start
;
3977 if ((id_length
= (size_t) (id_limit
- id_start
)) == 0)
3981 char *func_name
= (char *) alloca (id_length
+ 1);
3982 static const char * const stmt_keywords
[]
3983 = { "if", "while", "for", "switch", "return", 0 };
3984 const char * const *stmt_keyword
;
3986 strncpy (func_name
, id_start
, id_length
);
3987 func_name
[id_length
] = '\0';
3989 /* We must check here to see if we are actually looking at
3990 a statement rather than an actual function call. */
3992 for (stmt_keyword
= stmt_keywords
; *stmt_keyword
; stmt_keyword
++)
3993 if (!strcmp (func_name
, *stmt_keyword
))
3997 fprintf (stderr
, "%s: found definition of `%s' at %s(%d)\n",
4000 shortpath (NULL
, file_p
->hash_entry
->symbol
),
4001 identify_lineno (id_start
));
4003 /* We really should check for a match of the function name
4004 here also, but why bother. */
4006 for (dd_p
= file_p
->defs_decs
; dd_p
; dd_p
= dd_p
->next_in_file
)
4007 if (dd_p
->is_func_def
&& dd_p
->line
== lineno
)
4010 /* If we make it here, then we did not know about this
4011 function definition. */
4013 fprintf (stderr
, "%s: %d: warning: `%s' excluded by preprocessing\n",
4014 shortpath (NULL
, file_p
->hash_entry
->symbol
),
4015 identify_lineno (id_start
), func_name
);
4016 fprintf (stderr
, "%s: function definition not converted\n",
4026 /* Do all editing operations for a single source file (either a "base" file
4027 or an "include" file). To do this we read the file into memory, keep a
4028 virgin copy there, make another cleaned in-core copy of the original file
4029 (i.e. one in which all of the comments and preprocessor directives have
4030 been replaced with whitespace), then use these two in-core copies of the
4031 file to make a new edited in-core copy of the file. Finally, rename the
4032 original file (as a way of saving it), and then write the edited version
4033 of the file from core to a disk file of the same name as the original.
4035 Note that the trick of making a copy of the original sans comments &
4036 preprocessor directives make the editing a whole lot easier. */
4040 const hash_table_entry
*hp
;
4042 struct stat stat_buf
;
4043 const file_info
*file_p
= hp
->fip
;
4044 char *new_orig_text_base
;
4045 char *new_orig_text_limit
;
4046 char *new_clean_text_base
;
4047 char *new_clean_text_limit
;
4050 int first_definition_in_file
;
4052 /* If we are not supposed to be converting this file, or if there is
4053 nothing in there which needs converting, just skip this file. */
4055 if (!needs_to_be_converted (file_p
))
4058 convert_filename
= file_p
->hash_entry
->symbol
;
4060 /* Convert a file if it is in a directory where we want conversion
4061 and the file is not excluded. */
4063 if (!directory_specified_p (convert_filename
)
4064 || file_excluded_p (convert_filename
))
4068 /* Don't even mention "system" include files unless we are
4069 protoizing. If we are protoizing, we mention these as a
4070 gentle way of prodding the user to convert his "system"
4071 include files to prototype format. */
4072 && !in_system_include_dir (convert_filename
)
4073 #endif /* defined (UNPROTOIZE) */
4075 fprintf (stderr
, "%s: `%s' not converted\n",
4076 pname
, shortpath (NULL
, convert_filename
));
4080 /* Let the user know what we are up to. */
4083 fprintf (stderr
, "%s: would convert file `%s'\n",
4084 pname
, shortpath (NULL
, convert_filename
));
4086 fprintf (stderr
, "%s: converting file `%s'\n",
4087 pname
, shortpath (NULL
, convert_filename
));
4090 /* Find out the size (in bytes) of the original file. */
4092 /* The cast avoids an erroneous warning on AIX. */
4093 if (my_stat ((char *)convert_filename
, &stat_buf
) == -1)
4095 fprintf (stderr
, "%s: can't get status for file `%s': %s\n",
4096 pname
, shortpath (NULL
, convert_filename
), sys_errlist
[errno
]);
4099 orig_size
= stat_buf
.st_size
;
4101 /* Allocate a buffer to hold the original text. */
4103 orig_text_base
= new_orig_text_base
= (char *) xmalloc (orig_size
+ 2);
4104 orig_text_limit
= new_orig_text_limit
= new_orig_text_base
+ orig_size
;
4106 /* Allocate a buffer to hold the cleaned-up version of the original text. */
4108 clean_text_base
= new_clean_text_base
= (char *) xmalloc (orig_size
+ 2);
4109 clean_text_limit
= new_clean_text_limit
= new_clean_text_base
+ orig_size
;
4110 clean_read_ptr
= clean_text_base
- 1;
4112 /* Allocate a buffer that will hopefully be large enough to hold the entire
4113 converted output text. As an initial guess for the maximum size of the
4114 output buffer, use 125% of the size of the original + some extra. This
4115 buffer can be expanded later as needed. */
4117 repl_size
= orig_size
+ (orig_size
>> 2) + 4096;
4118 repl_text_base
= (char *) xmalloc (repl_size
+ 2);
4119 repl_text_limit
= repl_text_base
+ repl_size
- 1;
4120 repl_write_ptr
= repl_text_base
- 1;
4125 /* Open the file to be converted in READ ONLY mode. */
4127 if ((input_file
= my_open (convert_filename
, O_RDONLY
, 0444)) == -1)
4129 fprintf (stderr
, "%s: can't open file `%s' for reading: %s\n",
4130 pname
, shortpath (NULL
, convert_filename
),
4131 sys_errlist
[errno
]);
4135 /* Read the entire original source text file into the original text buffer
4136 in one swell fwoop. Then figure out where the end of the text is and
4137 make sure that it ends with a newline followed by a null. */
4139 if (read (input_file
, new_orig_text_base
, orig_size
) != orig_size
)
4142 fprintf (stderr
, "\n%s: error reading input file `%s': %s\n",
4143 pname
, shortpath (NULL
, convert_filename
),
4144 sys_errlist
[errno
]);
4151 if (orig_size
== 0 || orig_text_limit
[-1] != '\n')
4153 *new_orig_text_limit
++ = '\n';
4157 /* Create the cleaned up copy of the original text. */
4159 memcpy (new_clean_text_base
, orig_text_base
,
4160 (size_t) (orig_text_limit
- orig_text_base
));
4161 do_cleaning (new_clean_text_base
, new_clean_text_limit
);
4166 size_t clean_size
= orig_text_limit
- orig_text_base
;
4167 char *const clean_filename
= (char *) alloca (strlen (convert_filename
) + 6 + 1);
4169 /* Open (and create) the clean file. */
4171 strcpy (clean_filename
, convert_filename
);
4172 strcat (clean_filename
, ".clean");
4173 if ((clean_file
= creat (clean_filename
, 0666)) == -1)
4175 fprintf (stderr
, "%s: can't create/open clean file `%s': %s\n",
4176 pname
, shortpath (NULL
, clean_filename
),
4177 sys_errlist
[errno
]);
4181 /* Write the clean file. */
4183 if (write (clean_file
, new_clean_text_base
, clean_size
) != clean_size
)
4184 fprintf (stderr
, "%s: error writing file `%s': %s\n",
4185 pname
, shortpath (NULL
, clean_filename
), sys_errlist
[errno
]);
4191 /* Do a simplified scan of the input looking for things that were not
4192 mentioned in the aux info files because of the fact that they were
4193 in a region of the source which was preprocessed-out (via #if or
4196 scan_for_missed_items (file_p
);
4198 /* Setup to do line-oriented forward seeking in the clean text buffer. */
4200 last_known_line_number
= 1;
4201 last_known_line_start
= clean_text_base
;
4203 /* Now get down to business and make all of the necessary edits. */
4206 const def_dec_info
*def_dec_p
;
4208 first_definition_in_file
= 1;
4209 def_dec_p
= file_p
->defs_decs
;
4210 for (; def_dec_p
; def_dec_p
= def_dec_p
->next_in_file
)
4212 const char *clean_text_p
= seek_to_line (def_dec_p
->line
);
4214 /* clean_text_p now points to the first character of the line which
4215 contains the `terminator' for the declaration or definition that
4216 we are about to process. */
4220 if (global_flag
&& def_dec_p
->is_func_def
&& first_definition_in_file
)
4222 add_global_decls (def_dec_p
->file
, clean_text_p
);
4223 first_definition_in_file
= 0;
4226 /* Don't edit this item if it is already in prototype format or if it
4227 is a function declaration and we have found no corresponding
4230 if (def_dec_p
->prototyped
4231 || (!def_dec_p
->is_func_def
&& !def_dec_p
->definition
))
4234 #endif /* !defined (UNPROTOIZE) */
4236 if (def_dec_p
->is_func_def
)
4237 edit_fn_definition (def_dec_p
, clean_text_p
);
4240 if (def_dec_p
->is_implicit
)
4241 add_local_decl (def_dec_p
, clean_text_p
);
4243 #endif /* !defined (UNPROTOIZE) */
4244 edit_fn_declaration (def_dec_p
, clean_text_p
);
4248 /* Finalize things. Output the last trailing part of the original text. */
4250 output_up_to (clean_text_limit
- 1);
4252 /* If this is just a test run, stop now and just deallocate the buffers. */
4256 free (new_orig_text_base
);
4257 free (new_clean_text_base
);
4258 free (repl_text_base
);
4262 /* Change the name of the original input file. This is just a quick way of
4263 saving the original file. */
4267 char *new_filename
=
4268 (char *) xmalloc (strlen (convert_filename
) + strlen (save_suffix
) + 2);
4270 strcpy (new_filename
, convert_filename
);
4271 strcat (new_filename
, save_suffix
);
4272 if (my_link (convert_filename
, new_filename
) == -1)
4274 if (errno
== EEXIST
)
4277 fprintf (stderr
, "%s: warning: file `%s' already saved in `%s'\n",
4279 shortpath (NULL
, convert_filename
),
4280 shortpath (NULL
, new_filename
));
4284 fprintf (stderr
, "%s: can't link file `%s' to `%s': %s\n",
4286 shortpath (NULL
, convert_filename
),
4287 shortpath (NULL
, new_filename
),
4288 sys_errlist
[errno
]);
4294 if (my_unlink (convert_filename
) == -1)
4296 fprintf (stderr
, "%s: can't delete file `%s': %s\n",
4297 pname
, shortpath (NULL
, convert_filename
), sys_errlist
[errno
]);
4304 /* Open (and create) the output file. */
4306 if ((output_file
= creat (convert_filename
, 0666)) == -1)
4308 fprintf (stderr
, "%s: can't create/open output file `%s': %s\n",
4309 pname
, shortpath (NULL
, convert_filename
),
4310 sys_errlist
[errno
]);
4314 /* Write the output file. */
4317 unsigned int out_size
= (repl_write_ptr
+ 1) - repl_text_base
;
4319 if (write (output_file
, repl_text_base
, out_size
) != out_size
)
4320 fprintf (stderr
, "%s: error writing file `%s': %s\n",
4321 pname
, shortpath (NULL
, convert_filename
),
4322 sys_errlist
[errno
]);
4325 close (output_file
);
4328 /* Deallocate the conversion buffers. */
4330 free (new_orig_text_base
);
4331 free (new_clean_text_base
);
4332 free (repl_text_base
);
4334 /* Change the mode of the output file to match the original file. */
4336 /* The cast avoids an erroneous warning on AIX. */
4337 if (my_chmod ((char *)convert_filename
, stat_buf
.st_mode
) == -1)
4338 fprintf (stderr
, "%s: can't change mode of file `%s': %s\n",
4339 pname
, shortpath (NULL
, convert_filename
), sys_errlist
[errno
]);
4341 /* Note: We would try to change the owner and group of the output file
4342 to match those of the input file here, except that may not be a good
4343 thing to do because it might be misleading. Also, it might not even
4344 be possible to do that (on BSD systems with quotas for instance). */
4347 /* Do all of the individual steps needed to do the protoization (or
4348 unprotoization) of the files referenced in the aux_info files given
4349 in the command line. */
4354 const char * const *base_pp
;
4355 const char * const * const end_pps
4356 = &base_source_filenames
[n_base_source_files
];
4360 #endif /* !defined (UNPROTOIZE) */
4362 /* One-by-one, check (and create if necessary), open, and read all of the
4363 stuff in each aux_info file. After reading each aux_info file, the
4364 aux_info_file just read will be automatically deleted unless the
4365 keep_flag is set. */
4367 for (base_pp
= base_source_filenames
; base_pp
< end_pps
; base_pp
++)
4368 process_aux_info_file (*base_pp
, keep_flag
, 0);
4372 /* Also open and read the special SYSCALLS.c aux_info file which gives us
4373 the prototypes for all of the standard system-supplied functions. */
4375 if (nondefault_syscalls_dir
)
4377 syscalls_absolute_filename
4378 = (char *) xmalloc (strlen (nondefault_syscalls_dir
)
4379 + sizeof (syscalls_filename
) + 1);
4380 strcpy (syscalls_absolute_filename
, nondefault_syscalls_dir
);
4384 syscalls_absolute_filename
4385 = (char *) xmalloc (strlen (default_syscalls_dir
)
4386 + sizeof (syscalls_filename
) + 1);
4387 strcpy (syscalls_absolute_filename
, default_syscalls_dir
);
4390 syscalls_len
= strlen (syscalls_absolute_filename
);
4391 if (*(syscalls_absolute_filename
+ syscalls_len
- 1) != '/')
4393 *(syscalls_absolute_filename
+ syscalls_len
++) = '/';
4394 *(syscalls_absolute_filename
+ syscalls_len
) = '\0';
4396 strcat (syscalls_absolute_filename
, syscalls_filename
);
4398 /* Call process_aux_info_file in such a way that it does not try to
4399 delete the SYSCALLS aux_info file. */
4401 process_aux_info_file (syscalls_absolute_filename
, 1, 1);
4403 #endif /* !defined (UNPROTOIZE) */
4405 /* When we first read in all of the information from the aux_info files
4406 we saved in it descending line number order, because that was likely to
4407 be faster. Now however, we want the chains of def & dec records to
4408 appear in ascending line number order as we get further away from the
4409 file_info record that they hang from. The following line causes all of
4410 these lists to be rearranged into ascending line number order. */
4412 visit_each_hash_node (filename_primary
, reverse_def_dec_list
);
4416 /* Now do the "real" work. The following line causes each declaration record
4417 to be "visited". For each of these nodes, an attempt is made to match
4418 up the function declaration with a corresponding function definition,
4419 which should have a full prototype-format formals list with it. Once
4420 these match-ups are made, the conversion of the function declarations
4421 to prototype format can be made. */
4423 visit_each_hash_node (function_name_primary
, connect_defs_and_decs
);
4425 #endif /* !defined (UNPROTOIZE) */
4427 /* Now convert each file that can be converted (and needs to be). */
4429 visit_each_hash_node (filename_primary
, edit_file
);
4433 /* If we are working in cplusplus mode, try to rename all .c files to .C
4434 files. Don't panic if some of the renames don't work. */
4436 if (cplusplus_flag
&& !nochange_flag
)
4437 visit_each_hash_node (filename_primary
, rename_c_file
);
4439 #endif /* !defined (UNPROTOIZE) */
4442 static struct option longopts
[] =
4444 {"version", 0, 0, 'V'},
4445 {"file_name", 0, 0, 'p'},
4446 {"quiet", 0, 0, 'q'},
4447 {"silent", 0, 0, 'q'},
4448 {"force", 0, 0, 'f'},
4449 {"keep", 0, 0, 'k'},
4450 {"nosave", 0, 0, 'N'},
4451 {"nochange", 0, 0, 'n'},
4452 {"compiler-options", 1, 0, 'c'},
4453 {"exclude", 1, 0, 'x'},
4454 {"directory", 1, 0, 'd'},
4456 {"indent", 1, 0, 'i'},
4458 {"local", 0, 0, 'l'},
4459 {"global", 0, 0, 'g'},
4461 {"syscalls-dir", 1, 0, 'B'},
4473 const char *params
= "";
4475 pname
= rindex (argv
[0], '/');
4476 pname
= pname
? pname
+1 : argv
[0];
4478 cwd_buffer
= getpwd ();
4481 fprintf (stderr
, "%s: cannot get working directory: %s\n",
4482 pname
, sys_errlist
[errno
]);
4486 /* By default, convert the files in the current directory. */
4487 directory_list
= string_list_cons (cwd_buffer
, NULL
);
4489 while ((c
= getopt_long (argc
, argv
,
4493 "B:c:Cd:gklnNp:qvVx:",
4495 longopts
, &longind
)) != EOF
)
4497 if (c
== 0) /* Long option. */
4498 c
= longopts
[longind
].val
;
4502 compiler_file_name
= optarg
;
4506 = string_list_cons (abspath (NULL
, optarg
), directory_list
);
4509 exclude_list
= string_list_cons (optarg
, exclude_list
);
4539 indent_string
= optarg
;
4541 #else /* !defined (UNPROTOIZE) */
4552 nondefault_syscalls_dir
= optarg
;
4554 #endif /* !defined (UNPROTOIZE) */
4560 /* Set up compile_params based on -p and -c options. */
4561 munge_compile_params (params
);
4563 n_base_source_files
= argc
- optind
;
4565 /* Now actually make a list of the base source filenames. */
4567 base_source_filenames
=
4568 (const char **) xmalloc ((n_base_source_files
+ 1) * sizeof (char *));
4569 n_base_source_files
= 0;
4570 for (; optind
< argc
; optind
++)
4572 const char *path
= abspath (NULL
, argv
[optind
]);
4573 int len
= strlen (path
);
4575 if (path
[len
-1] == 'c' && path
[len
-2] == '.')
4576 base_source_filenames
[n_base_source_files
++] = path
;
4579 fprintf (stderr
, "%s: input file names must have .c suffixes: %s\n",
4580 pname
, shortpath (NULL
, path
));
4586 /* We are only interested in the very first identifier token in the
4587 definition of `va_list', so if there is more junk after that first
4588 identifier token, delete it from the `varargs_style_indicator'. */
4592 for (cp
= varargs_style_indicator
; isalnum (*cp
) || *cp
== '_'; cp
++)
4595 varargs_style_indicator
= savestring (varargs_style_indicator
,
4596 cp
- varargs_style_indicator
);
4598 #endif /* !defined (UNPROTOIZE) */
4605 fprintf (stderr
, "%s: %s\n", pname
, version_string
);