[Bug c++/43812] New: compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[Bug c++/43812] New: compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[miles at gnu dot org]

The compiler is actually from the debian "gcc-snapshot" package, version
20100414-1.  The same error occurs using the debian g++-4.5 package (version
4.5-20100404-1).

The same error occurs for many source-files in my program, so I've just picked
one.

I will attach the pre-processed source-file after I submit the bug.  With the
pre-processed source file in /tmp/local-surface-pp.cc, I compiled with the
following commands:

$ LD_LIBRARY_PATH=/usr/lib/gcc-snapshot/lib:
$
PATH=/usr/lib/gcc-snapshot/bin:/home/soft1/miles/bin:/usr/local/bin:/usr/games:/usr/bin:/bin:/usr/sbin:/sbin:.
$ export PATH LD_LIBRARY_PATH
$ g++ -v -fwhole-program -pthread -O3 -fomit-frame-pointer -ffast-math
-march=native -mfpmath=sse -g -std=c++0x -Wall -Wextra -fno-finite-math-only
-ftrapping-math -fno-associative-math -c local-surface-pp.cc
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 20100414-1'
--with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs
--enable-languages=c,ada,c++,java,fortran,objc,obj-c++
--prefix=/usr/lib/gcc-snapshot --enable-shared --enable-multiarch
--enable-linker-build-id --with-system-zlib --disable-nls --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-plugin
--enable-gold --with-plugin-ld=ld.gold --disable-browser-plugin
--enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.5-snap/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.5-snap
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.5-snap
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --with-arch-32=i486 --with-tune=generic --disable-werror
--enable-checking=yes --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 4.5.0 (Debian 20100414-1) 
COLLECT_GCC_OPTIONS='-v' '-fwhole-program' '-pthread' '-O3'
'-fomit-frame-pointer' '-ffast-math'  '-mfpmath=sse' '-g' '-std=c++0x' '-Wall'
'-Wextra' '-fno-finite-math-only' '-ftrapping-math' '-fno-associative-math'
'-c' '-shared-libgcc'
 /usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.5.0/cc1plus -quiet -v
-D_GNU_SOURCE -D_REENTRANT local-surface-pp.cc -march=core2 -mcx16 -msahf
-msse4.1 --param l1-cache-size=32 --param l1-cache-line-size=64 --param
l2-cache-size=6144 -mtune=core2 -quiet -dumpbase local-surface-pp.cc
-mfpmath=sse -auxbase local-surface-pp -g -O3 -Wall -Wextra -std=c++0x -version
-fwhole-program -fomit-frame-pointer -ffast-math -fno-finite-math-only
-ftrapping-math -fno-associative-math -o /tmp/ccxxX99K.s
GNU C++ (Debian 20100414-1) version 4.5.0 (x86_64-linux-gnu)
        compiled by GNU C version 4.5.0, GMP version 4.3.2, MPFR version
2.4.2-p1, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/../../../../x86_64-linux-gnu/include"
ignoring nonexistent directory "/usr/include/x86_64-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:

/usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/../../../../include/c++/4.5.0

/usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/../../../../include/c++/4.5.0/x86_64-linux-gnu

/usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/../../../../include/c++/4.5.0/backward
 /usr/local/include
 /usr/lib/gcc-snapshot/include
 /usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/include
 /usr/lib/gcc-snapshot/lib/gcc/x86_64-linux-gnu/4.5.0/include-fixed
 /usr/include
End of search list.
GNU C++ (Debian 20100414-1) version 4.5.0 (x86_64-linux-gnu)
        compiled by GNU C version 4.5.0, GMP version 4.3.2, MPFR version
2.4.2-p1, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: b5bba9b3a42b8bffe7d64192a699586c
local-surface.cc:37:1: internal compiler error: in ipcp_iterate_stage, at
ipa-cp.c:760
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.


-- 
           Summary: compiling .cc file with -fwhole-program results in ICE,
                    in ipcp_iterate_stage, at ipa-cp.c:760
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: miles at gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c++/43812] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[miles at gnu dot org]

------- Comment #1 from miles at gnu dot org  2010-04-20 05:59 -------
The bug system won't let me attach the file, so I've got to find someplace to
stash it:

"The file you are trying to attach is 1367 kilobytes (KB) in size. Non-patch
attachments cannot be more than 1000 KB."


-- 


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

[Bug c++/43812] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[miles at gnu dot org]

------- Comment #2 from miles at gnu dot org  2010-04-20 06:52 -------
Created an attachment (id=20434)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20434&action=view)
"local-surface-pp.cc", gzipped

the uncompressed version of this file was too large to attach

