id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
13189	copy throws exception from a function defined as noexcept	kukkerman@…	Beman Dawes	"When {{{copy}}} fails because access to the file specified by {{{from}}} is denied, the corresponding exception reaches a function defined as {{{noexcept}}}. Stack trace:
{{{
bool <anon. namespace>::error(err_t error_num, const path& p1,
                              const path& p2, error_code* ec,
                              const char* message)

void detail::copy_file(const path& from, const path& to,
                       copy_option option, error_code* ec)

void copy_file(const path& from, const path& to,
               BOOST_SCOPED_ENUM(copy_option) option,
               system::error_code& ec) BOOST_NOEXCEPT

void detail::copy(const path& from, const path& to,
                  system::error_code* ec)

void copy(const path& from, const path& to)
}}}
The exception is thrown from {{{error}}}, and isn't caught anywhere along the calling path. The problem is that {{{copy_file}}} is defined as {{{noexcept}}} ({{{BOOST_NOEXCEPT}}} to be precise, but it is resolved as {{{noexcept}}} under a C++11 compliant compiler), and doesn't handle the exception either, which causes program termination by implicitly calling {{{std::terminate}}}."	Bugs	new	To Be Determined	filesystem	Boost 1.63.0	Problem