[Bug c++/48969] New: ICE with -std=c++0x

[Bug c++/48969] New: ICE with -std=c++0x

[ajrh at ajrh dot net]

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

           Summary: ICE with -std=c++0x
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ajrh@ajrh.net


The file below compiles OK if the -std=c++0x flag is not passed

g++ -c -std=c++0x x.cpp
g++: internal compiler error: Segmentation fault (program cc1plus)
Please submit a full bug report, [...]

===========

template<unsigned int N> struct Pair { };
struct Foo { enum { Mask = 1 }; } foo;
template<typename A, typename B> class Pair<A::Mask | B::Mask> operator|(const
A &, const B &)
{
    foo | foo;
};

[Bug c++/48969] ICE with -std=c++0x

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.05.11 22:30:49
                 CC|                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1

[Bug c++/48969] ICE with -std=c++0x

[redi at gcc dot gnu.org]

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-05-12 08:56:57 UTC ---
it looks like tsubst recurses until it runs out of stack

clang also segfaults with -std=c++0x, and not without

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-13 16:51:24 UTC ---
Yes, the problem arises because in C++0x enums have scope, so
decltype(Foo::Mask)::Mask is the same as Foo::Mask.

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-13 22:25:16 UTC ---
Author: jason
Date: Fri May 13 22:25:12 2011
New Revision: 173741

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173741
Log:
    PR c++/48969
    * pt.c (deduction_tsubst_fntype): New.
    (fn_type_unification): Use it.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype26.C
    trunk/gcc/testsuite/g++.dg/cpp0x/enum11.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-16 20:52:24 UTC ---
Author: jason
Date: Mon May 16 20:52:18 2011
New Revision: 173805

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173805
Log:
    PR c++/48969
    * pt.c (deduction_tsubst_fntype): Use a VEC initially.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |redi at gcc dot gnu.org

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-22 19:04:01 UTC ---
*** Bug 48285 has been marked as a duplicate of this bug. ***

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-25 01:15:12 UTC ---
Fixed for 4.7.0.

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-25 01:22:22 UTC ---
.

[Bug c++/48969] ICE with -std=c++0x

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> 2011-06-07 21:54:12 UTC ---
Author: jason
Date: Tue Jun  7 21:54:07 2011
New Revision: 174772

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174772
Log:
    PR c++/48969
    PR c++/44175
gcc/c-family/
    * c-common.c (max_tinst_depth): Lower default to 900.
