[Bug tree-optimization/55569] New: [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[Bug tree-optimization/55569] New: [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[zsojka at seznam dot cz]

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

             Bug #: 55569
           Summary: [4.8 Regression] ICE: in check_probability, at
                    basic-block.h:944 with -ftree-vectorize
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 28856
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28856
reduced testcase

Compiler output:
$ gcc -O -ftree-vectorize testcase.C
testcase.C: In function 'void test01()':
testcase.C:13:1: internal compiler error: in check_probability, at
basic-block.h:944
 test01 ()
 ^
0x84ddff check_probability
        /mnt/svn/gcc-trunk/gcc/basic-block.h:944
0x84ddff inverse_probability
        /mnt/svn/gcc-trunk/gcc/basic-block.h:972
0x84ddff scale_loop_profile(loop*, int, int)
        /mnt/svn/gcc-trunk/gcc/cfgloopmanip.c:522
0xd85d4e vect_transform_loop(_loop_vec_info*)
        /mnt/svn/gcc-trunk/gcc/tree-vect-loop.c:5739
0xd9e426 vectorize_loops()
        /mnt/svn/gcc-trunk/gcc/tree-vectorizer.c:124
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ gcc -v                            
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-194017-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-194017-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.8.0 20121201 (experimental) (GCC) 

Tested revisions:
r194017 - crash

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-12-02
     Ever Confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-12-02 23:14:54 UTC ---
Revision 190641 is OK.
Revision 193382 gives the ICE.

Note that there is no ICE for revision 194020 configured with
--enable-checking=release.

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot
                   |                            |gnu.org, mpolacek at gcc
                   |                            |dot gnu.org

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-03 10:44:08 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=193667

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-03 14:09:25 UTC ---
Simplified testcase (in C):
int *bar (void);

void
foo (void)
{
  long x;
  int *y = bar ();
    for (x = -1 / sizeof (int); x; --x, ++y)
       *y = 0;
}

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-03 14:31:30 UTC ---
I think this actually started with
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193241
instead.

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[hjl.tools at gmail dot com]

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

--- Comment #5 from H.J. Lu <hjl.tools at gmail dot com> 2012-12-03 15:19:33 UTC ---
It is caused by revision 193241:

http://gcc.gnu.org/ml/gcc-cvs/2012-11/msg00188.html

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

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

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |hubicka at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-01-04 22:41:33 UTC ---
Mine.

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[hubicka at gcc dot gnu.org]

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

--- Comment #7 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-01-09 21:29:14 UTC ---
Author: hubicka
Date: Wed Jan  9 21:29:07 2013
New Revision: 195067

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195067
Log:

    PR tree-optimization/55569
    * cfgloopmanip.c (scale_loop_profile): Make ITERATION_BOUND gcov_type.
    * cfgloop.h (scale_loop_profile): Likewise.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr55569.c   (with props)
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgloop.h
    trunk/gcc/cfgloopmanip.c
    trunk/gcc/testsuite/ChangeLog

Propchange: trunk/gcc/testsuite/gcc.c-torture/compile/pr55569.c
            ('svn:mime-type' added)

[Bug tree-optimization/55569] [4.8 Regression] ICE: in check_probability, at basic-block.h:944 with -ftree-vectorize

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

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

--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-01-09 21:32:35 UTC ---
Fixed.