[Bug tree-optimization/31863] g++-4.1: out of memory with -O1/-O2

[Bug tree-optimization/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-05-08 15:45 -------
Created an attachment (id=13530)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13530&action=view)
testcase


-- 


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

[Bug tree-optimization/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-05-08 15:47 -------
This is related to PR29433, but still unresolved.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |compile-time-hog, memory-hog
      Known to fail|                            |4.1.2 4.3.0
   Last reconfirmed|0000-00-00 00:00:00         |2007-05-08 15:47:11
               date|                            |


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

[Bug c++/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-05-08 15:52 -------
Until I killed cc1plus we have (mainline):

samples  %        symbol name
50115    28.3000  push_fields_onto_fieldstack
12370     6.9853  bitpos_of_field
10174     5.7453  tree_low_cst
8825      4.9835  host_integerp
5204      2.9387  walk_tree
3666      2.0702  pointer_set_insert
2434      1.3745  cp_walk_subtrees
2199      1.2418  comptypes
2039      1.1514  ggc_alloc_stat

which suspiciously hints at aliasing...!?  Need to go for a bigger machine...


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |c++


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

[Bug c++/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-05-08 16:01 -------
cc1plus: out of memory allocating 18888764584 bytes after a total of 16482304
bytes

so this actually killed even the 16GB box.


-- 


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

[Bug c++/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2007-05-08 16:03 -------
Danny, push_fields_onto_fieldstack is going crazy on this.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org


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

[Bug c++/31863] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2007-05-08 16:21 -------
Note the interesting debuggable testcase is if you remove from getInstance()
all
template params from ClassSpec<Key, A020, 21> on.  Around that one you'll
clearly
see exponential behavior in memory use ;)


-- 


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

[Bug c++/31863] g++-4.1: out of memory with -O1/-O2

[fang at csl dot cornell dot edu]

------- Comment #7 from fang at csl dot cornell dot edu  2007-05-14 23:11 -------
4.2 (RC2, 20070430) also explodes (OOM) with the test case, using -O2.  
whereas 4.0.1 (powerpc-apple-darwin8) peaks out at 280 MB (cc1plus), which is
reasonable and typical. 
Flag as 4.1/4.2/4.3 regression?


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2007-05-15 09:05 -------
Well, 4.0 didn't have struct aliasing, so yes.  Though it's unlikely to be
fixed
for 4.1.x.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.0.4
            Summary|g++-4.1: out of memory with |[4.1/4.2/4.3 Regression]
                   |-O1/-O2                     |g++-4.1: out of memory with
                   |                            |-O1/-O2
   Target Milestone|---                         |4.1.3


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[dberlin at gcc dot gnu dot org]

------- Comment #9 from dberlin at gcc dot gnu dot org  2007-05-15 16:51 -------
Each one of thousands of temporary variables ends up with 12000 fields.


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[alexander at kogan dot nnov dot ru]

------- Comment #10 from alexander at kogan dot nnov dot ru  2007-09-18 04:58 -------
Hi!

Is there any progress with this bug?
We are waiting impatiently for fix!


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenther at suse dot de]

------- Comment #11 from rguenther at suse dot de  2007-09-18 08:44 -------
Subject: Re:  [4.1/4.2/4.3 Regression] g++-4.1: out of memory
 with -O1/-O2

On Tue, 18 Sep 2007, alexander at kogan dot nnov dot ru wrote:
> ------- Comment #10 from alexander at kogan dot nnov dot ru  2007-09-18 04:58 -------
> Hi!
> 
> Is there any progress with this bug?
> We are waiting impatiently for fix!

I have one fix in this are in the queue, but it does unfortunately
not completely solve this problem.


-- 


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

[Bug tree-optimization/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[alexander at kogan dot nnov dot ru]

------- Comment #12 from alexander at kogan dot nnov dot ru  2007-09-18 09:07 -------
What do u mean 'not completely'?
Can I try this fix?


-- 


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

[Bug tree-optimization/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenther at suse dot de]

------- Comment #13 from rguenther at suse dot de  2007-09-18 09:11 -------
Subject: Re:  [4.1/4.2/4.3 Regression] g++-4.1:
 out of memory with -O1/-O2

On Tue, 18 Sep 2007, alexander at kogan dot nnov dot ru wrote:

> ------- Comment #12 from alexander at kogan dot nnov dot ru  2007-09-18 09:07 -------
> What do u mean 'not completely'?
> Can I try this fix?

I mean there is a memleak that I plugged, but memory usage is still
exponential in the number of template parameters.


-- 


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

[Bug tree-optimization/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[alexander at kogan dot nnov dot ru]

------- Comment #14 from alexander at kogan dot nnov dot ru  2007-09-18 09:55 -------
Ok. Do you mean the attached test doesn't work even with this fix? But are
there plans to eliminate this problem completely?


-- 


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

[Bug tree-optimization/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenther at suse dot de]

------- Comment #15 from rguenther at suse dot de  2007-09-18 10:58 -------
Subject: Re:  [4.1/4.2/4.3 Regression] g++-4.1:
 out of memory with -O1/-O2

On Tue, 18 Sep 2007, alexander at kogan dot nnov dot ru wrote:

> ------- Comment #14 from alexander at kogan dot nnov dot ru  2007-09-18 09:55 -------
> Ok. Do you mean the attached test doesn't work even with this fix? But are
> there plans to eliminate this problem completely?

The testcase doesn't work with the fix.


-- 


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

[Bug tree-optimization/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2007-09-18 11:22 -------
Subject: Bug 31863

Author: rguenth
Date: Tue Sep 18 11:22:47 2007
New Revision: 128573

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128573
Log:
2007-09-18  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/31863
        * tree-ssa-structalias.c (create_variable_info_for): Always
        free the fieldstack.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-structalias.c


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #17 from rguenth at gcc dot gnu dot org  2007-09-18 11:58 -------
Note that the double virtual inheritance in the Serializer template creates the
exponential behavior.  You can fix this at the source level by instead
doing

template <class Key, class Head>
class Serializer<Key, Loki::Typelist<Head, Loki::NullType> >:
    public virtual Serializer<Key, Head>
{
};

template <class Key, class Head, class Tail>
class Serializer<Key, Loki::Typelist<Head, Tail> >:
    public virtual Serializer<Key, Head>,
    public Serializer<Key, Tail>
{
};

template <class Key>
class Serializer<Key, Loki::NullType> : public virtual Factory<Key>
{
};

which also makes more sense(?).  Back to marking this as possibly a C++
frontend bug - though I'm inclined to close this bug as INVALID.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |c++


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[alexander at kogan dot nnov dot ru]

------- Comment #18 from alexander at kogan dot nnov dot ru  2007-09-28 10:14 -------
Thank you very much for this workaround. Really we do not need virtual
inheritance there, we need only virtual inheritance from Factory. In this case
it works!


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #19 from rguenth at gcc dot gnu dot org  2007-09-28 18:21 -------
I believe that empty base optimization doesn't work for virtual inheritance.
Whether this is a GCC specific problem or a general fact I don't know.


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[steven at gcc dot gnu dot org]

------- Comment #20 from steven at gcc dot gnu dot org  2008-01-08 16:36 -------
So this bug was worked around -- but can this be fixed properly for GCC 4.3? 
Richi, is this just another example of the SFT problems reported in other PRs?


-- 


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #21 from rguenth at gcc dot gnu dot org  2008-01-08 16:54 -------
Well, the many SFTs don't help the situation for sure.  But we can't do
anything
for 4.3 here, as only after walking all the fields in push_fields_to_fieldstack
we figure out we better not generate SFTs here.  Which is too late.

But yes, I suppose I can simply early exit from that function now that we
always punt if the number of fields is too large.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-05-08 15:47:11         |2008-01-08 16:54:31
               date|                            |


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

[Bug c++/31863] [4.1/4.2/4.3 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #22 from rguenth at gcc dot gnu dot org  2008-01-08 21:36 -------
Subject: Bug 31863

Author: rguenth
Date: Tue Jan  8 21:35:25 2008
New Revision: 131405

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131405
Log:
2008-01-08  Richard Guenther  <rguenther@suse.de>

        PR middle-end/31863
        * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
        out early if the result will be unused.

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

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


-- 


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

[Bug c++/31863] [4.1/4.2 Regression] g++-4.1: out of memory with -O1/-O2

[rguenth at gcc dot gnu dot org]

------- Comment #23 from rguenth at gcc dot gnu dot org  2008-01-08 21:36 -------
Fixed on the trunk.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|rguenth at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW
      Known to fail|4.1.2 4.3.0                 |4.1.2
      Known to work|4.0.4                       |4.0.4 4.3.0
            Summary|[4.1/4.2/4.3 Regression]    |[4.1/4.2 Regression] g++-
                   |g++-4.1: out of memory with |4.1: out of memory with -
                   |-O1/-O2                     |O1/-O2


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

[Bug c++/31863] [4.2 Regression] g++-4.1: out of memory with -O1/-O2

[jsm28 at gcc dot gnu dot org]

------- Comment #24 from jsm28 at gcc dot gnu dot org  2008-07-04 22:12 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 Regression] g++-   |[4.2 Regression] g++-4.1:
                   |4.1: out of memory with -   |out of memory with -O1/-O2
                   |O1/-O2                      |
   Target Milestone|4.1.3                       |4.2.5


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

[Bug c++/31863] [4.2 Regression] g++-4.1: out of memory with -O1/-O2

[jsm28 at gcc dot gnu dot org]

------- Comment #25 from jsm28 at gcc dot gnu dot org  2009-03-30 21:47 -------
Closing 4.2 branch, fixed in 4.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|4.1.2                       |4.1.2 4.2.5
         Resolution|                            |FIXED
   Target Milestone|4.2.5                       |4.3.0


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