Fix lto-symtab ICE during Ada LTO bootstrap

Jan Hubicka hubicka@ucw.cz
Mon Nov 23 01:24:00 GMT 2015


> > > ../../gcc/ada/s-os_lib.adb:1007:16: note: return value type
> > > mismatch
> > >        function strerror (errnum : Integer) return System.Address;
> > >                 ^
> > > 
> > > ../../gcc/ada/s-os_lib.adb:1007:16: note:
> > > ???system__os_lib__errno_message__strerror??? was previously
> > > declared here
> > > 
> > > Here we have function returning pointer WRT function returning integer:
> > 
> > This one is on purpose and cannot be easily changed.  Pointer types (or access
> > types as called in Ada) are avoided as much as possible in the runtime because
> > they drag the accessibility machinery, which is the machinery present in
> > the
> > language to eliminate dangling references and is heavy; so they are usually
> > imported as System.Address instead.
> 
> This particular instance can probably be fixed, I'll give it a shot when I
> get a chance. But you're right that the general issue is that System.Address
> is often used as a void*

Hi,
I updated the warning to actually check if the TBAA information is in conflict
and silence warnings on allowed type transtions that are not useless_type_conversion_p
(which is needed for Fortran, too). This is list of warnings I get which I suppose will
need to be adressed.


../../libiberty/xstrerror.c:40:14: warning: type of ‘strerror’ does not match original declaration [-Wlto-type-mismatch]
 extern char *strerror (int);
              ^

../../gcc/ada/s-os_lib.adb:1007:16: note: return value type mismatch
       function strerror (errnum : Integer) return System.Address;
                ^

../../libiberty/xstrerror.c:40:14: note: code may be misoptimized unless -fno-strict-aliasing is used
 extern char *strerror (int);
              ^

../../gcc/ada/s-os_lib.adb:1007:16: note: ‘system__os_lib__errno_message__strerror’ was previously declared here
       function strerror (errnum : Integer) return System.Address;
                ^

../../gcc/ada/s-os_lib.adb:1207:7: warning: type of ‘target_object_ext_ptr’ does not match original declaration [-Wlto-type-mismatch]
       Target_Object_Ext_Ptr : Address;
       ^

../../gcc/ada/s-os_lib.adb:1207:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/targext.c:60:13: note: ‘__gnat_target_object_extension’ was previously declared here
 const char *__gnat_target_object_extension = TARGET_OBJECT_SUFFIX;
             ^

../../gcc/ada/s-os_lib.adb:1183:7: warning: type of ‘target_exec_ext_ptr’ does not match original declaration [-Wlto-type-mismatch]
       Target_Exec_Ext_Ptr : Address;
       ^

../../gcc/ada/s-os_lib.adb:1183:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/targext.c:61:13: note: ‘__gnat_target_executable_extension’ was previously declared here
 const char *__gnat_target_executable_extension = TARGET_EXECUTABLE_SUFFIX;
             ^

../../gcc/ada/s-os_lib.adb:1159:7: warning: type of ‘target_exec_ext_ptr’ does not match original declaration [-Wlto-type-mismatch]
       Target_Exec_Ext_Ptr : Address;
       ^

../../gcc/ada/s-os_lib.adb:1159:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/targext.c:62:13: note: ‘__gnat_target_debuggable_extension’ was previously declared here
 const char *__gnat_target_debuggable_extension = TARGET_EXECUTABLE_SUFFIX;
             ^

../../gcc/ada/osint.adb:3214:16: warning: type of ‘osint__update_path__c_update_path’ does not match original declaration [-Wlto-type-mismatch]
       function C_Update_Path (Path, Component : Address) return Address;
                ^

../../gcc/prefix.c:247:1: note: return value type mismatch
 update_path (const char *path, const char *key)
 ^

../../gcc/ada/osint.adb:3214:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Update_Path (Path, Component : Address) return Address;
                ^

../../gcc/prefix.c:247:1: note: ‘update_path’ was previously declared here
 update_path (const char *path, const char *key)
 ^

../../gcc/ada/s-os_lib.adb:2717:17: warning: type of ‘system__os_lib__setenv__set_env_value’ does not match original declaration [-Wlto-type-mismatch]
       procedure Set_Env_Value (Name, Value : System.Address);
                 ^

../../gcc/ada/env.c:116:1: note: type mismatch in parameter 1
 __gnat_setenv (char *name, char *value)
 ^

../../gcc/ada/s-os_lib.adb:2717:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Set_Env_Value (Name, Value : System.Address);
                 ^

../../gcc/ada/env.c:116:1: note: ‘__gnat_setenv’ was previously declared here
 __gnat_setenv (char *name, char *value)
 ^

../../gcc/ada/s-os_lib.adb:1231:17: warning: type of ‘system__os_lib__getenv__get_env_value_ptr’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Env_Value_Ptr (Name, Length, Ptr : Address);
                 ^

../../gcc/ada/env.c:91:1: note: type mismatch in parameter 1
 __gnat_getenv (char *name, int *len, char **value)
 ^

../../gcc/ada/s-os_lib.adb:1231:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Env_Value_Ptr (Name, Length, Ptr : Address);
                 ^

../../gcc/ada/env.c:91:1: note: ‘__gnat_getenv’ was previously declared here
 __gnat_getenv (char *name, int *len, char **value)
 ^

<built-in>: warning: type of ‘__builtin_strncpy’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/osint.adb:425:20: note: return value type mismatch
          procedure Strncpy (X : Address; Y : Address; Length : Integer);
                    ^

