public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/97995] New: [11 Regression] ICE tree check: expected tree that contains 'typed' structure, have 'deferred_noexcept' in unify, at cp/pt.c:23473
Date: Wed, 25 Nov 2020 17:11:14 +0000	[thread overview]
Message-ID: <bug-97995-4@http.gcc.gnu.org/bugzilla/> (raw)

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

            Bug ID: 97995
           Summary: [11 Regression] ICE tree check: expected tree that
                    contains 'typed' structure, have 'deferred_noexcept'
                    in unify, at cp/pt.c:23473
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed between 20200621 and 20200628 :


$ cat z1.cc
struct S;
template <class T> void foo () noexcept (T::v);
template <class ...A, int b>
void bar (void (A...) noexcept (b));
static_assert (bar (foo<S>);


$ g++-11-20201122 -c z1.cc
z1.cc: In substitution of 'template<class ... A, int b> void bar(void (*)(A
...) noexcept (b)) [with A = <missing>; int b = <missing>]':
z1.cc:5:27:   required from here
z1.cc:5:27: internal compiler error: tree check: expected tree that contains
'typed' structure, have 'deferred_noexcept' in unify, at cp/pt.c:23473
    5 | static_assert (bar (foo<S>);
      |                           ^
0x6527ab tree_contains_struct_check_failed(tree_node const*,
tree_node_structure_enum, char const*, int, char const*)
        ../../gcc/tree.c:9984
0x8a0193 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
        ../../gcc/tree.h:3431
0x8a0193 unify
        ../../gcc/cp/pt.c:23473
0x89eb1c unify
        ../../gcc/cp/pt.c:23796
0x89dcbe unify
        ../../gcc/cp/pt.c:23563
0x8a03cf try_one_overload
        ../../gcc/cp/pt.c:22522
0x89b45a resolve_overloaded_unification
        ../../gcc/cp/pt.c:22286
0x89b45a unify_one_argument
        ../../gcc/cp/pt.c:21832
0x8bb1b4 type_unification_real
        ../../gcc/cp/pt.c:21976
0x8d1300 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
        ../../gcc/cp/pt.c:21345
0x6a1332 add_template_candidate_real
        ../../gcc/cp/call.c:3431
0x6a2014 add_template_candidate
        ../../gcc/cp/call.c:3519
0x6a2014 add_candidates
        ../../gcc/cp/call.c:5929
0x6a7e0b add_candidates
        ../../gcc/cp/call.c:4553
0x6a7e0b perform_overload_resolution
        ../../gcc/cp/call.c:4561
0x6afef2 build_new_function_call(tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
        ../../gcc/cp/call.c:4635
0x8fbdec finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
        ../../gcc/cp/semantics.c:2703
0x846165 cp_parser_postfix_expression
        ../../gcc/cp/parser.c:7556
0x850915 cp_parser_unary_expression
        ../../gcc/cp/parser.c:8659
0x820faf cp_parser_cast_expression
        ../../gcc/cp/parser.c:9562

             reply	other threads:[~2020-11-25 17:11 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-11-25 17:11 gscfq@t-online.de [this message]
2020-11-26 10:13 ` [Bug c++/97995] [8/9/10/11 Regression] ICE tree check: expected tree that contains 'typed' structure, have 'deferred_noexcept' in unify, at cp/pt.c:23473 since r7-4383-g51dc660315ef83dc marxin at gcc dot gnu.org
2020-11-26 10:13 ` rguenth at gcc dot gnu.org
2020-11-26 10:13 ` rguenth at gcc dot gnu.org
2020-11-30 17:17 ` mpolacek at gcc dot gnu.org
2021-01-14  9:47 ` rguenth at gcc dot gnu.org
2021-04-09 15:21 ` ppalka at gcc dot gnu.org
2021-04-09 15:25 ` mpolacek at gcc dot gnu.org

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-97995-4@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).