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

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

[nick at sqrt dot co dot uk]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1314 bytes --]

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

[Bug tree-optimization/21958] [4.1 Regression] verify_stmts reports tree node sharing assertion

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-08 12:54 -------
Fixed already by:
2005-06-08  Zdenek Dvorak  <dvorakz@suse.cz>

        * tree-ssa-loop-ivopts.c (rewrite_use_outer): Unshare the expression
        before emiting it.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|c                           |tree-optimization
           Keywords|                            |ice-on-valid-code
         Resolution|                            |FIXED
            Summary|verify_stmts reports tree   |[4.1 Regression]
                   |node sharing assertion      |verify_stmts reports tree
                   |                            |node sharing assertion
   Target Milestone|---                         |4.1.0


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