[Bug c++/22434] New: ICE in simplify_{,gen_}subreg

[Bug c++/22434] New: ICE in simplify_{,gen_}subreg

[jakub at redhat dot com]

#include <ostream>
#include <string>
#include <vector>

std::string bar (unsigned int x);

template <class T>
std::ostream & baz (std::ostream &os, const T &v, bool lit)
{
  typename T::const_iterator i = v.begin ();
  os << (lit ? bar (*i) : *i);
  return os;
}

void foo (std::ostream &os, const std::vector<int> &v)
{
  baz (os, v, false);
}

ICEs in 3.4.4, 4.0.1 and HEAD, trying to generate a BLKmode SUBREG.

-- 
           Summary: ICE in simplify_{,gen_}subreg
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jakub at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/22434] [3.4/4.0/4.1 regression] ICE in simplify_{,gen_}subreg

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-12 12:32 -------
Confirmed. Reduced testcase:

=================================
struct A
{
    A(void*);
    ~A();
};

void foo(const int i, bool b)
{
    b ? A(0) : i;
}
=================================

Without "-pedantic" we get an ICE (since gcc 3.4.0)

  PR22434.cc: In function 'void foo(int, bool)':
  PR22434.cc:9: internal compiler error: in simplify_subreg, at
simplify-rtx.c:3765
  Please submit a full bug report, [etc.]

With -pedantic the code is rejected (since gcc 3.4.0).
It was rejected unconditionally before gcc 3.4.0.
The code is also rejected if one removes the const qualifier from "i".

So maybe we should switch back to the original behavior?


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-12 12:32:03
               date|                            |
            Summary|ICE in                      |[3.4/4.0/4.1 regression] ICE
                   |simplify_{,gen_}subreg      |in simplify_{,gen_}subreg
   Target Milestone|---                         |3.4.5


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

[Bug c++/22434] [3.4/4.0/4.1 regression] ICE in simplify_{,gen_}subreg

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-13 03:12 -------
With my patch for PR 22368, I get a different ICE:
t.cc:10: error: statement types mismatch
D.1751 = iD.1737;

struct AD.1716
const intD.2
t.cc:10: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |22368
              nThis|                            |


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

[Bug c++/22434] [3.4/4.0/4.1 regression] ICE in simplify_{,gen_}subreg

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-22 21:12 -------
Moving to 4.0.2 pre Mark.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.5                       |4.0.2


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

[Bug c++/22434] [3.4/4.0/4.1 regression] ICE in simplify_{,gen_}subreg

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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