[Bug middle-end/57103] New: [4.8/4.9 Regression] ICE: verify_gimple failed: location references block not in block tree with -ftree-parallelize-loops=4

[Bug middle-end/57103] New: [4.8/4.9 Regression] ICE: verify_gimple failed: location references block not in block tree with -ftree-parallelize-loops=4

[zsojka at seznam dot cz]

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

             Bug #: 57103
           Summary: [4.8/4.9 Regression] ICE: verify_gimple failed:
                    location references block not in block tree with
                    -ftree-parallelize-loops=4
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

Compiler output:
$ gcc -O -ftree-parallelize-loops=4 testcase.c         
testcase.c: In function 'bar._loopfn.0':
testcase.c:7:3: error: location references block not in block tree
   for (; i < 1024; i++)
   ^
*d_4[i.5_25]
# VUSE <.MEM_33(D)>
_27 = *d_4[i.5_25];
testcase.c:7:3: internal compiler error: verify_gimple failed
0xa5e09c verify_gimple_in_cfg(function*)
        /mnt/svn/gcc-trunk/gcc/tree-cfg.c:4792
0x947c07 execute_function_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:1969
0x948567 execute_todo
        /mnt/svn/gcc-trunk/gcc/passes.c:2002
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.

Tested revisions:
r198366 - crash
4.8 r198018 - crash
4.7 r198018 - OK

[Bug middle-end/57103] [4.8/4.9 Regression] ICE: verify_gimple failed: location references block not in block tree with -ftree-parallelize-loops=4

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-04-29
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.8.1
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-29 08:08:36 UTC ---
I will have a looksee.

[Bug middle-end/57103] [4.8/4.9 Regression] ICE: verify_gimple failed: location references block not in block tree with -ftree-parallelize-loops=4

[mpolacek at gcc dot gnu.org]

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

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

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-04-29 13:11:12 UTC ---
Started with http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=195147

[Bug middle-end/57103] [4.8/4.9 Regression] ICE: verify_gimple failed: location references block not in block tree with -ftree-parallelize-loops=4

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-29 14:14:46 UTC ---
Author: rguenth
Date: Mon Apr 29 14:12:54 2013
New Revision: 198418

URL: http://gcc.gnu.org/viewcvs?rev=198418&root=gcc&view=rev
Log:
2013-04-29  Richard Biener  <rguenther@suse.de>

    PR middle-end/57103
    * tree-cfg.c (move_stmt_op): Fix condition under which to update
    TREE_BLOCK.
    (move_stmt_r): Remove redundant checking.

    * gcc.dg/autopar/pr57103.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/autopar/pr57103.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c

Author: rguenth
Date: Mon Apr 29 14:14:05 2013
New Revision: 198419

URL: http://gcc.gnu.org/viewcvs?rev=198419&root=gcc&view=rev
Log:
2013-04-29  Richard Biener  <rguenther@suse.de>

    PR middle-end/57103
    * tree-cfg.c (move_stmt_op): Fix condition under which to update
    TREE_BLOCK.
    (move_stmt_r): Remove redundant checking.

    * gcc.dg/autopar/pr57103.c: New testcase.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gcc.dg/autopar/pr57103.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_8-branch/gcc/tree-cfg.c