[Bug c++/50623] New: Template metaprogramming involving 4 std::complex<double> fails without -std=gnu++0x

[Bug c++/50623] New: Template metaprogramming involving 4 std::complex<double> fails without -std=gnu++0x

[giulio.eulisse at cern dot ch]

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

             Bug #: 50623
           Summary: Template metaprogramming involving 4
                    std::complex<double> fails without -std=gnu++0x
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: giulio.eulisse@cern.ch


Created attachment 25422
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25422
reduced test case.

The attached test.cc file provokes an ICE (see below) when compiling it with

c++ -c -O2 test.cc

Notice that changing R to be a double, adding  -std=gnu++0x, or making it a 3
vector fixes the problem.

This was done with:

c++ (GCC) 4.7.0 20111001 (experimental)

===
test.cc: In function 'R evaluate()':
test.cc:28:3: error: invalid rhs for gimple memory store
a$_M_value

v1$_M_value

# .MEM_14 = VDEF <.MEM_12>
a$_M_value = v1$_M_value;

test.cc:28:3: error: invalid rhs for gimple memory store
a$16$_M_value

v1$16$_M_value

# .MEM_15 = VDEF <.MEM_14>
a$16$_M_value = v1$16$_M_value;

test.cc:28:3: error: invalid rhs for gimple memory store
a$32$_M_value

v1$32$_M_value

# .MEM_16 = VDEF <.MEM_15>
a$32$_M_value = v1$32$_M_value;

test.cc:28:3: error: invalid rhs for gimple memory store
a$48$_M_value

v1$48$_M_value

# .MEM_17 = VDEF <.MEM_16>
a$48$_M_value = v1$48$_M_value;

test.cc:28:3: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/50623] Template metaprogramming involving 4 std::complex<double> fails without -std=gnu++0x

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |paolo.carlini at oracle dot
                   |                            |com
         Resolution|                            |DUPLICATE

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-05 15:55:03 UTC ---
Same issue, right?

*** This bug has been marked as a duplicate of bug 50622 ***

[Bug c++/50623] Template metaprogramming involving 4 std::complex<double> fails without -std=gnu++0x

[giulio.eulisse at cern dot ch]

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

--- Comment #2 from Giulio Eulisse <giulio.eulisse at cern dot ch> 2011-10-05 15:57:31 UTC ---
Yes, just a misunderstanding with vincenzo on who posts the bug.