[Bug c/21774] New: mainline internal compiler error: verify_flow_info failed

[uttamp at us dot ibm dot com]

GCC mainline gets an internal compiler error compiling following minimized code
with either -O2 -m32 or -O2 -m64.
struct estruct
{
  int co;
  int or;
  char ma;
};

void f1 (int pos1, int pos2, struct estruct *ed)
{
  int k;

  for (k = 0; k == 0; k++)
    if (ed[pos2].co == ed[pos1].co && (!ed[pos2].ma || !ed[pos1].ma))
      f1 (pos2, 0, ed);
}

$ /opt/gcc-nightly/mline-20050525/bin/gcc  -O2 -c bug.c
-- OR --
$ /opt/gcc-nightly/mline-20050525/bin/gcc  -O2 -m64 -c bug.

bug.c: In function ‘f1’:
bug.c:15: error: Wrong amount of branch edges after unconditional jump 0
bug.c:15: error: verify_flow_info: Incorrect blocks for fallthru 0->6
bug.c:15: internal compiler error: verify_flow_info failed

The failures start with this patch from dnovillo:

http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg00529.html

-- 
           Summary: mainline internal compiler error: verify_flow_info
                    failed
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: uttamp at us dot ibm dot com
                CC: dnovillo at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


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