[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

[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

[gscfq@t-online.de]

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

[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]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|[11 Regression] ICE tree    |[8/9/10/11 Regression] ICE
                   |check: expected tree that   |tree check: expected tree
                   |contains 'typed' structure, |that contains 'typed'
                   |have 'deferred_noexcept' in |structure, have
                   |unify, at cp/pt.c:23473     |'deferred_noexcept' in
                   |                            |unify, at cp/pt.c:23473
                   |                            |since
                   |                            |r7-4383-g51dc660315ef83dc
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-11-26
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-4383-g51dc660315ef83dc with -std=c++17.

[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

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
> clang++ t.ii
t.ii:5:16: error: no matching function for call to 'bar'
static_assert (bar (foo<S>);
               ^~~
t.ii:4:6: note: candidate template ignored: couldn't infer template argument
'b'
void bar (void (A...) noexcept (b));
     ^
1 error generated.

[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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |8.5
           Keywords|                            |ice-on-invalid-code

[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

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This also ICEs, but in a different spot:

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

[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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[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

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

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

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Like PR97994, it looks like this is also fixed by r11-6476.  Shall we close
this PR?

[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

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Yeah, I think so.  It's ICE-on-invalid and we don't usually backport these.