[Bug tree-optimization/48772] New: [4.7 Regression] ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce

[Bug tree-optimization/48772] New: [4.7 Regression] ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce

[zsojka at seznam dot cz]

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

           Summary: [4.7 Regression] ICE: SIGSEGV in
                    walk_non_aliased_vuses (gimple.h:1100) with -O
                    -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 24103
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24103
reduced testcase (from g++.dg/torture/pr44535.C)

Compiler output:
$ gcc -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce testcase.C
==25341== Invalid read of size 1
==25341==    at 0xB0BE03: walk_non_aliased_vuses (gimple.h:1100)
==25341==    by 0xB80E8C: vn_reference_lookup (tree-ssa-sccvn.c:1697)
==25341==    by 0xB6DD99: eliminate (tree-ssa-pre.c:4341)
==25341==    by 0xB7103D: execute_pre (tree-ssa-pre.c:4921)
==25341==    by 0x984C55: execute_one_pass (passes.c:1555)
==25341==    by 0x984F34: execute_pass_list (passes.c:1610)
==25341==    by 0x984F46: execute_pass_list (passes.c:1611)
==25341==    by 0xACCBAA: tree_rest_of_compilation (tree-optimize.c:423)
==25341==    by 0xCAFB42: cgraph_expand_function (cgraphunit.c:1576)
==25341==    by 0xCB205B: cgraph_optimize (cgraphunit.c:1635)
==25341==    by 0xCB25E9: cgraph_finalize_compilation_unit (cgraphunit.c:1096)
==25341==    by 0x5BD42D: cp_write_global_declarations (decl2.c:4002)
==25341==    by 0xA71A87: toplev_main (toplev.c:591)
==25341==    by 0x644AB6C: (below main) (in /lib64/libc-2.11.3.so)
==25341==  Address 0x0 is not stack'd, malloc'd or (recently) free'd
==25341== 
testcase.C: In function 'int main()':
testcase.C:26:1: 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.

[Bug tree-optimization/48772] [4.7 Regression] ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.04.26 15:09:22
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-26 15:09:22 UTC ---
Mine.

We are destroying the virtual operand web as it was present during
value-numbering
by updating stmts during elimination.  In this case by updating a call stmt
that was promoted from an indirect virtual call to a direct call.

[Bug tree-optimization/48772] [4.7 Regression] ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-27 10:36:38 UTC ---
Author: rguenth
Date: Wed Apr 27 10:36:35 2011
New Revision: 173019

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173019
Log:
2011-04-27  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/48772
    * tree-ssa-pre.c (eliminate): Update call stmts after elimination
    only.

    * g++.dg/pr48772.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/pr48772.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-pre.c

[Bug tree-optimization/48772] [4.7 Regression] ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-27 10:42:04 UTC ---
Fixed.