https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99827
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Keywords| |ice-on-valid-code
Known to work| |10.2.0
Known to fail| |10.2.1, 11.0
CC| |iains at gcc dot gnu.org
Last reconfirmed| |2021-03-30
Summary|[coroutines] co_await on |[10/11 Regression]
|function receiving |[coroutines] co_await on
|initializer list of shared |function receiving
|pointers causes ICE |initializer list of shared
| |pointers causes ICE
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Please provide the code here, not just a URL (as requested by
https://gcc.gnu.org/bugs which bugzilla asks you to read before creating a
bug).
#include <coroutine>
#include <memory>
// promise
struct promise {
struct promise_type {
promise get_return_object() { return {}; }
std::suspend_never initial_suspend() { return {}; }
std::suspend_never final_suspend() noexcept { return {}; }
void unhandled_exception() {};
};
};
// generate awaitable (1)
std::suspend_never func1(std::initializer_list<std::shared_ptr<int>>) { return
{}; }
// generate awaitable (2)
std::suspend_never func2(std::initializer_list<int>) { return {}; }
promise task() {
{
// produces a compiler error
co_await func1({ std::make_shared<int>(1) });
}
{
// does not produce a compiler error
func1({ std::make_shared<int>(1) });
}
{
// does not produce a compiler error
auto is = { std::make_shared<int>(1) };
co_await func1(is);
}
{
// does not produce a compiler error
co_await func2({ 1 });
}
}
int main() { task(); }
co.C: In function 'promise task()':
co.C:41:1: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have array_type in build_special_member_call, at
cp/call.c:10106
41 | }
| ^
0x80cc4f tree_check_failed(tree_node const*, char const*, int, char const*,
...)
/home/jwakely/src/gcc/gcc/gcc/tree.c:9816
0x6178b5 tree_check3(tree_node*, char const*, int, char const*, tree_code,
tree_code, tree_code)
/home/jwakely/src/gcc/gcc/gcc/tree.h:3393
0x6178b5 build_special_member_call(tree_node*, tree_node*, vec<tree_node*,
va_gc, vl_embed>**, tree_node*, int, int)
/home/jwakely/src/gcc/gcc/gcc/cp/call.c:10106
0x9300a4 flatten_await_stmt
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:2973
0x92fcb6 flatten_await_stmt
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:2991
0x92fcb6 flatten_await_stmt
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:2991
0x9314fb maybe_promote_temps
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3176
0x9314fb await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3681
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
0x931000 await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3441
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
0x9316de await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3429
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
0x931000 await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3441
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
0x137e8ce walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12449
0x931000 await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3441
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
0x9316de await_statement_walker
/home/jwakely/src/gcc/gcc/gcc/cp/coroutines.cc:3429
0x137e72a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
/home/jwakely/src/gcc/gcc/gcc/tree.c:12101
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
It works with 10.2.0 but not 10.2.1