<built-in>: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/osint.adb:425:20: note: ‘osint__add_default_search_dirs__get_libraries_from_registry__strncpy’ was previously declared here
<built-in>: warning: type of ‘__builtin_strlen’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/osint.adb:422:19: note: return value type mismatch
          function Strlen (Str : Address) return Integer;
                   ^

../../gcc/ada/osint.adb:422:19: note: type ‘integer’ should match type ‘long unsigned int’
<built-in>: note: code may be misoptimized unless -fno-strict-aliasing is used
<built-in>: warning: type of ‘__builtin_strlen’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/osint.adb:422:19: note: return value type mismatch
../../gcc/ada/osint.adb:422:19: note: type ‘integer’ should match type ‘long unsigned int’
<built-in>: note: code may be misoptimized unless -fno-strict-aliasing is used
<built-in>: warning: type of ‘__builtin_strlen’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/osint.adb:422:19: note: return value type mismatch
../../gcc/ada/osint.adb:422:19: note: type ‘integer’ should match type ‘long unsigned int’
<built-in>: note: code may be misoptimized unless -fno-strict-aliasing is used
<built-in>: warning: type of ‘__builtin_strlen’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/osint.adb:422:19: note: return value type mismatch
../../gcc/ada/osint.adb:422:19: note: type ‘integer’ should match type ‘long unsigned int’
<built-in>: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/osint.adb:422:19: note: ‘osint__add_default_search_dirs__get_libraries_from_registry__strlen’ was previously declared here
../../gcc/ada/gnatvsn.adb:57:4: warning: type of ‘gnatvsn__version_string’ does not match original declaration [-Wlto-type-mismatch]
    Version_String : char_array (0 .. Ver_Len_Max - 1);
    ^

../../gcc/version.c:34:12: note: array types have different bounds
 const char version_string[] = BASEVER DATESTAMP DEVPHASE REVISION;
            ^

../../gcc/version.c:34:12: note: ‘version_string’ was previously declared here
../../gcc/ada/s-os_lib.adb:57:13: warning: type of ‘system__os_lib__copy_attributes’ does not match original declaration [-Wlto-type-mismatch]
    function Copy_Attributes
             ^