gcc/cp/
    * error.c (subst_to_string): New.
    (cp_printer): Use it for 'S'.
    (print_instantiation_partial_context_line): Handle subst context.
    * pt.c (push_tinst_level): Handle subst context.
    (deduction_tsubst_fntype): Don't track specific substitutions.
    Use push_tinst_level.

Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/error.c
    trunk/gcc/cp/pt.c
    trunk/gcc/doc/invoke.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/abi/mangle11.C
    trunk/gcc/testsuite/g++.dg/abi/mangle12.C
    trunk/gcc/testsuite/g++.dg/abi/mangle17.C
    trunk/gcc/testsuite/g++.dg/abi/mangle20-2.C
    trunk/gcc/testsuite/g++.dg/abi/pragma-pack1.C
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype26.C
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype28.C
    trunk/gcc/testsuite/g++.dg/cpp0x/decltype29.C
    trunk/gcc/testsuite/g++.dg/cpp0x/enum11.C
    trunk/gcc/testsuite/g++.dg/cpp0x/forw_enum8.C
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-errloc2.C
    trunk/gcc/testsuite/g++.dg/cpp0x/pr47416.C
    trunk/gcc/testsuite/g++.dg/ext/case-range2.C
    trunk/gcc/testsuite/g++.dg/ext/case-range3.C
    trunk/gcc/testsuite/g++.dg/gomp/for-19.C
    trunk/gcc/testsuite/g++.dg/gomp/pr37533.C
    trunk/gcc/testsuite/g++.dg/gomp/pr38639.C
    trunk/gcc/testsuite/g++.dg/gomp/tpl-parallel-2.C
    trunk/gcc/testsuite/g++.dg/inherit/base3.C
    trunk/gcc/testsuite/g++.dg/inherit/using6.C
    trunk/gcc/testsuite/g++.dg/init/placement4.C
    trunk/gcc/testsuite/g++.dg/init/reference3.C
    trunk/gcc/testsuite/g++.dg/lookup/scoped6.C
    trunk/gcc/testsuite/g++.dg/lookup/using7.C
    trunk/gcc/testsuite/g++.dg/other/abstract1.C
    trunk/gcc/testsuite/g++.dg/other/error10.C
    trunk/gcc/testsuite/g++.dg/other/error5.C
    trunk/gcc/testsuite/g++.dg/other/field1.C
    trunk/gcc/testsuite/g++.dg/other/offsetof5.C
    trunk/gcc/testsuite/g++.dg/parse/bitfield2.C
    trunk/gcc/testsuite/g++.dg/parse/constant4.C
    trunk/gcc/testsuite/g++.dg/parse/crash20.C
    trunk/gcc/testsuite/g++.dg/parse/invalid-op1.C
    trunk/gcc/testsuite/g++.dg/parse/non-dependent2.C
    trunk/gcc/testsuite/g++.dg/parse/template18.C
    trunk/gcc/testsuite/g++.dg/tc1/dr152.C
    trunk/gcc/testsuite/g++.dg/tc1/dr166.C
    trunk/gcc/testsuite/g++.dg/tc1/dr176.C
    trunk/gcc/testsuite/g++.dg/tc1/dr213.C
    trunk/gcc/testsuite/g++.dg/template/access11.C
    trunk/gcc/testsuite/g++.dg/template/access2.C
    trunk/gcc/testsuite/g++.dg/template/access3.C
    trunk/gcc/testsuite/g++.dg/template/access7.C
    trunk/gcc/testsuite/g++.dg/template/arg7.C
    trunk/gcc/testsuite/g++.dg/template/cond2.C
    trunk/gcc/testsuite/g++.dg/template/crash13.C
    trunk/gcc/testsuite/g++.dg/template/crash40.C
    trunk/gcc/testsuite/g++.dg/template/crash7.C
    trunk/gcc/testsuite/g++.dg/template/crash84.C
    trunk/gcc/testsuite/g++.dg/template/ctor5.C
    trunk/gcc/testsuite/g++.dg/template/defarg13.C
    trunk/gcc/testsuite/g++.dg/template/defarg14.C
    trunk/gcc/testsuite/g++.dg/template/dtor7.C
    trunk/gcc/testsuite/g++.dg/template/eh2.C
    trunk/gcc/testsuite/g++.dg/template/error2.C
    trunk/gcc/testsuite/g++.dg/template/error43.C
    trunk/gcc/testsuite/g++.dg/template/friend32.C
    trunk/gcc/testsuite/g++.dg/template/injected1.C
    trunk/gcc/testsuite/g++.dg/template/instantiate1.C
    trunk/gcc/testsuite/g++.dg/template/instantiate3.C
    trunk/gcc/testsuite/g++.dg/template/instantiate5.C
    trunk/gcc/testsuite/g++.dg/template/instantiate7.C
    trunk/gcc/testsuite/g++.dg/template/local6.C
    trunk/gcc/testsuite/g++.dg/template/lookup2.C
    trunk/gcc/testsuite/g++.dg/template/member5.C
    trunk/gcc/testsuite/g++.dg/template/memfriend15.C
    trunk/gcc/testsuite/g++.dg/template/memfriend16.C
    trunk/gcc/testsuite/g++.dg/template/memfriend17.C
    trunk/gcc/testsuite/g++.dg/template/memfriend7.C
    trunk/gcc/testsuite/g++.dg/template/meminit1.C
    trunk/gcc/testsuite/g++.dg/template/nested3.C
    trunk/gcc/testsuite/g++.dg/template/non-type-template-argument-1.C
    trunk/gcc/testsuite/g++.dg/template/nontype12.C
    trunk/gcc/testsuite/g++.dg/template/nontype13.C
    trunk/gcc/testsuite/g++.dg/template/nontype6.C
    trunk/gcc/testsuite/g++.dg/template/pr23510.C
    trunk/gcc/testsuite/g++.dg/template/pr35240.C
    trunk/gcc/testsuite/g++.dg/template/ptrmem15.C
    trunk/gcc/testsuite/g++.dg/template/ptrmem6.C
    trunk/gcc/testsuite/g++.dg/template/qualified-id1.C
    trunk/gcc/testsuite/g++.dg/template/qualttp20.C
    trunk/gcc/testsuite/g++.dg/template/qualttp3.C
    trunk/gcc/testsuite/g++.dg/template/qualttp4.C
    trunk/gcc/testsuite/g++.dg/template/qualttp5.C
    trunk/gcc/testsuite/g++.dg/template/qualttp6.C
    trunk/gcc/testsuite/g++.dg/template/qualttp7.C
    trunk/gcc/testsuite/g++.dg/template/qualttp8.C
    trunk/gcc/testsuite/g++.dg/template/recurse.C
    trunk/gcc/testsuite/g++.dg/template/recurse2.C
    trunk/gcc/testsuite/g++.dg/template/ref5.C
    trunk/gcc/testsuite/g++.dg/template/scope2.C
    trunk/gcc/testsuite/g++.dg/template/sfinae10.C
    trunk/gcc/testsuite/g++.dg/template/sfinae3.C
    trunk/gcc/testsuite/g++.dg/template/sizeof3.C
    trunk/gcc/testsuite/g++.dg/template/static9.C
    trunk/gcc/testsuite/g++.dg/template/template-id-2.C
    trunk/gcc/testsuite/g++.dg/template/typedef13.C
    trunk/gcc/testsuite/g++.dg/template/typename4.C
    trunk/gcc/testsuite/g++.dg/template/using14.C
    trunk/gcc/testsuite/g++.dg/template/using2.C
    trunk/gcc/testsuite/g++.dg/template/warn1.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-13.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-15.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-16.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-17.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-18.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-19.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-20.C
    trunk/gcc/testsuite/g++.dg/warn/Wparentheses-23.C
    trunk/gcc/testsuite/g++.dg/warn/Wstrict-aliasing-3.C
    trunk/gcc/testsuite/g++.dg/warn/noeffect2.C
    trunk/gcc/testsuite/g++.dg/warn/noeffect4.C
    trunk/gcc/testsuite/g++.dg/warn/pr8570.C
    trunk/gcc/testsuite/g++.old-deja/g++.brendan/init2.C
    trunk/gcc/testsuite/g++.old-deja/g++.eh/spec6.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/crash10.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/crash36.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/derived3.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/error2.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/explicit70.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/infinite1.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/memtemp89.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/overload7.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/vaarg3.C
    trunk/gcc/testsuite/lib/prune.exp
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/duration/requirements/typedefs_neg1.cc
    trunk/libstdc++-v3/testsuite/20_util/duration/requirements/typedefs_neg2.cc
    trunk/libstdc++-v3/testsuite/20_util/duration/requirements/typedefs_neg3.cc
    trunk/libstdc++-v3/testsuite/20_util/forward/1_neg.cc
   
trunk/libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc
   
trunk/libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/shared_ptr/assign/shared_ptr_neg.cc
    trunk/libstdc++-v3/testsuite/ext/ext_pointer/1_neg.cc
    trunk/libstdc++-v3/testsuite/ext/pb_ds/example/hash_resize_neg.cc
    trunk/libstdc++-v3/testsuite/ext/type_traits/add_unsigned_floating_neg.cc
    trunk/libstdc++-v3/testsuite/ext/type_traits/add_unsigned_integer_neg.cc
   
trunk/libstdc++-v3/testsuite/ext/type_traits/remove_unsigned_floating_neg.cc
    trunk/libstdc++-v3/testsuite/ext/type_traits/remove_unsigned_integer_neg.cc
    trunk/libstdc++-v3/testsuite/lib/prune.exp
   
trunk/libstdc++-v3/testsuite/tr1/2_general_utilities/shared_ptr/assign/shared_ptr_neg.cc