[Bug c++/57769] New: Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[Bug c++/57769] New: Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[korpela.henri.mikael at gmail dot com]

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

            Bug ID: 57769
           Summary: Unable to call a constructor invoking another
                    constructor in the same class (sister constructor)
                    with designated initializer for aggregate types
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: korpela.henri.mikael at gmail dot com

While implementing a matrix class template called Matrix4, I ran into a problem
with designated initializers for aggregate types. Here is my Matrix4 class
implementation (shortened):

http://pastebin.com/t5ESv24K

Calling a constructor Matrix4<T>::Matrix4(T (&)[4][4]) or Matrix4<T>::Matrix4(T
(&&)[4][4]), both of which invoke sister constructor called
Matrix4<T>::Matrix4(Matrix4&&) with designated initializer for aggregate types
(<i>lines 40-47 and 52-59</i>), leads to internal compiler error, which is as
follows:

<quote>|internal compiler error: in process_init_constructor_array, at
cp/typeck2.c:1080|</quote>

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[korpela.henri.mikael at gmail dot com]

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

Henri <korpela.henri.mikael at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|blocker                     |normal

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2013-07-01
     Ever confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Please add here a minimized self-contained reproducer. Also, you are not saying
which version of GCC you are using.

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[korpela.henri.mikael at gmail dot com]

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

--- Comment #2 from Henri <korpela.henri.mikael at gmail dot com> ---
(In reply to Paolo Carlini from comment #1)
> Please add here a minimized self-contained reproducer. Also, you are not
> saying which version of GCC you are using.

My GCC version is currently 4.7. I use Code::Blocks as my IDE.

Interesting that my attempt to reproduce the internal compiler error fails in
the self-contained code below (with compiler errors)...

class C{
public:

    C(C&&) = default;

    explicit C(int (&array)[2][2]) : C({
        ._m_array = {
            {array[0][0], array[0][1]},
            {array[1][0], array[1][1]}
        }
    })
    {

    }

private:
    int _m_array[2][2];
};

int main(void){
    int array[2][2] = {
        {1, 2},
        {3, 4}
    };
    C c(array);
    return 0;
}

||In constructor 'C::C(int (&)[2][2])':|
|42|error: no matching function for call to 'C::C(<brace-enclosed initializer
list>)'|
|42|note: candidates are:|
|37|note: C::C(int (&)[2][2])|
|37|note:   no known conversion for argument 1 from '<brace-enclosed
initializer list>' to 'int (&)[2][2]'|
|35|note: constexpr C::C(C&&)|
|35|note:   no known conversion for argument 1 from '<brace-enclosed
initializer list>' to 'C&&'|
||=== Build finished: 1 errors, 0 warnings (0 minutes, 0 seconds) ===|

...and somehow succeeds here:

class C{
public:

    C(C&&) = default;

    explicit C(int (&&array)[2][2]) : C({
        ._m_array = {
            {array[0][0], array[0][1]},
            {array[1][0], array[1][1]}
        }
    })
    {

    }

private:
    int _m_array[2][2];
};

int main(void){
    C c({{
        {1, 2},
        {3, 4}
    }});
    return 0;
}

||In constructor 'C::C(int (&&)[2][2])':|
|42|internal compiler error: in process_init_constructor_array, at
cp/typeck2.c:1080|
||=== Build finished: 1 errors, 0 warnings (0 minutes, 0 seconds) ===|

This leads me to believe that the compiler fails to parse rvalue references to
multidimensional arrays in a scenario like this.

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Both examples are rejected with no ICE by current mainline and 4_8-branch. The
same happens with current ICC and rather recent clang.

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED
     Ever confirmed|1                           |0

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[korpela.henri.mikael at gmail dot com]

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

--- Comment #4 from Henri <korpela.henri.mikael at gmail dot com> ---
(In reply to Paolo Carlini from comment #3)
> Both examples are rejected with no ICE by current mainline and 4_8-branch.
> The same happens with current ICC and rather recent clang.

So, this is not a bug, right?

[Bug c++/57769] Unable to call a constructor invoking another constructor in the same class (sister constructor) with designated initializer for aggregate types

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Closing.