[Bug rtl-optimization/34035] New: ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[Bug rtl-optimization/34035] New: ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[janis at gcc dot gnu dot org]

Test eon from SPEC CPU2000 fails to build on powerpc64-linux with both -m32 and
-m64 and "-fnon-call-exceptions -ffast-math -fno-gcse " with an ICE in
calc_dfs_tree at dominance.c:393

Minimized test case:

class One {
public:
    One () { e[0] = e[1] = 0.0; }
    double e[2];
};

template <class T>
class Two {
public:
    Two();
private:
    T *data;
    int arraySize;
};

template <class T>
Two<T>::Two() {
   data = new T[arraySize];
}

class Three {
protected:
  Two<One> data;
};

class Four : public Three {
public:
  Four ();
  void Foo (int n);
};

Four :: Four (){
   Foo (1);
}

The ICE starts with:

    http://gcc.gnu.org/viewcvs?view=rev&rev=123084

    r123084 | bonzini | 2007-03-20 08:31:13 +0000 (Tue, 20 Mar 2007)


-- 
           Summary: ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -
                    ffast-math -fno-gcse
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org
GCC target triplet: powerpc*-linux


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |ice-on-valid-code
            Summary|ICE in calc_dfs_tree with - |[4.3 Regression] ICE in
                   |O2 -fnon-call-exceptions -  |calc_dfs_tree with -O2 -
                   |ffast-math -fno-gcse        |fnon-call-exceptions -ffast-
                   |                            |math -fno-gcse
   Target Milestone|---                         |4.3.0


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #1 from ebotcazou at gcc dot gnu dot org  2007-11-09 09:55 -------
Interesting combination of options (-O2 is missing though).


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-09 09:55:47
               date|                            |


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2007-11-09 10:20 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-11-09 09:55:47         |2007-11-09 10:20:16
               date|                            |


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[janis at gcc dot gnu dot org]

------- Comment #3 from janis at gcc dot gnu dot org  2007-11-09 17:23 -------
The option list should have included -O2.  This is one of the failures found by
compiling SPEC CPU2000 with lots of sets of options and running with the test
input, as described in http://gcc.gnu.org/ml/gcc/2007-09/msg00496.html.


-- 


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2007-11-12 15:25 -------
> The option list should have included -O2.  This is one of the failures found
> compiling SPEC CPU2000 with lots of sets of options and running with the test
> input, as described in http://gcc.gnu.org/ml/gcc/2007-09/msg00496.html.

OK, thanks for explaining again. :-)


-- 


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2007-11-12 21:21 -------
Subject: Bug 34035

Author: ebotcazou
Date: Mon Nov 12 21:21:37 2007
New Revision: 130122

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130122
Log:
        PR rtl-optimization/34035
        * cse.c (cse_cfg_altered): New global variable.
        (cse_jumps_altered): Make boolean.
        (recorded_label_ref): Likewise.
        (cse_insn): Adjust for above changes.
        (cse_extended_basic_block): Likewise.  Set cse_cfg_altered
        if dead edges have been purged.
        (cse_main): Change return value specification and adjust code.
        (rest_of_handle_cse): Adjust for above change.
        (rest_of_handle_cse2): Likewise.
        * gcse.c (rest_of_handle_gcse): Likewise.


Added:
    trunk/gcc/testsuite/g++.dg/opt/cfg5.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cse.c
    trunk/gcc/gcse.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2007-11-12 21:24 -------
This should work now.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2007-
                   |                            |11/msg00666.html
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[steven at gcc dot gnu dot org]

------- Comment #7 from steven at gcc dot gnu dot org  2007-11-12 21:28 -------
The fix increases compile time, please reconsider.


-- 

steven at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/34035] [4.3 Regression] ICE in calc_dfs_tree with -O2 -fnon-call-exceptions -ffast-math -fno-gcse

[ebotcazou at gcc dot gnu dot org]

------- Comment #8 from ebotcazou at gcc dot gnu dot org  2007-11-12 21:55 -------
The bug is nevertheless fixed.


-- 

ebotcazou at gcc dot gnu dot org changed:

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


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