[note that the actual source file is very small, but various system headers
really bloat things up, so it wasn't obvious how to cut down the size...]


-- 


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

[Bug c++/43812] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-04-20 08:48 -------
Reducing.


-- 

rguenth 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         |2010-04-20 08:48:51
               date|                            |


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

[Bug c++/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-04-20 09:45 -------
Fails at -O -fipa-cp -fwhole-program

typedef float scoord_t;
typedef scoord_t sdist_t;
typedef sdist_t dist_t;
template<typename T> class TRay { };
typedef TRay<dist_t> Ray;
class BBox { };
class RenderContext { };
class RefCounted {
public:
    void deref () const {
        if (--ref_count <= 0) {
            delete this;
        }
    }
    mutable int ref_count;
};
template<class T> class Ref {
public:
    ~Ref () {
        if (obj) obj->deref ();
    }
    T *obj;
};
class Material : public RefCounted { };
class Surface {
public:
    virtual ~Surface () { }
    class IsecInfo   { };
    virtual const IsecInfo *intersect (Ray &ray, RenderContext &context) const;
    Ref<const Material> material;
};
class LocalSurface : public Surface {
    virtual BBox bbox () const;
};
BBox LocalSurface::bbox () const { }


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org, jamborm at gcc dot gnu
                   |                            |dot org
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.5.0
      Known to work|                            |4.4.3
            Summary|compiling .cc file with -   |[4.5/4.6 Regression]
                   |fwhole-program results in   |compiling .cc file with -
                   |ICE, in ipcp_iterate_stage, |fwhole-program results in
                   |at ipa-cp.c:760             |ICE, in ipcp_iterate_stage,
                   |                            |at ipa-cp.c:760
   Target Milestone|---                         |4.5.1


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

[Bug c++/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #5 from jamborm at gcc dot gnu dot org  2010-04-20 14:49 -------
The problem here is that we have a call graph node with !DECL_COMDAT
(node->decl) in a same_comdat_group linked list.  Thus it is kept alive
but looked at as if it should have been dead long time ago.   

It seems that something makes only some nodes in a COMDAT group local
and that is invalid.  I'll try to figure out what it is.


-- 

jamborm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jamborm at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-04-20 08:48:51         |2010-04-20 14:49:17
               date|                            |


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #6 from jamborm at gcc dot gnu dot org  2010-04-20 18:36 -------
Created an attachment (id=20449)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20449&action=view)
Work-in-progress patch

This is a patch that fixes the uderlying problem and also adds verification
that same_comdat_group lists have a given set of properties. Unfortunately the
verification fails when building libstdc++.  I'm currently investigating that.


-- 


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #7 from jamborm at gcc dot gnu dot org  2010-04-21 16:21 -------
I have submitted a fix to the mailing list:
http://gcc.gnu.org/ml/gcc-patches/2010-04/msg01315.html


-- 


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

[Bug middle-end/43812] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[steven at gcc dot gnu dot org]

------- Comment #8 from steven at gcc dot gnu dot org  2010-04-21 16:31 -------
How can this possibly be a regression in 4.5 if -fwhole-program is new there?
Regression means "worked in an earlier release" and there is no earlier release
with this feature.


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.5/4.6 Regression]        |compiling .cc file with -
                   |compiling .cc file with -   |fwhole-program results in
                   |fwhole-program results in   |ICE, in ipcp_iterate_stage,
                   |ICE, in ipcp_iterate_stage, |at ipa-cp.c:760
                   |at ipa-cp.c:760             |


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2010-04-21 16:43 -------
-fwhole-program is old.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|compiling .cc file with -   |[4.5/4.6 Regression]
                   |fwhole-program results in   |compiling .cc file with -
                   |ICE, in ipcp_iterate_stage, |fwhole-program results in
                   |at ipa-cp.c:760             |ICE, in ipcp_iterate_stage,
                   |                            |at ipa-cp.c:760


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #10 from jamborm at gcc dot gnu dot org  2010-04-27 10:08 -------
Subject: Bug 43812

Author: jamborm
Date: Tue Apr 27 10:07:47 2010
New Revision: 158777

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158777
Log:
2010-04-27  Martin Jambor  <mjambor@suse.cz>

        PR middle-end/43812
        * ipa.c (dissolve_same_comdat_group_list): New function.
        (function_and_variable_visibility): Call
        dissolve_same_comdat_group_list when comdat group contains external or
        newly local nodes.
        * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
        lists are circular and that they contain only DECL_ONE_ONLY nodes.

        * testsuite/g++.dg/ipa/pr43812.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/ipa/pr43812.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphunit.c
    trunk/gcc/ipa.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #11 from jamborm at gcc dot gnu dot org  2010-05-11 09:06 -------
Subject: Bug 43812

Author: jamborm
Date: Tue May 11 09:05:59 2010
New Revision: 159265

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=159265
Log:
2010-05-11  Martin Jambor  <mjambor@suse.cz>

        PR middle-end/43812
        * ipa.c (dissolve_same_comdat_group_list): New function.
        (function_and_variable_visibility): Call
        dissolve_same_comdat_group_list when comdat group contains external or
        newly local nodes.
        * cgraphunit.c (verify_cgraph_node): Verify that same_comdat_group
        lists are circular and that they contain only DECL_ONE_ONLY nodes.

        * testsuite/g++.dg/ipa/pr43812.C: New test.



Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/ipa/pr43812.C
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/cgraphunit.c
    branches/gcc-4_5-branch/gcc/ipa.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/43812] [4.5/4.6 Regression] compiling .cc file with -fwhole-program results in ICE, in ipcp_iterate_stage, at ipa-cp.c:760

[jamborm at gcc dot gnu dot org]

------- Comment #12 from jamborm at gcc dot gnu dot org  2010-05-11 09:13 -------
This is now fixed on both the trunk and the 4.5 branch.


-- 

jamborm at gcc dot gnu dot org changed:

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


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