[Bug ada/17793] New: [4.0 Regression] Ada front-end causing bootstrap failure

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg g-socket.adb -o g-socket.o -fdump-tree-all -v
Reading specs from ../../specs
Configured with: /Volumes/UFS_Partition/pinskia/src/devel/new-fold/gcc/configure --enable-
threads=posix --enable-languages=ada --prefix=/Volumes/UFS_Partition/pinskia/new-fold
Thread model: posix
gcc version 4.0.0 20041001 (experimental)
 ../../gnat1 -feliminate-unused-debug-symbols -fPIC -quiet -dumpbase g-socket.adb -O2 -W -Wall 
-fdump-tree-all -g -gnatpg -gnatO g-socket.o g-socket.adb -o /var/tmp//ccTSUdQN.s
+===========================GNAT BUG 
DETECTED==============================+
| 4.0.0 20041001 (experimental) (powerpc-apple-darwin7.4.1) GCC error:     |
| in check_pointer_types_r, at gimplify.c:4218                             |

Here is the tree which gimplifier is complaining about:
gdb) p debug_tree(t)
 <addr_expr 0x437481a0
    type <pointer_type 0x43747d14
        type <integer_type 0x436682e8 gnat__sockets__to_in_addrGP5369__sourceXn type <integer_type 
0x43653b24 interfaces__c__TintB>
            visited SI
            size <integer_cst 0x4260a500 constant invariant 32>
            unit size <integer_cst 0x4260a140 constant invariant 4>
            user align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x4364ffc0 -2147483648> 
max <integer_cst 0x436550c0 2147483647> RM size <integer_cst 0x4260a500 32>
            pointer_to_this <pointer_type 0x43747d14>>
        unsigned SI size <integer_cst 0x4260a500 32> unit size <integer_cst 0x4260a140 4>
        align 32 symtab 0 alias set -1>
    invariant
    arg 0 <array_ref 0x436badd0
        type <integer_type 0x43653aa8 interfaces__c__int type <integer_type 0x43653b24 
interfaces__c__TintB>
            public visited SI size <integer_cst 0x4260a500 32> unit size <integer_cst 0x4260a140 4>
            user align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x4364ffc0 -2147483648> 
max <integer_cst 0x436550c0 2147483647> RM size <integer_cst 0x4260a500 32>
            pointer_to_this <pointer_type 0x43653d14 gnat__sockets__thin__int_access>>
       
        arg 0 <var_decl 0x437396c8 v8 type <array_type 0x4373945c gnat__sockets__thin__two_int>
            addressable DI file g-socket.adb line 1026
            size <integer_cst 0x4260a760 constant invariant 64>
            unit size <integer_cst 0x4260a780 constant invariant 8>
            align 32 context <function_decl 0x426c4d14 gnat__sockets__get_socket_option> chain 
<var_decl 0x43739744 v4>>
        arg 1 <integer_cst 0x4373fa60 constant invariant 0>
        g-socket.adb:1090>>

The integer_type's are not compatible by defined by the front-end, why?

-- 
           Summary: [4.0 Regression] Ada front-end causing bootstrap failure
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build, ice-checking
          Severity: critical
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: powerpc-apple-darwin


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17793