[Bug tree-optimization/42215] New: [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[Bug tree-optimization/42215] New: [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[zsojka at seznam dot cz]

Compiler flags: -O2 -ftree-loop-distribution

Tested revisions:
trunk r154706 (20091127) - crash
trunk r153685 (20091028) - crash
4.4 r153668, r154724 - OK

==== file.c ====
extern int A[];
extern int B[];

void f(int i)
{
   while (i-- > 0) {
     A[i] = 0;
     B[i] = 0;
   }
}
=============

$ /mnt/svn/gcc-trunk/binary-154706-lto/bin/gcc -O2 -ftree-loop-distribution -c
file.c -o tmp.o -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-154706-lto/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-154706-lto/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --enable-languages=c,c++,lto
--prefix=/mnt/svn/gcc-trunk/binary-154706-lto
Thread model: posix
gcc version 4.5.0 20091127 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-O2' '-ftree-loop-distribution' '-c' '-o' 'tmp.o' '-v'
'-mtune=generic'

/mnt/svn/gcc-trunk/binary-154706-lto/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/cc1
-quiet -v file.c -quiet -dumpbase file.c -mtune=generic -auxbase-strip tmp.o
-O2 -version -ftree-loop-distribution -o /tmp/ccGTZYvH.s
GNU C (GCC) version 4.5.0 20091127 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.5.0 20091127 (experimental), GMP version
4.3.1, MPFR version 2.4.1-p5, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory
"/mnt/svn/gcc-trunk/binary-154706-lto/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /mnt/svn/gcc-trunk/binary-154706-lto/include

/mnt/svn/gcc-trunk/binary-154706-lto/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/include

/mnt/svn/gcc-trunk/binary-154706-lto/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/include-fixed
 /usr/include
End of search list.
GNU C (GCC) version 4.5.0 20091127 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.5.0 20091127 (experimental), GMP version
4.3.1, MPFR version 2.4.1-p5, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 6ceb3c4a53027ce4dbc9ea8fb31afa70
file.c: In function &#8216;f&#8217;:
file.c:4:6: error: type mismatch in binary expression
long unsigned int

<unnamed-signed:64>

long unsigned int

D.2734_16 = D.2733_15 - D.2730_10;

file.c:4:6: error: type mismatch in binary expression
long unsigned int

<unnamed-signed:64>

long unsigned int

D.2742_24 = D.2741_23 - D.2738_20;

file.c:4:6: 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.


-- 
           Summary: [4.5 Regression] internal compiler error: verify_stmts
                    failed with -O2 -ftree-loop-distribution
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2009-11-29 12:41 -------
Created an attachment (id=19176)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19176&action=view)
source file


-- 


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rth at gcc dot gnu dot org]

------- Comment #2 from rth at gcc dot gnu dot org  2009-12-02 19:26 -------
Confirmed.


-- 

rth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-02 19:26:47
               date|                            |


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rth at gcc dot gnu dot org]

-- 

rth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-12-02 19:26:47         |2009-12-02 19:58:14
               date|                            |


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rth at gcc dot gnu dot org]

------- Comment #3 from rth at gcc dot gnu dot org  2009-12-02 22:35 -------
Subject: Bug 42215

Author: rth
Date: Wed Dec  2 22:35:21 2009
New Revision: 154925

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154925
Log:
        PR tree-opt/42215
        * tree-loop-distribution.c (build_size_arg_loc): Tidy.
        (generate_memset_zero): Convert to sizetype properly.  Tidy.

Added:
    trunk/gcc/testsuite/gcc.dg/pr42215.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-loop-distribution.c


-- 


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[rth at gcc dot gnu dot org]

------- Comment #4 from rth at gcc dot gnu dot org  2009-12-02 22:42 -------
Fixed.


-- 

rth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/42215] [4.5 Regression] internal compiler error: verify_stmts failed with -O2 -ftree-loop-distribution

[hjl at gcc dot gnu dot org]

------- Comment #5 from hjl at gcc dot gnu dot org  2009-12-12 01:45 -------
Subject: Bug 42215

Author: hjl
Date: Sat Dec 12 01:45:12 2009
New Revision: 155191

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155191
Log:
Backport testcases from trunk.

2009-12-11  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-12-07  Richard Henderson  <rth@redhat.com>

        PR rtl-opt/42269
        * gcc.c-torture/execute/pr42269-2.c: New.

        2009-12-07  Richard Henderson  <rth@redhat.com>

        PR debug/42299
        PR debug/42166
        * gcc.c-torture/compile/pr42299.c: New.
        * gfortran.dg/pr42166.f90: Likewise.

        2009-12-06  Richard Henderson  <rth@redhat.com>

        PR debug/42234
        * gcc.c-torture/compile/pr42234.c: New.

        2009-12-02  Richard Henderson  <rth@redhat.com>

        PR tree-opt/42215
        * gcc.dg/pr42215.c: New.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42234.c
      - copied unchanged from r155190,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42234.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42299.c
      - copied unchanged from r155190,
trunk/gcc/testsuite/gcc.c-torture/compile/pr42299.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr42269-2.c
      - copied unchanged from r155190,
trunk/gcc/testsuite/gcc.c-torture/execute/pr42269-2.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr42215.c
      - copied unchanged from r155190, trunk/gcc/testsuite/gcc.dg/pr42215.c
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr42166.f90
      - copied unchanged from r155190,
trunk/gcc/testsuite/gfortran.dg/pr42166.f90
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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