[Bug c++/50024] New: gcc crashes when using braced initialization in member function of template

[Bug c++/50024] New: gcc crashes when using braced initialization in member function of template

[stiffy2 at gmx dot de]

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

           Summary: gcc crashes when using braced initialization in member
                    function of template
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: stiffy2@gmx.de


When compiling the example code below, gcc version 4.7.0 20110725
(experimental) crashes, if the -std=c++0x flag is supplied.


Source:

template< class T >
struct Container
{
    Container(){
        int* ptr = new int{}; // crash ahead
    }
};

int main() {
    Container< int > c;
}


Call to gcc and error message:

g++ -std=c++0x    template_error.cpp   -o template_error
template_error.cpp: In member function `void Container<T>::foo()':
template_error.cpp:16:40: internal compiler error: in cxx_eval_bare_aggregate,
at cp/semantics.c:6601

gcc Version:

% LANG=C g++ -v
Using built-in specs.
COLLECT_GCC=/home/evnu/bin/g++
COLLECT_LTO_WRAPPER=/home/evnu/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --enable-plugin --enable-cloog-backend=isl
--with-ppl --enable-__cxa_atexit --with-system-zlib --enable-shared
--enable-threads=posix --enable-languages=c,c++ --disable-multilib
--prefix=/home/evnu
Thread model: posix
gcc version 4.7.0 20110725 (experimental) (GCC)


Note:
    The example compiles if Container is not a template class.

[Bug c++/50024] [C++0x] [4.7 Regression] crash when using braced initialization in member function of template

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.08.09 00:34:43
                 CC|                            |jason at gcc dot gnu.org
            Summary|[C++0x] crash when using    |[C++0x] [4.7 Regression]
                   |braced initialization in    |crash when using braced
                   |member function of template |initialization in member
                   |                            |function of template
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-08-09 00:34:43 UTC ---
4_6 rejects it without ICEing, thus arguably it's a regression.

[Bug c++/50024] [C++0x] [4.7 Regression] crash when using braced initialization in member function of template

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-08-23 16:03:06 UTC ---
Author: jason
Date: Tue Aug 23 16:03:01 2011
New Revision: 177994

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177994
Log:
    PR c++/50024
    * semantics.c (maybe_constant_value): Don't try to fold { }.
    * pt.c (build_non_dependent_expr): Don't wrap { }.
    * init.c (build_value_init): Allow scalar value-init in templates.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-initlist5.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/init.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/50024] [C++0x] [4.7 Regression] crash when using braced initialization in member function of template

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-08-23 20:12:28 UTC ---
Author: jason
Date: Tue Aug 23 20:12:22 2011
New Revision: 178012

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178012
Log:
    PR c++/50024
    * semantics.c (maybe_constant_value): Don't try to fold { }.
    * pt.c (build_non_dependent_expr): Don't wrap { }.
    * init.c (build_value_init): Allow scalar value-init in templates.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-initlist5.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/init.c
    branches/gcc-4_6-branch/gcc/cp/pt.c
    branches/gcc-4_6-branch/gcc/cp/semantics.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/50024] [C++0x] [4.7 Regression] crash when using braced initialization in member function of template

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.6.2

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-08-23 20:48:08 UTC ---
Fixed for 4.6.2.