[Bug c++/64995] New: [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[Bug c++/64995] New: [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[doko at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

            Bug ID: 64995
           Summary: [5 Regression] ICE in vn_reference_insert_pieces, at
                    tree-ssa-sccvn.c:2341
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

seen with trunk 20150210 on x86_64-linux-gnu

$ g++ -c -g -O2 World.cc 
World.cc: In function 'void passTime()':
World.cc:23:6: internal compiler error: in vn_reference_insert_pieces, at
tree-ssa-sccvn.c:2341
 void passTime() {
      ^
Please submit a full bug report,
with preprocessed source if appropriate.

$ cat World.cc 
extern "C" double acos(double);
class A {
public:
  double mY, mZ;
  A(double, double);
  double m_fn1(A *);
  int *m_fn2();
};
double a;
A *b;
A::A(double, double) : mY(), mZ() {}

double A::m_fn1(A *) { return mY * mZ; }

inline int *A::m_fn2() {
  mZ = 0;
  double c = m_fn1(this);
  a = acos(c);
  double d = m_fn1(b);
  acos(d);
}

void passTime() {
  A e(0, 1);
  e.m_fn2();
}

[Bug c++/64995] [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-10
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.0
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.  Bisecting...

[Bug c++/64995] [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r218515.

[Bug tree-optimization/64995] [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|NEW                         |ASSIGNED
          Component|c++                         |tree-optimization
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/64995] [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Feb 10 13:37:54 2015
New Revision: 220581

URL: https://gcc.gnu.org/viewcvs?rev=220581&root=gcc&view=rev
Log:
2015-02-10  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/64995
    * tree-ssa-sccvn.c (set_ssa_val_to): Assert that the
    value we use is final.
    (visit_reference_op_store): Always valueize op.
    (visit_use): Properly valueize vuses.

    * g++.dg/torture/pr64995.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr64995.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-sccvn.c

[Bug tree-optimization/64995] [5 Regression] ICE in vn_reference_insert_pieces, at tree-ssa-sccvn.c:2341

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64995

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.