[Bug c++/26022] New: ice at cp/cp-objcp-common.c:101

[Bug c++/26022] New: ice at cp/cp-objcp-common.c:101

[dcb314 at hotmail dot com]

I just tried to compile package doxygen-1.4.6-3 from Suse Linux with a recent
GNU C compiler version 4.2 snapshot 20060128. 

The compiler snapshot said

util.cpp: In function "QCString dateToString(bool)":
util.cpp:1958: internal compiler error: in cp_expr_size, at
cp/cp-objcp-common.c:101
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


It seems that the flag -O2 is required.

Preprocessed source code attached.


-- 
           Summary: ice at cp/cp-objcp-common.c:101
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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

[Bug c++/26022] ice at cp/cp-objcp-common.c:101

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2006-01-29 23:29 -------
Created an attachment (id=10756)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10756&action=view)
C++ source code


-- 


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

[Bug c++/26022] ice at cp/cp-objcp-common.c:101

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-01-30 00:25 -------
Has been failing since at least 20051217.

Reducing.


-- 


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

[Bug c++/26022] ice at cp/cp-objcp-common.c:101

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-01-30 00:35 -------
Backtrace:
#0  internal_error (gmsgid=0x9d760f "in %s, at %s:%d") at
/home/pinskia/src/newtest/trunk/gcc/diagnostic.c:542
#1  0x000000000062738c in fancy_abort (file=Variable "file" is not available.
) at /home/pinskia/src/newtest/trunk/gcc/diagnostic.c:602
#2  0x00000000004e9082 in cp_expr_size (exp=0x9d760f) at
/home/pinskia/src/newtest/trunk/gcc/cp/cp-objcp-common.c:85
#3  0x0000000000654338 in expr_size (exp=0x2aaaacd393c0) at
/home/pinskia/src/newtest/trunk/gcc/explow.c:246
#4  0x0000000000678866 in store_expr (exp=0x2aaaacd393c0,
target=0x2aaaabfe88a0, call_param_p=0)
    at /home/pinskia/src/newtest/trunk/gcc/expr.c:4291
#5  0x0000000000666721 in expand_assignment (to=0x2aaaac5c10b0, from=0x1) at
/home/pinskia/src/newtest/trunk/gcc/expr.c:4123
#6  0x000000000066aafe in expand_expr_real_1 (exp=Variable "exp" is not
available.
) at /home/pinskia/src/newtest/trunk/gcc/expr.c:8423
#7  0x0000000000672a79 in expand_expr_real (exp=0x2aaaac5c4050,
target=0x2aaaaafb1400, tmode=VOIDmode, modifier=EXPAND_NORMAL, 
    alt_rtl=0x0) at /home/pinskia/src/newtest/trunk/gcc/expr.c:6525
#8  0x0000000000819699 in expand_expr_stmt (exp=0x2aaaac5c4050) at expr.h:493
#9  0x0000000000857966 in expand_gimple_basic_block (bb=0x2aaaad153a00,
dump_file=Variable "dump_file" is not available.
)
    at /home/pinskia/src/newtest/trunk/gcc/cfgexpand.c:1326
#10 0x0000000000858e01 in tree_expand_cfg () at
/home/pinskia/src/newtest/trunk/gcc/cfgexpand.c:1585


-- 


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

[Bug c++/26022] ice at cp/cp-objcp-common.c:101

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-01-30 00:37 -------
D.30805 = monthName (&D.30803, D.30814)


-- 


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

[Bug c++/26022] [4.2 Regression] ice at cp/cp-objcp-common.c:101

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-01-30 02:23 -------
Confirmed, reduced testcase:
struct QCString
{
    char * data() const;
};
struct QString
{
    QString( const QString & );
    QString &operator=( const QString & );
};
QCString convertToQCString(const QString &s);
struct QDate
{
    virtual QString monthName( int month ) const;
    static QDate currentDate();
};
QCString dateToString(bool includeTime)
{
    const QDate &d=QDate::currentDate();
    convertToQCString(d.monthName(1)).data();
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.2.0
      Known to work|                            |4.1.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-30 02:23:05
               date|                            |
            Summary|ice at cp/cp-objcp-         |[4.2 Regression] ice at
                   |common.c:101                |cp/cp-objcp-common.c:101
   Target Milestone|---                         |4.2.0


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

[Bug c++/26022] [4.2 Regression] ice at cp/cp-objcp-common.c:101

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-01-30 02:29 -------
In 4.1.0, we got:
  D.2121 = currentDate () [return slot optimization];
  D.2122 = monthName (&D.2121, 1) [return slot optimization];
  D.2126 = convertToQCString (&D.2122);
  D.2123 = D.2126;
  data (&D.2123);

But in 4.2.0, we get:
  D.2033 = currentDate () [return slot optimization];
  D.2034 = monthName (&D.2033, 1);
  D.2039 = convertToQCString (&D.2034);
  D.2035 = D.2039;
  data (&D.2035);

Note no rso on monthName.


-- 


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

[Bug c++/26022] [4.2 Regression] ICE with references and virtual functions

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2006-02-01 12:25 -------
Shorter testcase:

================================
struct A
{
    A();
    virtual A foo() const;
};

void bar()
{
    const A& a=A();
    a.foo();
}
================================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored
            Summary|[4.2 Regression] ice at     |[4.2 Regression] ICE with
                   |cp/cp-objcp-common.c:101    |references and virtual
                   |                            |functions


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-02-25 20:47 -------
I think this is my bug caused by:
2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/24437
        * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
        with a call expr to ...
        * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.

The problem is that we are not copying RSO on the CALL_EXPR.  I am going to
look into this more to see if I caused this and a fix for this issue.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c++                         |middle-end
   GCC host triplet|x86_64-suse-linux           |


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2006-02-25 20:51 -------
I don't copy CALL_EXPR_RETURN_SLOT_OPT and/or CALL_EXPR_TAILCALL from the
previous CALL_EXPR, I wonder if we have the same issue with builtins too,
though most of those will not show it.


-- 


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2006-02-26 16:19 -------
Mine, I am just going to revert my patch for now.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |24437
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2006-02-28 17:53 -------
Testing the reversion right now.


-- 


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #13 from pinskia at gcc dot gnu dot org  2006-03-01 15:15 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2006-03-01 15:15 -------
Subject: Bug 26022

Author: pinskia
Date: Wed Mar  1 15:15:38 2006
New Revision: 111602

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111602
Log:
2006-01-23  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/26022
        Revert:
        PR middle-end/24437
        * tree-ssa-ccp.c (fold_stmt): Move folding of OBJ_TYPE_REF
        with a call expr to ...
        * fold-const.c (fold_ternary) <case CALL_EXPR>: Here.

2006-02-28  Andrew Pinski  <pinskia@physics.uc.edu>

        PR middle-end/26022
        * g++.dg/opt/return-slot1.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/opt/return-slot1.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c


-- 


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

[Bug middle-end/26022] [4.2 Regression] ICE with references and virtual functions

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=26022
Bug 26022 depends on bug 24437, which changed state.

Bug 24437 Summary: OBJ_TYPE_REF handling in fold_stmt should be moved to fold
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24437

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |WONTFIX