[Bug tree-optimization/46167] New: [4.5/4.6 Regression] ICE: SEIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[Bug tree-optimization/46167] New: [4.5/4.6 Regression] ICE: SEIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[zsojka at seznam dot cz]

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

           Summary: [4.5/4.6 Regression] ICE: SEIGSEGV in
                    flow_bb_inside_loop_p (cfgloop.c:776) with -O
                    -ftree-vectorize
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

valgrind output :
$ gcc -O -ftree-vectorize pr46167.c
==21601== Invalid read of size 8
==21601==    at 0x5933E8: flow_bb_inside_loop_p (cfgloop.c:776)
==21601==    by 0x100FA9F: vect_recog_dot_prod_pattern
(tree-vect-patterns.c:260)
==21601==    by 0x10104A5: vect_pattern_recog (tree-vect-patterns.c:683)
==21601==    by 0x9DE777: vect_analyze_loop (tree-vect-loop.c:1406)
==21601==    by 0x9EC288: vectorize_loops (tree-vectorizer.c:219)
==21601==    by 0x797A5E: execute_one_pass (passes.c:1560)
==21601==    by 0x797CF4: execute_pass_list (passes.c:1615)
==21601==    by 0x797D06: execute_pass_list (passes.c:1616)
==21601==    by 0x797D06: execute_pass_list (passes.c:1616)
==21601==    by 0x8E4B65: tree_rest_of_compilation (tree-optimize.c:422)
==21601==    by 0xAAF281: cgraph_expand_function (cgraphunit.c:1494)
==21601==    by 0xAB1849: cgraph_optimize (cgraphunit.c:1553)
==21601==  Address 0x18 is not stack'd, malloc'd or (recently) free'd
==21601== 
pr46167.c: In function 'foo':
pr46167.c:1:5: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r165915 - crash
r163636 - crash
r161659 - OK
r159696 - OK
4.5 r165781 - crash
4.5.1 - OK
4.4 r165754 - OK

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.26 08:25:36
                 CC|                            |cfang at gcc dot gnu.org
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-26 08:25:36 UTC ---
It is caused by revision 163207:

http://gcc.gnu.org/ml/gcc-cvs/2010-08/msg00418.html

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hjl.tools at gmail dot com
   Target Milestone|4.6.0                       |4.5.2

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[jakub at gcc dot gnu.org]

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

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

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

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[irar at gcc dot gnu.org]

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

--- Comment #2 from irar at gcc dot gnu.org 2010-10-26 15:53:33 UTC ---
Author: irar
Date: Tue Oct 26 15:53:28 2010
New Revision: 165970

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

    PR tree-optimization/46167
    * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Check that there
    is basic block for the statement.


Added:
    trunk/gcc/testsuite/gcc.dg/vect/O-pr46167.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/vect/vect.exp
    trunk/gcc/tree-vect-patterns.c

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[irar at gcc dot gnu.org]

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

--- Comment #3 from irar at gcc dot gnu.org 2010-10-26 20:16:13 UTC ---
Author: irar
Date: Tue Oct 26 20:15:52 2010
New Revision: 165985

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

    PR tree-optimization/46167
    * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Check that
    there is basic block for the statement.


Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/vect/O-pr46167.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/vect/vect.exp
    branches/gcc-4_5-branch/gcc/tree-vect-patterns.c

[Bug tree-optimization/46167] [4.5/4.6 Regression] ICE: SIGSEGV in flow_bb_inside_loop_p (cfgloop.c:776) with -O -ftree-vectorize

[irar at il dot ibm.com]

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

Ira Rosen <irar at il dot ibm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |irar at il dot ibm.com
         Resolution|                            |FIXED

--- Comment #4 from Ira Rosen <irar at il dot ibm.com> 2010-10-26 20:25:28 UTC ---
Fixed.