[Bug c++/40308] New: Brace initialization fails for member initializers in constructor for class templates

[Bug c++/40308] New: Brace initialization fails for member initializers in constructor for class templates

[public at alisdairm dot net]

Tested against MinGW 4.4.0

The following code fails to compile, with the two specializations yielding
different error messages.

Test code:

template< typename T >
struct test {
   test() : data{} {}

   T data;
};

int main()
{
   test<int> x;
   test<int*> y;
   return 0;
}


Compiler output:
||=== BraceInitBug01, Debug ===|
main.cpp||In constructor 'test<T>::test() [with T = int]':|
main.cpp|10|instantiated from here|
main.cpp|3|error: aggregate value used where an integer was expected|
main.cpp||In constructor 'test<T>::test() [with T = int*]':|
main.cpp|11|instantiated from here|
main.cpp|3|error: cannot convert '<brace-enclosed initializer list>()' from
type '<brace-enclosed initializer list>' to type 'int*'|
||=== Build finished: 2 errors, 0 warnings ===|


-- 
           Summary: Brace initialization fails for member initializers in
                    constructor for class templates
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: public at alisdairm dot net


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

[Bug c++/40308] Brace initialization fails for member initializers in constructor for class templates

[jason at gcc dot gnu dot org]

------- Comment #1 from jason at gcc dot gnu dot org  2009-06-02 17:03 -------
Subject: Bug 40308

Author: jason
Date: Tue Jun  2 17:02:38 2009
New Revision: 148089

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148089
Log:
        PR c++/40308
        PR c++/40311
        * typeck.c (cp_build_modify_expr): Always pass init-lists to the
        conversion code.
        * call.c (implicit_conversion): Allow init-list conversion to scalar
        during direct-initialization, too.  Mark the conversion bad if it
        has too many levels of braces.
        (convert_like_real): And give a helpful error.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist18.C
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist19.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/initlist13.C


-- 


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

[Bug c++/40308] Brace initialization fails for member initializers in constructor for class templates

[jason at gcc dot gnu dot org]

------- Comment #2 from jason at gcc dot gnu dot org  2009-06-02 20:14 -------
Fixed for 4.4.1 and 4.5.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.1


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

[Bug c++/40308] Brace initialization fails for member initializers in constructor for class templates

[jason at gcc dot gnu dot org]

------- Comment #3 from jason at gcc dot gnu dot org  2009-06-03 18:12 -------
Subject: Bug 40308

Author: jason
Date: Wed Jun  3 18:11:53 2009
New Revision: 148141

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148141
Log:
        PR c++/40308
        PR c++/40311
        * typeck.c (cp_build_modify_expr): Always pass init-lists to the
        conversion code.
        * call.c (implicit_conversion): Allow init-list conversion to scalar
        during direct-initialization, too.  Mark the conversion bad if it
        has too many levels of braces.
        (convert_like_real): And give a helpful error.

        PR c++/40306
        PR c++/40307
        * decl.c (cp_finish_decl): Handle auto deduction from ().
        * typeck.c (build_x_indirect_ref): Handle dereferencing an operand
        with dependent type that is known to be a pointer.

        * call.c (implicit_conversion): Handle conversion from
        initializer-list to scalar.
        (convert_like_real): Likewise.  Avoid crashing on list
        initialization with bad conversions.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/auto14.C
      - copied unchanged from r148089,
trunk/gcc/testsuite/g++.dg/cpp0x/auto14.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/initlist16.C
      - copied unchanged from r147933,
trunk/gcc/testsuite/g++.dg/cpp0x/initlist16.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/initlist17.C
      - copied unchanged from r147933,
trunk/gcc/testsuite/g++.dg/cpp0x/initlist17.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/initlist18.C
      - copied unchanged from r148089,
trunk/gcc/testsuite/g++.dg/cpp0x/initlist18.C
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/initlist19.C
      - copied unchanged from r148089,
trunk/gcc/testsuite/g++.dg/cpp0x/initlist19.C
Modified:
    branches/gcc-4_4-branch/gcc/cp/ChangeLog
    branches/gcc-4_4-branch/gcc/cp/call.c
    branches/gcc-4_4-branch/gcc/cp/decl.c
    branches/gcc-4_4-branch/gcc/cp/typeck.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/cpp0x/initlist13.C


-- 


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