../../gcc/ada/adaint.c:2911:1: note: type mismatch in parameter 1
 __gnat_copy_attribs (char *from ATTRIBUTE_UNUSED, char *to ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/s-os_lib.adb:57:13: note: code may be misoptimized unless -fno-strict-aliasing is used
    function Copy_Attributes
             ^

../../gcc/ada/adaint.c:2911:1: note: ‘__gnat_copy_attribs’ was previously declared here
 __gnat_copy_attribs (char *from ATTRIBUTE_UNUSED, char *to ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/osint.adb:3156:16: warning: type of ‘osint__to_host_file_spec__to_host_file_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Host_File_Spec (Canonical_File : Address) return Address;
                ^

../../gcc/ada/adaint.c:2854:1: note: return value type mismatch
 __gnat_to_host_file_spec (char *filespec)
 ^

../../gcc/ada/adaint.c:2854:1: note: ‘__gnat_to_host_file_spec’ was previously declared here
../../gcc/ada/osint.adb:3122:16: warning: type of ‘osint__to_host_dir_spec__to_host_dir_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Host_Dir_Spec
                ^

../../gcc/ada/adaint.c:2848:1: note: return value type mismatch
 __gnat_to_host_dir_spec (char *dirspec, int prefixflag ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/adaint.c:2848:1: note: ‘__gnat_to_host_dir_spec’ was previously declared here
../../gcc/ada/osint.adb:3088:16: warning: type of ‘osint__to_canonical_path_spec__to_canonical_path_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_Path_Spec (Host_Path : Address) return Address;
                ^

../../gcc/ada/adaint.c:2842:1: note: return value type mismatch
 __gnat_to_canonical_path_spec (char *pathspec)
 ^

../../gcc/ada/adaint.c:2842:1: note: ‘__gnat_to_canonical_path_spec’ was previously declared here
../../gcc/ada/osint.adb:3053:16: warning: type of ‘osint__to_canonical_file_spec__to_canonical_file_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_File_Spec (Host_File : Address) return Address;
                ^

../../gcc/ada/adaint.c:2836:1: note: return value type mismatch
 __gnat_to_canonical_file_spec (char *filespec)
 ^

../../gcc/ada/s-os_lib.adb:2019:16: warning: type of ‘system__os_lib__normalize_pathname__to_canonical_file_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_File_Spec
                ^

../../gcc/ada/adaint.c:2836:1: note: return value type mismatch
 __gnat_to_canonical_file_spec (char *filespec)
 ^

../../gcc/ada/adaint.c:2836:1: note: ‘__gnat_to_canonical_file_spec’ was previously declared here
../../gcc/ada/osint.adb:2955:16: warning: type of ‘osint__to_canonical_dir_spec__to_canonical_dir_spec’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_Dir_Spec
                ^

../../gcc/ada/adaint.c:2830:1: note: return value type mismatch
 __gnat_to_canonical_dir_spec (char *dirspec, int prefixflag ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/adaint.c:2830:1: note: ‘__gnat_to_canonical_dir_spec’ was previously declared here
../../gcc/ada/osint.adb:3002:16: warning: type of ‘osint__to_canonical_file_list__to_canonical_file_list_next’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_File_List_Next return Address;
                ^

../../gcc/ada/adaint.c:2818:1: note: return value type mismatch
 __gnat_to_canonical_file_list_next (void)
 ^

../../gcc/ada/adaint.c:2818:1: note: ‘__gnat_to_canonical_file_list_next’ was previously declared here
../../gcc/ada/osint.adb:2996:16: warning: type of ‘osint__to_canonical_file_list__to_canonical_file_list_init’ does not match original declaration [-Wlto-type-mismatch]
       function To_Canonical_File_List_Init
                ^

../../gcc/ada/adaint.c:2811:1: note: type mismatch in parameter 1
 __gnat_to_canonical_file_list_init (char *dirspec ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/adaint.c:2811:1: note: ‘__gnat_to_canonical_file_list_init’ was previously declared here
../../gcc/ada/s-os_lib.adb:1640:16: warning: type of ‘system__os_lib__locate_exec_on_path__locate_exec_on_path’ does not match original declaration [-Wlto-type-mismatch]
       function Locate_Exec_On_Path (C_Exec_Name : Address) return Address;
                ^

../../gcc/ada/adaint.c:2766:1: note: return value type mismatch
 __gnat_locate_exec_on_path (char *exec_name)
 ^

../../gcc/ada/s-os_lib.adb:1640:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Locate_Exec_On_Path (C_Exec_Name : Address) return Address;
                ^

../../gcc/ada/adaint.c:2766:1: note: ‘__gnat_locate_exec_on_path’ was previously declared here
 __gnat_locate_exec_on_path (char *exec_name)
 ^

../../gcc/ada/s-os_lib.adb:1686:16: warning: type of ‘system__os_lib__locate_regular_file__locate_regular_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function Locate_Regular_File
                ^

../../gcc/ada/adaint.c:2731:1: note: return value type mismatch
 __gnat_locate_regular_file (char *file_name, char *path_val)
 ^

../../gcc/ada/s-os_lib.adb:1686:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Locate_Regular_File
                ^

../../gcc/ada/adaint.c:2731:1: note: ‘__gnat_locate_regular_file’ was previously declared here
 __gnat_locate_regular_file (char *file_name, char *path_val)
 ^

../../gcc/ada/s-os_lib.adb:2977:16: warning: type of ‘system__os_lib__wait_process__portable_wait’ does not match original declaration [-Wlto-type-mismatch]
       function Portable_Wait (S : Address) return Process_Id;
                ^

../../gcc/ada/adaint.c:2588:1: note: type mismatch in parameter 1
 __gnat_portable_wait (int *process_status)
 ^

../../gcc/ada/s-os_lib.adb:2977:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Portable_Wait (S : Address) return Process_Id;
                ^

../../gcc/ada/adaint.c:2588:1: note: ‘__gnat_portable_wait’ was previously declared here
 __gnat_portable_wait (int *process_status)
 ^

../../gcc/ada/s-os_lib.adb:2869:19: warning: type of ‘system__os_lib__spawn_internal__spawn__portable_no_block_spawn’ does not match original declaration [-Wlto-type-mismatch]
          function Portable_No_Block_Spawn (Args : Address) return Process_Id;
                   ^

../../gcc/ada/adaint.c:2550:1: note: type mismatch in parameter 1
 __gnat_portable_no_block_spawn (char *args[] ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:2869:19: note: code may be misoptimized unless -fno-strict-aliasing is used
          function Portable_No_Block_Spawn (Args : Address) return Process_Id;
                   ^

../../gcc/ada/adaint.c:2550:1: note: ‘__gnat_portable_no_block_spawn’ was previously declared here
 __gnat_portable_no_block_spawn (char *args[] ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:2866:19: warning: type of ‘system__os_lib__spawn_internal__spawn__portable_spawn’ does not match original declaration [-Wlto-type-mismatch]
          function Portable_Spawn (Args : Address) return Integer;
                   ^

../../gcc/ada/adaint.c:2176:1: note: type mismatch in parameter 1
 __gnat_portable_spawn (char *args[] ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:2866:19: note: code may be misoptimized unless -fno-strict-aliasing is used
          function Portable_Spawn (Args : Address) return Integer;
                   ^

../../gcc/ada/adaint.c:2176:1: note: ‘__gnat_portable_spawn’ was previously declared here
 __gnat_portable_spawn (char *args[] ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:1560:16: warning: type of ‘system__os_lib__is_symbolic_link__is_symbolic_link__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Symbolic_Link (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:2160:1: note: type mismatch in parameter 1
 __gnat_is_symbolic_link (char *name ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:1560:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Symbolic_Link (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:2160:1: note: ‘__gnat_is_symbolic_link’ was previously declared here
 __gnat_is_symbolic_link (char *name ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/osint.adb:1772:16: warning: type of ‘osint__is_symbolic_link__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:2139:1: note: type mismatch in parameter 1
 __gnat_is_symbolic_link_attr (char* name ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/osint.adb:1772:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:2139:1: note: ‘__gnat_is_symbolic_link_attr’ was previously declared here
 __gnat_is_symbolic_link_attr (char* name ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/s-os_lib.adb:2658:17: warning: type of ‘system__os_lib__set_non_readable__c_set_non_readable’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_Non_Readable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2118:1: note: type mismatch in parameter 1
 __gnat_set_non_readable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2658:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_Non_Readable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2118:1: note: ‘__gnat_set_non_readable’ was previously declared here
 __gnat_set_non_readable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2686:17: warning: type of ‘system__os_lib__set_readable__c_set_readable’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_Readable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2097:1: note: type mismatch in parameter 1
 __gnat_set_readable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2686:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_Readable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2097:1: note: ‘__gnat_set_readable’ was previously declared here
 __gnat_set_readable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2672:17: warning: type of ‘system__os_lib__set_non_writable__c_set_non_writable’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_Non_Writable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2070:1: note: type mismatch in parameter 1
 __gnat_set_non_writable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2672:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_Non_Writable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2070:1: note: ‘__gnat_set_non_writable’ was previously declared here
 __gnat_set_non_writable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2630:17: warning: type of ‘system__os_lib__set_executable__c_set_executable’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_Executable (Name : C_File_Name; Mode : Integer);
                 ^

../../gcc/ada/adaint.c:2043:1: note: type mismatch in parameter 1
 __gnat_set_executable (char *name, int mode ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:2630:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_Executable (Name : C_File_Name; Mode : Integer);
                 ^

../../gcc/ada/adaint.c:2043:1: note: ‘__gnat_set_executable’ was previously declared here
 __gnat_set_executable (char *name, int mode ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/s-os_lib.adb:2700:17: warning: type of ‘system__os_lib__set_writable__c_set_writable’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_Writable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2014:1: note: type mismatch in parameter 1
 __gnat_set_writable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:2700:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_Writable (Name : C_File_Name);
                 ^

../../gcc/ada/adaint.c:2014:1: note: ‘__gnat_set_writable’ was previously declared here
 __gnat_set_writable (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1522:16: warning: type of ‘system__os_lib__is_executable_file__is_executable_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Executable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:2005:1: note: type mismatch in parameter 1
 __gnat_is_executable_file (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1522:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Executable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:2005:1: note: ‘__gnat_is_executable_file’ was previously declared here
 __gnat_is_executable_file (char *name)
 ^

../../gcc/ada/osint.adb:1733:16: warning: type of ‘osint__is_executable_file__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1965:1: note: type mismatch in parameter 1
 __gnat_is_executable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1733:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1965:1: note: ‘__gnat_is_executable_file_attr’ was previously declared here
 __gnat_is_executable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/s-os_lib.adb:1579:16: warning: type of ‘system__os_lib__is_writable_file__is_writable_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Writable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1956:1: note: type mismatch in parameter 1
 __gnat_is_writable_file (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1579:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Writable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1956:1: note: ‘__gnat_is_writable_file’ was previously declared here
 __gnat_is_writable_file (char *name)
 ^

../../gcc/ada/osint.adb:1785:16: warning: type of ‘osint__is_writable_file__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1924:1: note: type mismatch in parameter 1
 __gnat_is_writable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1785:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1924:1: note: ‘__gnat_is_writable_file_attr’ was previously declared here
 __gnat_is_writable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/s-os_lib.adb:1503:16: warning: type of ‘system__os_lib__is_readable_file__is_readable_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Readable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1915:1: note: type mismatch in parameter 1
 __gnat_is_readable_file (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1503:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Readable_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1915:1: note: ‘__gnat_is_readable_file’ was previously declared here
 __gnat_is_readable_file (char *name)
 ^

../../gcc/ada/osint.adb:1746:16: warning: type of ‘osint__is_readable_file__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1887:1: note: type mismatch in parameter 1
 __gnat_is_readable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1746:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1887:1: note: ‘__gnat_is_readable_file_attr’ was previously declared here
 __gnat_is_readable_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/s-os_lib.adb:1484:16: warning: type of ‘system__os_lib__is_directory__is_directory__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Directory (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1688:1: note: type mismatch in parameter 1
 __gnat_is_directory (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1484:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Directory (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1688:1: note: ‘__gnat_is_directory’ was previously declared here
 __gnat_is_directory (char *name)
 ^

../../gcc/ada/osint.adb:1695:16: warning: type of ‘osint__is_directory__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1679:1: note: type mismatch in parameter 1
 __gnat_is_directory_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1695:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1679:1: note: ‘__gnat_is_directory_attr’ was previously declared here
 __gnat_is_directory_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1759:16: warning: type of ‘osint__is_regular_file__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1651:1: note: type mismatch in parameter 1
 __gnat_is_regular_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1759:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return Integer;
                ^

../../gcc/ada/adaint.c:1651:1: note: ‘__gnat_is_regular_file_attr’ was previously declared here
 __gnat_is_regular_file_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/s-os_lib.adb:1471:16: warning: type of ‘system__os_lib__is_absolute_path__is_absolute_path’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Absolute_Path
                ^

../../gcc/ada/adaint.c:1616:1: note: type mismatch in parameter 1
 __gnat_is_absolute_path (char *name, int length)
 ^

../../gcc/ada/s-os_lib.adb:1471:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Absolute_Path
                ^

../../gcc/ada/adaint.c:1616:1: note: ‘__gnat_is_absolute_path’ was previously declared here
 __gnat_is_absolute_path (char *name, int length)
 ^

../../gcc/ada/s-os_lib.adb:1541:16: warning: type of ‘system__os_lib__is_regular_file__is_regular_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function Is_Regular_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1660:1: note: type mismatch in parameter 1
 __gnat_is_regular_file (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1541:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Is_Regular_File (Name : Address) return Integer;
                ^

../../gcc/ada/adaint.c:1660:1: note: ‘__gnat_is_regular_file’ was previously declared here
 __gnat_is_regular_file (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1071:16: warning: type of ‘system__os_lib__file_time_stamp__file_time__3’ does not match original declaration [-Wlto-type-mismatch]
       function File_Time (Name : Address) return OS_Time;
                ^

../../gcc/ada/adaint.c:1370:1: note: type mismatch in parameter 1
 __gnat_file_time_name (char *name)
 ^

../../gcc/ada/s-os_lib.adb:1071:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function File_Time (Name : Address) return OS_Time;
                ^

../../gcc/ada/adaint.c:1370:1: note: ‘__gnat_file_time_name’ was previously declared here
 __gnat_file_time_name (char *name)
 ^

../../gcc/ada/osint.adb:1105:16: warning: type of ‘osint__file_time_stamp__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal (N : C_File_Name; A : System.Address) return OS_Time;
                ^

../../gcc/ada/adaint.c:1349:1: note: type mismatch in parameter 1
 __gnat_file_time_name_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1105:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal (N : C_File_Name; A : System.Address) return OS_Time;
                ^

../../gcc/ada/adaint.c:1349:1: note: ‘__gnat_file_time_name_attr’ was previously declared here
 __gnat_file_time_name_attr (char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1083:16: warning: type of ‘osint__file_length__internal’ does not match original declaration [-Wlto-type-mismatch]
       function Internal
                ^

../../gcc/ada/adaint.c:1088:1: note: type mismatch in parameter 2
 __gnat_file_length_attr (int fd, char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:1083:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Internal
                ^

../../gcc/ada/adaint.c:1088:1: note: ‘__gnat_file_length_attr’ was previously declared here
 __gnat_file_length_attr (int fd, char* name, struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:418:19: warning: type of ‘osint__add_default_search_dirs__get_libraries_from_registry__c_get_libraries_from_registry’ does not match original declaration [-Wlto-type-mismatch]
          function C_Get_Libraries_From_Registry return Address;
                   ^

../../gcc/ada/adaint.c:1458:1: note: return value type mismatch
 __gnat_get_libraries_from_registry (void)
 ^

../../gcc/ada/osint.adb:418:19: note: code may be misoptimized unless -fno-strict-aliasing is used
          function C_Get_Libraries_From_Registry return Address;
                   ^

../../gcc/ada/adaint.c:1458:1: note: ‘__gnat_get_libraries_from_registry’ was previously declared here
 __gnat_get_libraries_from_registry (void)
 ^

../../gcc/ada/s-os_lib.adb:2644:17: warning: type of ‘system__os_lib__set_file_last_modify_time_stamp__c_set_file_time’ does not match original declaration [-Wlto-type-mismatch]
       procedure C_Set_File_Time (Name : C_File_Name; Time : OS_Time);
                 ^

../../gcc/ada/adaint.c:1407:1: note: type mismatch in parameter 1
 __gnat_set_file_time_name (char *name, time_t time_stamp)
 ^

../../gcc/ada/s-os_lib.adb:2644:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure C_Set_File_Time (Name : C_File_Name; Time : OS_Time);
                 ^

../../gcc/ada/adaint.c:1407:1: note: ‘__gnat_set_file_time_name’ was previously declared here
 __gnat_set_file_time_name (char *name, time_t time_stamp)
 ^

../../gcc/ada/s-os_lib.adb:800:16: warning: type of ‘system__os_lib__create_temp_file__open_new_temp’ does not match original declaration [-Wlto-type-mismatch]
       function Open_New_Temp
                ^

../../gcc/ada/adaint.c:980:1: note: type mismatch in parameter 1
 __gnat_open_new_temp (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:800:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Open_New_Temp
                ^

../../gcc/ada/adaint.c:980:1: note: ‘__gnat_open_new_temp’ was previously declared here
 __gnat_open_new_temp (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:757:16: warning: type of ‘system__os_lib__create_new_file__c_create_new_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function C_Create_New_File
                ^

../../gcc/ada/adaint.c:955:1: note: type mismatch in parameter 1
 __gnat_open_new (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:757:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Create_New_File
                ^

../../gcc/ada/adaint.c:955:1: note: ‘__gnat_open_new’ was previously declared here
 __gnat_open_new (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2455:16: warning: type of ‘system__os_lib__open_append__c_open_append__2’ does not match original declaration [-Wlto-type-mismatch]
       function C_Open_Append
                ^

../../gcc/ada/adaint.c:930:1: note: type mismatch in parameter 1
 __gnat_open_append (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2455:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Open_Append
                ^

../../gcc/ada/adaint.c:930:1: note: ‘__gnat_open_append’ was previously declared here
 __gnat_open_append (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:857:19: warning: type of ‘system__os_lib__create_temp_file_internal__create_new_output_text_file__c_create_file’ does not match original declaration [-Wlto-type-mismatch]
          function C_Create_File (Name : C_File_Name) return File_Descriptor;
                   ^

../../gcc/ada/adaint.c:912:1: note: type mismatch in parameter 1
 __gnat_create_output_file_new (char *path)
 ^

../../gcc/ada/s-os_lib.adb:857:19: note: code may be misoptimized unless -fno-strict-aliasing is used
          function C_Create_File (Name : C_File_Name) return File_Descriptor;
                   ^

../../gcc/ada/adaint.c:912:1: note: ‘__gnat_create_output_file_new’ was previously declared here
 __gnat_create_output_file_new (char *path)
 ^

../../gcc/ada/s-os_lib.adb:781:16: warning: type of ‘system__os_lib__create_output_text_file__c_create_file’ does not match original declaration [-Wlto-type-mismatch]
       function C_Create_File (Name : C_File_Name) return File_Descriptor;
                ^

../../gcc/ada/adaint.c:894:1: note: type mismatch in parameter 1
 __gnat_create_output_file (char *path)
 ^

../../gcc/ada/s-os_lib.adb:781:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Create_File (Name : C_File_Name) return File_Descriptor;
                ^

../../gcc/ada/adaint.c:894:1: note: ‘__gnat_create_output_file’ was previously declared here
 __gnat_create_output_file (char *path)
 ^

../../gcc/ada/s-os_lib.adb:730:16: warning: type of ‘system__os_lib__create_file__c_create_file__2’ does not match original declaration [-Wlto-type-mismatch]
       function C_Create_File
                ^

../../gcc/ada/adaint.c:871:1: note: type mismatch in parameter 1
 __gnat_open_create (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:730:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Create_File
                ^

../../gcc/ada/adaint.c:871:1: note: ‘__gnat_open_create’ was previously declared here
 __gnat_open_create (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2509:16: warning: type of ‘system__os_lib__open_read_write__c_open_read_write__2’ does not match original declaration [-Wlto-type-mismatch]
       function C_Open_Read_Write
                ^

../../gcc/ada/adaint.c:848:1: note: type mismatch in parameter 1
 __gnat_open_rw (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2509:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Open_Read_Write
                ^

../../gcc/ada/adaint.c:848:1: note: ‘__gnat_open_rw’ was previously declared here
 __gnat_open_rw (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2482:16: warning: type of ‘system__os_lib__open_read__c_open_read__2’ does not match original declaration [-Wlto-type-mismatch]
       function C_Open_Read
                ^

../../gcc/ada/adaint.c:817:1: note: type mismatch in parameter 1
 __gnat_open_read (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2482:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function C_Open_Read
                ^

../../gcc/ada/adaint.c:817:1: note: ‘__gnat_open_read’ was previously declared here
 __gnat_open_read (char *path, int fmode)
 ^

../../gcc/ada/s-os_lib.adb:2585:16: warning: type of ‘system__os_lib__rename_file__rename__2’ does not match original declaration [-Wlto-type-mismatch]
       function rename (From, To : Address) return Integer;
                ^

../../gcc/ada/adaint.c:697:1: note: type mismatch in parameter 1
 __gnat_rename (char *from, char *to)
 ^

../../gcc/ada/s-os_lib.adb:2585:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function rename (From, To : Address) return Integer;
                ^

../../gcc/ada/adaint.c:697:1: note: ‘__gnat_rename’ was previously declared here
 __gnat_rename (char *from, char *to)
 ^

../../gcc/ada/s-crtl.ads:226:13: warning: type of ‘system__crtl__unlink’ does not match original declaration [-Wlto-type-mismatch]
    function unlink (filename : chars) return int;
             ^

../../gcc/ada/adaint.c:680:1: note: type mismatch in parameter 1
 __gnat_unlink (char *path)
 ^

../../gcc/ada/s-crtl.ads:226:13: note: code may be misoptimized unless -fno-strict-aliasing is used
    function unlink (filename : chars) return int;
             ^

../../gcc/ada/adaint.c:680:1: note: ‘__gnat_unlink’ was previously declared here
 __gnat_unlink (char *path)
 ^

../../gcc/ada/s-os_lib.adb:1090:17: warning: type of ‘system__os_lib__get_debuggable_suffix__get_suffix_ptr’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:645:1: note: type mismatch in parameter 1
 __gnat_get_debuggable_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/s-os_lib.adb:1090:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:645:1: note: ‘__gnat_get_debuggable_suffix_ptr’ was previously declared here
 __gnat_get_debuggable_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/s-os_lib.adb:1113:17: warning: type of ‘system__os_lib__get_executable_suffix__get_suffix_ptr’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:630:1: note: type mismatch in parameter 1
 __gnat_get_executable_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/s-os_lib.adb:1113:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:630:1: note: ‘__gnat_get_executable_suffix_ptr’ was previously declared here
 __gnat_get_executable_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/s-os_lib.adb:1136:17: warning: type of ‘system__os_lib__get_object_suffix__get_suffix_ptr’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:615:1: note: type mismatch in parameter 1
 __gnat_get_object_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/s-os_lib.adb:1136:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Suffix_Ptr (Length, Ptr : Address);
                 ^

../../gcc/ada/adaint.c:615:1: note: ‘__gnat_get_object_suffix_ptr’ was previously declared here
 __gnat_get_object_suffix_ptr (int *len, const char **value)
 ^

../../gcc/ada/osint.adb:1490:17: warning: type of ‘osint__get_rts_search_dir__get_current_dir’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Current_Dir
                 ^

../../gcc/ada/adaint.c:589:1: note: type mismatch in parameter 1
 __gnat_get_current_dir (char *dir, int *length)
 ^

../../gcc/ada/osint.adb:1490:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Current_Dir
                 ^

../../gcc/ada/s-os_lib.adb:1999:17: warning: type of ‘system__os_lib__normalize_pathname__get_current_dir’ does not match original declaration [-Wlto-type-mismatch]
       procedure Get_Current_Dir
                 ^

../../gcc/ada/adaint.c:589:1: note: type mismatch in parameter 1
 __gnat_get_current_dir (char *dir, int *length)
 ^

../../gcc/ada/s-os_lib.adb:1999:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Get_Current_Dir
                 ^

../../gcc/ada/adaint.c:589:1: note: ‘__gnat_get_current_dir’ was previously declared here
 __gnat_get_current_dir (char *dir, int *length)
 ^

../../gcc/ada/s-os_lib.adb:2013:16: warning: type of ‘system__os_lib__normalize_pathname__readlink’ does not match original declaration [-Wlto-type-mismatch]
       function Readlink
                ^

../../gcc/ada/adaint.c:419:1: note: type mismatch in parameter 1
 __gnat_readlink (char *path ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/s-os_lib.adb:2013:16: note: code may be misoptimized unless -fno-strict-aliasing is used
       function Readlink
                ^

../../gcc/ada/adaint.c:419:1: note: ‘__gnat_readlink’ was previously declared here
 __gnat_readlink (char *path ATTRIBUTE_UNUSED,
 ^

../../gcc/ada/s-os_lib.adb:1423:17: warning: type of ‘system__os_lib__gm_time_of__to_os_time’ does not match original declaration [-Wlto-type-mismatch]
       procedure To_OS_Time
                 ^

../../gcc/ada/adaint.c:395:1: note: type mismatch in parameter 1
 __gnat_to_os_time (OS_Time *p_time, int year, int month, int day,
 ^

../../gcc/ada/s-os_lib.adb:1423:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure To_OS_Time
                 ^

../../gcc/ada/adaint.c:395:1: note: ‘__gnat_to_os_time’ was previously declared here
 __gnat_to_os_time (OS_Time *p_time, int year, int month, int day,
 ^

../../gcc/ada/s-os_lib.adb:1364:17: warning: type of ‘system__os_lib__gm_split__to_gm_time’ does not match original declaration [-Wlto-type-mismatch]
       procedure To_GM_Time
                 ^

../../gcc/ada/adaint.c:367:1: note: type mismatch in parameter 1
 __gnat_to_gm_time (OS_Time *p_time, int *p_year, int *p_month, int *p_day,
 ^

../../gcc/ada/s-os_lib.adb:1364:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure To_GM_Time
                 ^

../../gcc/ada/adaint.c:367:1: note: ‘__gnat_to_gm_time’ was previously declared here
 __gnat_to_gm_time (OS_Time *p_time, int *p_year, int *p_month, int *p_day,
 ^

../../gcc/ada/s-os_lib.adb:968:17: warning: type of ‘system__os_lib__current_time_string__current_time_string’ does not match original declaration [-Wlto-type-mismatch]
       procedure Current_Time_String (Time : System.Address);
                 ^

../../gcc/ada/adaint.c:348:1: note: type mismatch in parameter 1
 __gnat_current_time_string (char *result)
 ^

../../gcc/ada/s-os_lib.adb:968:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure Current_Time_String (Time : System.Address);
                 ^

../../gcc/ada/adaint.c:348:1: note: ‘__gnat_current_time_string’ was previously declared here
 __gnat_current_time_string (char *result)
 ^

../../gcc/ada/osint.adb:3305:14: warning: type of ‘osint__reset_file_attributes’ does not match original declaration [-Wlto-type-mismatch]
    procedure Reset_File_Attributes (Attr : System.Address);
              ^

../../gcc/ada/adaint.c:314:1: note: type mismatch in parameter 1
 __gnat_reset_attributes (struct file_attributes* attr)
 ^

../../gcc/ada/osint.adb:3305:14: note: code may be misoptimized unless -fno-strict-aliasing is used
    procedure Reset_File_Attributes (Attr : System.Address);
              ^

../../gcc/ada/adaint.c:314:1: note: ‘__gnat_reset_attributes’ was previously declared here
 __gnat_reset_attributes (struct file_attributes* attr)
 ^

../../gcc/ada/a-except.adb:871:17: warning: type of ‘ada__exceptions__process_raise_exception__builtin_longjmp’ does not match original declaration [-Wlto-type-mismatch]
       procedure builtin_longjmp (buffer : Address; Flag : Integer);
                 ^

../../gcc/ada/raise.c:58:1: note: type mismatch in parameter 1
 _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/a-except.adb:871:17: note: code may be misoptimized unless -fno-strict-aliasing is used
       procedure builtin_longjmp (buffer : Address; Flag : Integer);
                 ^

../../gcc/ada/raise.c:58:1: note: ‘_gnat_builtin_longjmp’ was previously declared here
 _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/a-exexda.adb:211:13: warning: type of ‘ada__exceptions__exception_data__get_executable_load_addressXn’ does not match original declaration [-Wlto-type-mismatch]
    function Get_Executable_Load_Address return System.Address;
             ^

../../gcc/ada/adaint.c:3179:1: note: return value type mismatch
 __gnat_get_executable_load_address (void)
 ^

../../gcc/ada/adaint.c:3179:1: note: ‘__gnat_get_executable_load_address’ was previously declared here
../../gcc/ada/init.c:94:13: warning: type of ‘ada__exceptions__raise_from_signal_handler’ does not match original declaration [-Wlto-type-mismatch]
 extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *);
             ^

../../gcc/ada/a-except.adb:1060:4: note: type mismatch in parameter 2
    procedure Raise_From_Signal_Handler
    ^

../../gcc/ada/init.c:94:13: note: code may be misoptimized unless -fno-strict-aliasing is used
 extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *);
             ^

../../gcc/ada/a-except.adb:1060:4: note: ‘ada__exceptions__raise_from_signal_handler’ was previously declared here
    procedure Raise_From_Signal_Handler
    ^

../../gcc/ada/init.c:83:30: warning: type of ‘storage_error’ does not match original declaration [-Wlto-type-mismatch]
 extern struct Exception_Data storage_error;
                              ^

../../gcc/ada/s-stalib.ads:179:4: note: type ‘struct ’ should match type ‘struct Exception_Data’
    Storage_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/raise.h:38:8: note: the incompatible type is defined here
 struct Exception_Data
        ^

../../gcc/ada/init.c:83:30: note: code may be misoptimized unless -fno-strict-aliasing is used
 extern struct Exception_Data storage_error;
                              ^

../../gcc/ada/s-stalib.ads:179:4: note: ‘system__standard_library__storage_error_def’ was previously declared here
    Storage_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/init.c:82:30: warning: type of ‘program_error’ does not match original declaration [-Wlto-type-mismatch]
 extern struct Exception_Data program_error;
                              ^

../../gcc/ada/s-stalib.ads:170:4: note: type ‘struct ’ should match type ‘struct Exception_Data’
    Program_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/raise.h:38:8: note: the incompatible type is defined here
 struct Exception_Data
        ^

../../gcc/ada/init.c:82:30: note: code may be misoptimized unless -fno-strict-aliasing is used
 extern struct Exception_Data program_error;
                              ^

../../gcc/ada/s-stalib.ads:170:4: note: ‘system__standard_library__program_error_def’ was previously declared here
    Program_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/init.c:80:30: warning: type of ‘constraint_error’ does not match original declaration [-Wlto-type-mismatch]
 extern struct Exception_Data constraint_error;
                              ^

../../gcc/ada/s-stalib.ads:152:4: note: type ‘struct ’ should match type ‘struct Exception_Data’
    Constraint_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/raise.h:38:8: note: the incompatible type is defined here
 struct Exception_Data
        ^

../../gcc/ada/init.c:80:30: note: code may be misoptimized unless -fno-strict-aliasing is used
 extern struct Exception_Data constraint_error;
                              ^

../../gcc/ada/s-stalib.ads:152:4: note: ‘system__standard_library__constraint_error_def’ was previously declared here
    Constraint_Error_Def : aliased Exception_Data :=
    ^

../../gcc/ada/a-comlin.adb:41:14: warning: type of ‘ada__command_line__fill_arg’ does not match original declaration [-Wlto-type-mismatch]
    procedure Fill_Arg (A : System.Address; Arg_Num : Integer);
              ^

../../gcc/ada/argv.c:92:1: note: type mismatch in parameter 1
 __gnat_fill_arg (char *a, int i)
 ^

../../gcc/ada/a-comlin.adb:41:14: note: code may be misoptimized unless -fno-strict-aliasing is used
    procedure Fill_Arg (A : System.Address; Arg_Num : Integer);
              ^

../../gcc/ada/osint.ads:673:14: warning: type of ‘osint__fill_arg’ does not match original declaration [-Wlto-type-mismatch]
    procedure Fill_Arg (A : System.Address; Arg_Num : Integer);
              ^

../../gcc/ada/argv.c:92:1: note: type mismatch in parameter 1
 __gnat_fill_arg (char *a, int i)
 ^

../../gcc/ada/osint.ads:673:14: note: code may be misoptimized unless -fno-strict-aliasing is used
    procedure Fill_Arg (A : System.Address; Arg_Num : Integer);
              ^

../../gcc/ada/osint.ads:673:14: warning: type of ‘osint__fill_arg’ does not match original declaration [-Wlto-type-mismatch]
../../gcc/ada/argv.c:92:1: note: type mismatch in parameter 1
 __gnat_fill_arg (char *a, int i)
 ^

../../gcc/ada/osint.ads:673:14: note: code may be misoptimized unless -fno-strict-aliasing is used
    procedure Fill_Arg (A : System.Address; Arg_Num : Integer);
              ^

../../gcc/ada/argv.c:92:1: note: ‘__gnat_fill_arg’ was previously declared here
 __gnat_fill_arg (char *a, int i)
 ^

ada/b_gnatb.adb:282:17: warning: type of ‘ada_main__main__initialize’ does not match original declaration [-Wlto-type-mismatch]
       procedure Initialize (Addr : System.Address);
                 ^

../../gcc/ada/initialize.c:131:1: note: type mismatch in parameter 1
 __gnat_initialize (void *eh ATTRIBUTE_UNUSED)
 ^

../../gcc/ada/initialize.c:131:1: note: ‘__gnat_initialize’ was previously declared here
ada/b_gnatb.ads:8:4: warning: type of ‘ada_main__gnat_envp’ does not match original declaration [-Wlto-type-mismatch]
    gnat_envp : System.Address;
    ^

ada/b_gnatb.ads:8:4: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/argv.c:65:14: note: ‘gnat_envp’ was previously declared here
 const char **gnat_envp = (const char **) 0;
              ^

ada/b_gnatb.ads:7:4: warning: type of ‘ada_main__gnat_argv’ does not match original declaration [-Wlto-type-mismatch]
    gnat_argv : System.Address;
    ^

ada/b_gnatb.ads:7:4: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/a-comlin.adb:105:7: warning: type of ‘gnat_argv’ does not match original declaration [-Wlto-type-mismatch]
       gnat_argv : System.Address;
       ^

../../gcc/ada/a-comlin.adb:105:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/argv.c:64:14: note: ‘gnat_argv’ was previously declared here
 const char **gnat_argv = (const char **) 0;
              ^

ada/b_gnatb.adb:112:7: warning: type of ‘interrupt_states’ does not match original declaration [-Wlto-type-mismatch]
       Interrupt_States : System.Address;
       ^

ada/b_gnatb.adb:112:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/init.c:109:7: note: ‘__gl_interrupt_states’ was previously declared here
 char *__gl_interrupt_states              = 0;
       ^

ada/b_gnatb.adb:106:7: warning: type of ‘priority_specific_dispatching’ does not match original declaration [-Wlto-type-mismatch]
       Priority_Specific_Dispatching : System.Address;
       ^

ada/b_gnatb.adb:106:7: note: code may be misoptimized unless -fno-strict-aliasing is used
../../gcc/ada/init.c:107:7: note: ‘__gl_priority_specific_dispatching’ was previously declared here
 char *__gl_priority_specific_dispatching = 0;
       ^

../../gcc/ada/gnatbind.adb: In function ‘gnatbind’:
../../gcc/ada/gnatbind.adb:59:4: warning: ‘total_errors’ may be used uninitialized in this function [-Wmaybe-uninitialized]
    Total_Errors : Nat := 0;
    ^

../../gcc/ada/gnatbind.adb:62:4: warning: ‘total_warnings’ may be used uninitialized in this function [-Wmaybe-uninitialized]
    Total_Warnings : Nat := 0;
    ^



More information about the Gcc-patches mailing list