[Bug c++/67130] New: [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[Bug c++/67130] New: [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

            Bug ID: 67130
           Summary: [6 Regression] ICE: tree check: expected
                    identifier_node, have template_decl in
                    write_unqualified_id, at cp/mangle.c:1218
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
                CC: jason at gcc dot gnu.org
  Target Milestone: ---

trippels@gcc2-power8 test % cat type_traits.ii
namespace std {
template <typename> struct __success_type;
template <typename> void declval();
template <typename> class decay {
public:
  typedef int type;
};
template <typename...> struct common_type;
struct A {
  template <typename, typename _Up>
  static __success_type<typename decay<decltype(declval<_Up>)>::type> _S_test;
};
template <typename _Tp, typename _Up> struct __common_type_impl : A {
  typedef decltype(_S_test<_Tp, _Up>) type;
};
template <typename _Tp, typename _Up>
struct common_type<_Tp, _Up> : __common_type_impl<_Tp, _Up> {};
}
template <typename> struct B { struct _; };
template <typename T> typename B<T>::_ type;
template <template <typename...> class> struct C;
template <template <typename...> class f> C<f> metafunction;
template <typename T> struct B<T>::_ {};
namespace detail {
template <typename> struct _decltype;
}
template <template <typename...> class F> struct C {
  template <typename... T>
  auto operator()(T...)
      -> decltype(type<typename F<detail::_decltype<T>...>::type>);
};
auto common_type = metafunction<std::common_type>(0, 0);


trippels@gcc2-power8 test % c++ -c type_traits.ii
type_traits.ii: In instantiation of ‘decltype (type<typename
F<detail::_decltype<T>...>::type>) C< <template-parameter-1-1> >::operator()(T
...) [with T = {int, int}; F = std::common_type; decltype (type<typename
F<detail::_decltype<T>...>::type>) = B<std::__success_type<int> >::_; typename
F<detail::_decltype<T>...>::type = std::__success_type<int>]’:

type_traits.ii:29:8: internal compiler error: tree check: expected
identifier_node, have template_decl in write_unqualified_id, at
cp/mangle.c:1218
   auto operator()(T...)
        ^
0x10d2be23 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../gcc/gcc/tree.c:9499
0x103d188f tree_check
        ../../gcc/gcc/tree.h:2858
0x103d188f write_unqualified_id
        ../../gcc/gcc/cp/mangle.c:1218
0x103cb5ab write_expression
        ../../gcc/gcc/cp/mangle.c:2828
0x103cf47f write_type
        ../../gcc/gcc/cp/mangle.c:2129
0x103d1ec7 write_bare_function_type
        ../../gcc/gcc/cp/mangle.c:2527
0x103d4a67 mangle_decl_string
        ../../gcc/gcc/cp/mangle.c:3498
0x103d4c7f get_mangled_id
        ../../gcc/gcc/cp/mangle.c:3520
0x103d504f mangle_decl(tree_node*)
        ../../gcc/gcc/cp/mangle.c:3587
0x10d2d30f decl_assembler_name(tree_node*)
        ../../gcc/gcc/tree.c:658
0x1056c583 symbol_table::insert_to_assembler_name_hash(symtab_node*, bool)
        ../../gcc/gcc/symtab.c:157
0x1056d86f symbol_table::symtab_initialize_asm_name_hash()
        ../../gcc/gcc/symtab.c:249
0x1058a3ff analyze_functions
        ../../gcc/gcc/cgraphunit.c:1175
0x1058b267 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2477
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-494249-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Aug 06 06:49:18 2015
Return-Path: <gcc-bugs-return-494249-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26990 invoked by alias); 6 Aug 2015 06:49:16 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 22449 invoked by uid 48); 6 Aug 2015 06:49:11 -0000
From: "vogt at linux dot vnet.ibm.com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug go/66303] runtime.Caller() returns infinitely deep stack frames on s390x
Date: Thu, 06 Aug 2015 06:49:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: go
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vogt at linux dot vnet.ibm.com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ian at airs dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66303-4-XIM6Iv9V5q@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66303-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66303-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-08/txt/msg00391.txt.bz2
Content-length: 185

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf303

--- Comment #13 from Dominik Vogt <vogt at linux dot vnet.ibm.com> ---
Can this be closed?  It's not a Gcc bug but a Glibc problem.

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-08-06
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Aug  6 14:26:18 2015
New Revision: 226676

URL: https://gcc.gnu.org/viewcvs?rev=226676&root=gcc&view=rev
Log:
        PR c++/67130
        PR c++/67131
        PR c++/66260
        * mangle.c (write_expression) [TEMPLATE_ID_EXPR]: Handle variable
        templates.
        * pt.c (tsubst_copy_and_build): Check for argument substitution
        failure.

Added:
    trunk/gcc/testsuite/g++.dg/cpp1y/var-templ42.C
    trunk/gcc/testsuite/g++.dg/cpp1y/var-templ43.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/pt.c

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Aug  6 14:28:26 2015
New Revision: 226677

URL: https://gcc.gnu.org/viewcvs?rev=226677&root=gcc&view=rev
Log:
        PR c++/67130
        PR c++/67131
        PR c++/66260
        * mangle.c (write_expression) [TEMPLATE_ID_EXPR]: Handle variable
        templates.
        * pt.c (tsubst_copy_and_build): Check for argument substitution
        failure.

Added:
    branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/var-templ42.C
    branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/var-templ43.C
Modified:
    branches/gcc-5-branch/gcc/cp/ChangeLog
    branches/gcc-5-branch/gcc/cp/mangle.c
    branches/gcc-5-branch/gcc/cp/pt.c

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Fixed. Thanks.

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #4 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
really fixed

[Bug c++/67130] [6 Regression] ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67130

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Aug  6 18:45:05 2015
New Revision: 226696

URL: https://gcc.gnu.org/viewcvs?rev=226696&root=gcc&view=rev
Log:
        PR c++/67130
        PR c++/67131
        PR c++/66260
        * mangle.c (write_expression) [TEMPLATE_ID_EXPR]: Handle variable
        templates.
        * pt.c (tsubst_copy_and_build): Check for argument substitution
        failure.

Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp1y/var-templ42.C
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp1y/var-templ43.C
Modified:
    branches/c++-concepts/gcc/cp/mangle.c
    branches/c++-concepts/gcc/cp/pt.c