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

[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.

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-06-17
                 CC|                            |wschmidt at gcc dot gnu.org
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-06-17 19:34:10 UTC ---
It is caused by revision 188457:

http://gcc.gnu.org/ml/gcc-cvs/2012-06/msg00367.html

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt <wschmidt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #2 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-06-17 21:47:38 UTC ---
Mine.  Investigating...

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[wschmidt at gcc dot gnu.org]

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

--- Comment #3 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-06-18 12:22:40 UTC ---
Author: wschmidt
Date: Mon Jun 18 12:22:37 2012
New Revision: 188731

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188731
Log:
gcc:

2012-06-18  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * tree-ssa-phiopt.c (hoist_adjacent_loads): Skip virtual phis;
    correctly set bb_for_def[12].

gcc/testsuite:

2012-06-18  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * gcc.dg/torture/pr53703.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr53703.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-phiopt.c

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt <wschmidt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-06-18 12:23:34 UTC ---
Fixed.

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mario-baumann at web dot de

--- Comment #5 from H.J. Lu <hjl.tools at gmail dot com> 2012-06-18 14:33:05 UTC ---
*** Bug 53715 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[wschmidt at gcc dot gnu.org]

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

--- Comment #6 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-06-20 14:30:47 UTC ---
Author: wschmidt
Date: Wed Jun 20 14:30:39 2012
New Revision: 188835

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188835
Log:
gcc:

2012-06-20  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * tree-ssa-phiopt.c (hoist_adjacent_loads): Skip virtual phis;
    correctly set bb_for_def[12].

gcc/testsuite:

2012-06-20  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * gcc.dg/torture/pr53703.c: New test.

Added:
    branches/ibm/gcc-4_6-branch/gcc/testsuite/gcc.dg/torture/pr53703.c
Modified:
    branches/ibm/gcc-4_6-branch/gcc/ChangeLog.ibm
    branches/ibm/gcc-4_6-branch/gcc/testsuite/ChangeLog.ibm
    branches/ibm/gcc-4_6-branch/gcc/tree-ssa-phiopt.c

[Bug tree-optimization/53703] [4.8 Regression] verify_ssa: definition in block 105 does not dominate use in block 103

[wschmidt at gcc dot gnu.org]

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

--- Comment #7 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-06-20 14:34:15 UTC ---
Author: wschmidt
Date: Wed Jun 20 14:34:08 2012
New Revision: 188836

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188836
Log:
gcc:

2012-06-20  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * tree-ssa-phiopt.c (hoist_adjacent_loads): Skip virtual phis;
    correctly set bb_for_def[12].

gcc/testsuite:

2012-06-20  Bill Schmidt  <wschmidt@linux.ibm.com>

    PR tree-optimization/53703
    * gcc.dg/torture/pr53703.c: New test.

Added:
    branches/ibm/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr53703.c
Modified:
    branches/ibm/gcc-4_7-branch/gcc/ChangeLog.ibm
    branches/ibm/gcc-4_7-branch/gcc/testsuite/ChangeLog.ibm
    branches/ibm/gcc-4_7-branch/gcc/tree-ssa-phiopt.c