[Bug c/53703] New: verify_ssa: definition in block 105 does not dominate use in block 103

[dcb314 at hotmail dot com]

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

             Bug #: 53703
           Summary: verify_ssa: definition in block 105 does not dominate
                    use in block 103
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 27639
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27639
C source code

I just tried to compile the package gnet2-2.0.8-6
on gcc-4.8 trunk dated 20120617 on an AMD x86_64 box.

The compiler said

usagi_ifaddrs.c:428:1: error: definition in block 105 does not dominate use in
block 103
 usagi_getifaddrs (struct ifaddrs **ifap)
 ^
for SSA_NAME: .MEM_375 in statement:
# VUSE <.MEM_375>
D.5483_238 = ifamap.address_len;
usagi_ifaddrs.c:428:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O2 required.