[Bug c/34407] New: verify_stmts failed

[Bug c/34407] New: verify_stmts failed

[dcb314 at hotmail dot com]

I just tried to compile Suse Linux package GraphicsMagick-1.1.10-11
with the GNU C compiler version 4.3, snapshot 20071207 and
the compiler said

rle.c: In function 'ReadRLEImage':
rle.c:116: error: incorrect sharing of tree nodes
prologue_after_cost_adjust.421_1336 = (long unsigned int) D.8406_92;

(long unsigned int) D.8406_92;

rle.c:116: internal compiler error: verify_stmts 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. Flags -O2 -ftree-vectorize
required.


-- 
           Summary: verify_stmts failed
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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

[Bug c/34407] verify_stmts failed

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2007-12-09 14:40 -------
Created an attachment (id=14712)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14712&action=view)
C source code


-- 


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

[Bug c/34407] verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-12-09 15:54 -------
I suppose this is related to PR34371.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |34371


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

[Bug tree-optimization/34407] verify_stmts failed

[ubizjak at gmail dot com]

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



------- Comment #3 from ubizjak at gmail dot com  2007-12-09 16:42 -------
Confirmed, ICEs in vectorizer pass on x86_64-pc-linux-gnu. Reduced testcase:

--cut here--
extern int ReadBlobByte (void);

void ReadRLEImage (unsigned char *p)
{
  unsigned char background_color[256];
  long j;

  unsigned long number_planes = ReadBlobByte();

  for (j = 0; j < (long) number_planes; j++)
    *p++ = background_color[j];
}
--cut here--

gcc -O2 -ftree-vectorize t.c
t.c: In function ‘ReadRLEImage’:
t.c:4: error: incorrect sharing of tree nodes
prologue_after_cost_adjust.22_33 = (long unsigned int) D.1550_3;

(long unsigned int) D.1550_3;

t.c:4: internal compiler error: verify_stmts failed
Please submit a full bug report,
<...>


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
 GCC target triplet|                            |x86_64-pc-gnu-linux
   Last reconfirmed|0000-00-00 00:00:00         |2007-12-09 16:42:34
               date|                            |


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

[Bug tree-optimization/34407] verify_stmts failed

[uros at gcc dot gnu dot org]

------- Comment #4 from uros at gcc dot gnu dot org  2007-12-11 08:08 -------
Subject: Bug 34407

Author: uros
Date: Tue Dec 11 08:08:12 2007
New Revision: 130769

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130769
Log:
        PR tree-optimization/34407
        * gcc.dg/vect/pr34407.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr34407.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/34407] verify_stmts failed

[ubizjak at gmail dot com]

------- Comment #5 from ubizjak at gmail dot com  2007-12-11 08:09 -------
Fixed in SVN.


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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