[GNATS 26932] Spurious diagnostic, no default constructor exists for class "boost::cobalt::detail::fork::promise_type"

[jhsedg]

Customer bug ID

cobalt/test/fork.test/fork.cpp

Description

​)$CPFE --c++20 --gnu_version=120100 -tused --g++ -w /tmp/toreduce/fork.E.C
​"../libs/cobalt/test/fork.cpp", line 23: error: no default constructor exists
​ for class "boost::cobalt::detail::fork::promise_type"
​ static cobalt::detail::fork step(tester & , int i= 0)
​ ^
​
​"../boost/cobalt/detail/wrapper.hpp", line 134: error: no instance of
​ overloaded
​ "boost::cobalt::detail::partial_promise_base::operator new
​ [with Allocator=std::pmr::polymorphic_allocator]" matches the
​ argument list
​ argument types are: (unsigned long)
​ auto post_coroutine(CompletionToken token)
​ ^
​"../boost/cobalt/detail/wrapper.hpp", line 37: note: number of parameters of
​ function template
​ "boost::cobalt::detail::partial_promise_base::operator
​ new(std::size_t, Executor &, CompletionToken &) [with
​ Allocator=std::pmr::polymorphic_allocator]" does not match the
​ call
​ void * operator new(const std::size_t size, Executor &, CompletionToken & token)
​ ^
​"../boost/cobalt/detail/wrapper.hpp", line 29: note: number of parameters of
​ function template
​ "boost::cobalt::detail::partial_promise_base::operator
​ new(std::size_t, CompletionToken &) [with
​ Allocator=std::pmr::polymorphic_allocator]" does not match the
​ call
​ void * operator new(const std::size_t size, CompletionToken & token)
​ ^
​ detected during:
​ instantiation of "auto
​ boost::cobalt::detail::post_coroutine(CompletionToken)->s
​ td::__n4861::coroutine_handle<boost::cobalt::detail::post
​ _coroutine_promise<boost::asio::associated_allocator_t<Co
​ mpletionToken, std::allocator>>> [with
​ CompletionToken=completion_handler]" at line 140 of
​ "../boost/cobalt/detail/spawn.hpp"
​ instantiation of "void
​ boost::cobalt::detail::async_initiate_spawn::operator()(H
​ andler &&, boost::cobalt::task,
​ boost::cobalt::executor) [with Handler=void
​ ()(std::__exception_ptr::exception_ptr)]" at line 275 of
​ "../boost/asio/async_result.hpp"
​ instantiation of
​ "boost::asio::detail::completion_handler_async_result<Com
​ pletionToken, Signatures...>::return_type
​ boost::asio::detail::completion_handler_async_result<Comp
​ letionToken, Signatures...>::initiate(Initiation &&,
​ RawCompletionToken &&, Args &&...) [with
​ CompletionToken=void
​ ()(std::__exception_ptr::exception_ptr),
​ Signatures=<void (std::__exception_ptr::exception_ptr)>,
​ Initiation=boost::cobalt::detail::async_initiate_spawn,
​ RawCompletionToken=void
​ ()(std::__exception_ptr::exception_ptr),
​ Args=<boost::cobalt::task,
​ boost::asio::io_context::executor_type>]" at line 573 of
​ "../boost/asio/async_result.hpp"
​ instantiation of "auto
​ boost::asio::async_initiate<CompletionToken,Signatures...
​ ,Initiation,Args...>(Initiation &&,
​ boost::asio::type_identity_t &, Args
​ &&...)->boost::asio::constraint_t<boost::asio::detail::as
​ ync_result_has_initiate_memfn<CompletionToken,
​ Signatures...>::value, decltype(())> [with
​ CompletionToken=void
​ ()(std::__exception_ptr::exception_ptr),
​ Signatures=<void (std::__exception_ptr::exception_ptr)>,
​ Initiation=boost::cobalt::detail::async_initiate_spawn,
​ Args=<boost::cobalt::task,
​ boost::asio::io_context::executor_type>]" at line 38 of
​ "../boost/cobalt/spawn.hpp"
​
​2 errors detected in the compilation of "/tmp/toreduce/fork.E.C".

Notes

​mjh, 2024-01-10:
​
​Reduced case in gnats/26932a.C.
​
​ellen, 2024-01-08:
​We will attempt to get a reduced test case.