[Bug tree-optimization/24365] New: [4.1 Regression]

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

Take the following C++ code:

      typedef __complex__ double cdouble;
  inline cdouble to_complex(const double &r, const double &i = 0.0) {
     cdouble z;
     __real__ z = r;
     return z;
 }
  template<class value_type, bool simple_copy = true, bool atomic = true> class
RefPointer {
  };
       template<typename elt_t>   class Vector : public RefPointer<elt_t> {
    public:     typedef elt_t number;
      static elt_t elt_zero();
    };
    template <typename t> inline t min(t a, t b) {
 }
    template<> inline cdouble Vector<cdouble>::elt_zero() {
 return to_complex(0.0);
 }
    template<typename elt_t>   class Tensor : public Vector<elt_t> {
   };
    cdouble trace(const Tensor<cdouble> &t) {
     cdouble output = t.elt_zero();
 }
---
Compile at -O1, we get:
t.cc: In function ?double __complex__ trace(const Tensor<double
__complex__>&)?:
t.cc:20: error: statement makes a memory store, but has no V_MAY_DEFS nor
V_MUST_DEFS
REALPART_EXPR <D.1799_14> = D.1803_7;
t.cc:20: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.1 Regression]
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: critical
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


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