[Bug c/21958] New: verify_stmts reports tree node sharing assertion

[nick at sqrt dot co dot uk]

Using GCC 4.1 mainline checkout at 20050607.

$ ./i686-linux/gcc/xgcc -B ./i686-linux/gcc -S bug1.c -O1
bug1.c: In function ‘foo’:
bug1.c:2: error: Incorrect sharing of tree nodes
D.1290_47 = (charD.1 * *) pD.1236_3;

(charD.1 * *) pD.1236_3;

bug1.c:2: internal compiler error: verify_stmts failed.
Please submit a full bug report,


I've narrowed down a testcase to:

void foo (char *p)
{
  char *endptr = p;
  while (1)
    {
      int i = 1;
      char **members;

      if (p[1])
        {
          do {
            if (*p == ',')
              {
                i++;
                *p = 0;
              }
          } while (*++p);
        }

      members = (char **) p;
      if (--i)
        {
          p = endptr;
          do {
            *members++ = ++p;
            if (!--i)
              break;
            while (*++p) {}
          } while (1);
        }
      *members = 0;
    }
}

-- 
           Summary: verify_stmts reports tree node sharing assertion
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nick at sqrt dot co dot uk
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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