[Bug c++/67131] New: [6 Regression] ICE: Segmentation fault

[Bug c++/67131] New: [6 Regression] ICE: Segmentation fault

[trippels at gcc dot gnu.org]

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

            Bug ID: 67131
           Summary: [6 Regression] ICE: Segmentation fault
           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 metafunction.ii
template <typename T> typename T::_ type;
template <template <typename...> class> struct A;
template <template <typename> class f> A<f> metafunction;
namespace detail {
template <typename> struct _decltype;
}
template <template <typename...> class F> struct A {
  template <typename... T>
  auto operator()() -> decltype(type<F<detail::_decltype<T>...>>);
};
template <typename F> auto valid_call(F f) -> decltype(f());
constexpr auto valid_call(...) { return 0; }
template <typename> struct no_type;
static_assert(!valid_call(metafunction<no_type>),"");

trippels@gcc2-power8 test % clang++ -Wall -Wextra -c -std=c++14 metafunction.ii
trippels@gcc2-power8 test % g++ -c metafunction.ii
metafunction.ii: In substitution of ‘template<class ... T> decltype
(type<F<detail::_decltype<T>...> >) A< <template-parameter-1-1> >::operator()()
[with T = {}]’:
metafunction.ii:11:57:   required by substitution of ‘template<class F>
decltype (f()) valid_call(F) [with F = A<no_type>]’
metafunction.ii:14:48:   required from here
metafunction.ii:9:8: internal compiler error: Segmentation fault
   auto operator()() -> decltype(type<F<detail::_decltype<T>...>>);
        ^
0x10a19a33 crash_signal
        ../../gcc/gcc/toplev.c:352
0x1031435c invalid_nonstatic_memfn_p
        ../../gcc/gcc/cp/typeck.c:1815
0x10385f67 finish_decltype_type(tree_node*, bool, int)
        ../../gcc/gcc/cp/semantics.c:7172
0x1020c867 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:12686
0x1021219f tsubst_function_type
        ../../gcc/gcc/cp/pt.c:11749
0x1020c033 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:12493
0x1021911b tsubst_decl
        ../../gcc/gcc/cp/pt.c:10969
0x1020c3f3 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11965
0x10209c4f instantiate_template_1
        ../../gcc/gcc/cp/pt.c:16156
0x10209c4f instantiate_template(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/pt.c:16207
0x10236c27 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, bool, bool)
        ../../gcc/gcc/cp/pt.c:16556
0x10188d3b add_template_candidate_real
        ../../gcc/gcc/cp/call.c:3022
0x1018996f add_template_candidate
        ../../gcc/gcc/cp/call.c:3119
0x1018996f add_candidates
        ../../gcc/gcc/cp/call.c:5245
0x1019012b build_op_call_1
        ../../gcc/gcc/cp/call.c:4232
0x1019012b build_op_call(tree_node*, vec<tree_node*, va_gc, vl_embed>**, int)
        ../../gcc/gcc/cp/call.c:4319
0x1037e2e3 finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**,
bool, bool, int)
        ../../gcc/gcc/cp/semantics.c:2408
0x10222d6b tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        ../../gcc/gcc/cp/pt.c:15397
0x1020b8e3 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:12666
0x10211ebb tsubst_function_type
        ../../gcc/gcc/cp/pt.c:11749
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-494252-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Aug 06 07:05:58 2015
Return-Path: <gcc-bugs-return-494252-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29753 invoked by alias); 6 Aug 2015 07:05:58 -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 29654 invoked by uid 48); 6 Aug 2015 07:05:50 -0000
From: "krebbel at gcc dot gnu.org" <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 07:05: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: krebbel at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ian at airs dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cc resolution
Message-ID: <bug-66303-4-0vxnDWtvor@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/msg00394.txt.bz2
Content-length: 532

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

Andreas Krebbel <krebbel at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |krebbel at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #14 from Andreas Krebbel <krebbel at gcc dot gnu.org> ---
Fixed in Glibc per comment #12.

[Bug c++/67131] [6 Regression] ICE: Segmentation fault

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0

[Bug c++/67131] [6 Regression] ICE: Segmentation fault

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-08-06
     Ever confirmed|0                           |1

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> ---
What version of clang compiles that with no errors?  Mine says,

wa2.C:17:15: error: static_assert expression is not an integral constant
expression
static_assert(!valid_call(metafunction<no_type>),"");
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
wa2.C:17:27: note: read of non-constexpr variable 'metafunction<no_type>' is
not allowed in a constant expression
static_assert(!valid_call(metafunction<no_type>),"");
                          ^
wa2.C:17:27: note: in call to 'A(metafunction)'
wa2.C:6:45: note: declared here
template <template <typename> class f> A<f> metafunction;
                                            ^

[Bug c++/67131] [6 Regression] ICE: Segmentation fault

[trippels at gcc dot gnu.org]

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

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #1)
> What version of clang compiles that with no errors?

Latest trunk.

[Bug c++/67131] [6 Regression] ICE: Segmentation fault

[jason at gcc dot gnu.org]

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

--- Comment #3 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++/67131] [6 Regression] ICE: Segmentation fault

[jason at gcc dot gnu.org]

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

--- Comment #4 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++/67131] [6 Regression] ICE: Segmentation fault

[trippels at gcc dot gnu.org]

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

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

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

--- Comment #5 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
With this fix there is only one ICE left when building boost_hana: PR66533.

Closing.

[Bug c++/67131] [6 Regression] ICE: Segmentation fault

[jason at gcc dot gnu.org]

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

--- Comment #6 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