clang-cl /EHa /Os crash while compiling coroutines + std::unique_ptr, assertion hit even without std::unique_ptr, since 17.x.x

[tzuralon]

Reproduces in llvm trunk (git commit e66c205), Release (but compiled with debug information, explained later why, and also reproduced in any clang release >16):

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /EHa /Os /std:c++latest coroutine_with_unique_ptr_argument.cpp
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-release\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -Os -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name coroutine_with_unique_ptr_argument.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine_with_unique_ptr_argument-92b223.obj -x c++ coroutine_with_unique_ptr_argument.cpp
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module 'coroutine_with_unique_ptr_argument.cpp'.
4.      Running pass 'Greedy Register Allocator' on function '@"?resuming_on_new_thread@@YA?AUtask@@V?$unique_ptr@HU?$default_delete@H@std@@@std@@@Z"'
Exception Code: 0xC0000005
 #0 0x00007ff7825f3414 llvm::SplitEditor::deleteRematVictims(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x983414)
 #1 0x00007ff7825f4c02 llvm::SplitEditor::finish(class llvm::SmallVectorImpl<unsigned int> *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x984c02)
 #2 0x00007ff7823b9689 llvm::RAGreedy::splitAroundRegion(class llvm::LiveRangeEdit &, class llvm::ArrayRef<unsigned int>) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x749689)
 #3 0x00007ff7823b37d9 llvm::RAGreedy::doRegionSplit(class llvm::LiveInterval const &, unsigned int, bool, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x7437d9)
 #4 0x00007ff7823bd177 llvm::RAGreedy::tryRegionSplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d177)
 #5 0x00007ff7823bd3c6 llvm::RAGreedy::trySplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d3c6)
 #6 0x00007ff7823b8c9c llvm::RAGreedy::selectOrSplitImpl(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> &, class llvm::SmallVector<struct std::pair<class llvm::LiveInterval const *, class llvm::MCRegister>, 8> &, unsigned int) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748c9c)
 #7 0x00007ff7823b896a llvm::RAGreedy::selectOrSplit(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74896a)
 #8 0x00007ff7825ee15a llvm::RegAllocBase::allocatePhysRegs(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x97e15a)
 #9 0x00007ff7823b7fcc llvm::RAGreedy::run(class llvm::MachineFunction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x747fcc)
#10 0x00007ff7823b8860 RAGreedyPass::run(class llvm::MachineFunction &, class llvm::AnalysisManager<class llvm::MachineFunction> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748860)
#11 0x00007ff7823a5aad llvm::MachineFunctionPass::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x735aad)
#12 0x00007ff7827cbaa1 llvm::FPPassManager::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5baa1)
#13 0x00007ff7827cbcc5 llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bcc5)
#14 0x00007ff7827cbf2e llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bf2e)
#15 0x00007ff7827cb650 llvm::legacy::PassManager::run(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5b650)
#16 0x00007ff782fd473d clang::EmbedObject(class llvm::Module *, class clang::CodeGenOptions const &, class clang::DiagnosticsEngine &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x136473d)
#17 0x00007ff782fd8729 llvm::DenseMapBase<class llvm::DenseMap<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>, class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>::destroyAll(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368729)
#18 0x00007ff782fd8e76 clang::emitBackendOutput(class clang::CompilerInstance &, class clang::CodeGenOptions &, class llvm::StringRef, class llvm::Module *, enum clang::BackendAction, class llvm::IntrusiveRefCntPtr<class llvm::vfs::FileSystem>, class std::unique_ptr<class llvm::raw_pwrite_stream, struct std::default_delete<class llvm::raw_pwrite_stream>>, class clang::BackendConsumer *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368e76)
#19 0x00007ff78378c62e clang::BackendConsumer::HandleTranslationUnit(class clang::ASTContext &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1c62e)
#20 0x00007ff784669025 clang::ParseAST(class clang::Sema &, bool, bool) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x29f9025)
#21 0x00007ff783a0ab3c clang::ASTFrontendAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9ab3c)
#22 0x00007ff78378b36b clang::CodeGenAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1b36b)
#23 0x00007ff783a0a9b4 clang::FrontendAction::Execute(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9a9b4)
#24 0x00007ff7839f110a clang::CompilerInstance::ExecuteAction(class clang::FrontendAction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d8110a)
#25 0x00007ff783acf934 clang::ExecuteCompilerInvocation(class clang::CompilerInstance *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1e5f934)
#26 0x00007ff781d91f72 cc1_main(class llvm::ArrayRef<char const *>, char const *, void *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x121f72)
#27 0x00007ff781d8b612 clang::DiagnosticConsumer::EndSourceFile(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11b612)
#28 0x00007ff781d8c710 clang_main(int, char **, struct llvm::ToolContext const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11c710)
#29 0x00007ff781d9cbc4 main (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x12cbc4)
#30 0x00007ff785d78438 invoke_main D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:78:0
#31 0x00007ff785d78438 __scrt_common_main_seh D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:288:0
#32 0x00007ffc348be8d7 (C:\WINDOWS\System32\KERNEL32.DLL+0x2e8d7)
#33 0x00007ffc35d1c34c (C:\WINDOWS\SYSTEM32\ntdll.dll+0x3c34c)
clang-cl: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205bda33a91fbe2ba5b4a5d6b823e5c23e8a)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release
clang-cl: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.sh
clang-cl: note: diagnostic msg:

********************

coroutine_with_unique_ptr_argument.cpp:

#include <coroutine>
#include <memory>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

task resuming_on_new_thread(
    std::unique_ptr<int> x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    resuming_on_new_thread(
        {}
    );
}

I managed to reduce it to using some class having a move ctor + deleter in the dtor:
coroutine_with_argument_having_deleter_and_move_ctor.cpp:

//#include "memory.h"
#include <coroutine>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

class unique_ptr {
public:
    unique_ptr() = default;

    unique_ptr(unique_ptr&&) = default;

    ~unique_ptr() noexcept {
        delete ptr;
    }

private:
    int* ptr;
};

task resuming_on_new_thread(
    unique_ptr x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    unique_ptr x;
    resuming_on_new_thread(
        std::move(x)
    );
}

In clang debug / clang release with assertions, both cpps cause clang to crash due to validation of the IR, with a different error message.
In that case, even the cppreference coroutines example attached emits the same validation error, of "Unwind edges out of a funclet pad must have the same unwind dest".

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-debug\clang-cl.exe /EHa /std:c++latest coroutine.cpp
Unwind edges out of a funclet pad must have the same unwind dest
  %9 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %9) ]
          to label %CoroEnd65 unwind label %ehcleanup44
  cleanupret from %9 unwind to caller
fatal error: error in backend: Broken function
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-debug\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name coroutine.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine-40534e.obj -x c++ coroutine.cpp
1.      <eof> parser at end of file
2.      Optimizer
3.      Running pass "coro-cond(coro-early,cgscc(coro-split),coro-cleanup,globaldce)" on module "coroutine.cpp"
4.      Running pass "cgscc(coro-split)" on module "coroutine.cpp"
5.      While splitting coroutine @"?resuming_on_new_thread@@YA?AUtask@@AEAVjthread@std@@@Z"
clang-cl: error: clang frontend command failed with exit code 70 (use -v to see invocation)
clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205bda33a91fbe2ba5b4a5d6b823e5c23e8a)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-debug
Build config: +unoptimized, +assertions
clang-cl: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.sh
clang-cl: note: diagnostic msg:

********************

coroutine.cpp:

#include <coroutine>
#include <iostream>
#include <stdexcept>
#include <thread>
 
auto switch_to_new_thread(std::jthread& out)
{
    struct awaitable
    {
        std::jthread* p_out;
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h)
        {
            std::jthread& out = *p_out;
            if (out.joinable())
                throw std::runtime_error("Output jthread parameter not empty");
            out = std::jthread([h] { h.resume(); });
            // Potential undefined behavior: accessing potentially destroyed *this
            // std::cout << "New thread ID: " << p_out->get_id() << '\n';
            std::cout << "New thread ID: " << out.get_id() << '\n'; // this is OK
        }
        void await_resume() {}
    };
    return awaitable{&out};
}
 
struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};
 
task resuming_on_new_thread(std::jthread& out)
{
    std::cout << "Coroutine started on thread: " << std::this_thread::get_id() << '\n';
    co_await switch_to_new_thread(out);
    // awaiter destroyed here
    std::cout << "Coroutine resumed on thread: " << std::this_thread::get_id() << '\n';
}
 
int main()
{
    std::jthread out;
    resuming_on_new_thread(out);
}

To sum up all of the runs I performed, I attach this table:

So I was able to compile coroutine_with_argument_having_deleter_and_move_ctor.cpp with Clang16.

I also tried to create the IR (in clang21 release, on coroutine_with_argument_having_deleter_and_move_ctor.cpp, both with optimizations on and without), and to track the IR creation and then IR compilation, a new error message emerged - error: invalid LLVM IR input: Instruction does not dominate all uses!:

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp /Os -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %18 = phi ptr [ %11, %10 ], [ %16, %15 ]
  %148 = getelementptr inbounds %"?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z.Frame", ptr %18, i32 0, i32 9
Unwind edges out of a funclet pad must have the same unwind dest
  %95 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %95) ]
          to label %96 unwind label %99
  cleanupret from %95 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller

1 error generated.

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %3 = invoke noalias noundef nonnull dereferenceable(40) ptr @"??2@YAPEAX_K@Z"(i64 noundef 40) #9
          to label %4 unwind label %34
  %36 = getelementptr inbounds nuw i8, ptr %3, i64 32
Unwind edges out of a funclet pad must have the same unwind dest
  %7 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %7) ]
          to label %8 unwind label %9
  cleanupret from %7 unwind to caller

1 error generated.

[efriedma-quic]

In general, I'd recommend avoiding /EHa if you can. It has a lot of known issues, and nobody is actively working on it.

[llvmbot]

@llvm/issue-subscribers-clang-codegen

Author: None (tzuralon)

Reproduces in llvm trunk (git commit e66c205), Release (but compiled with debug information, explained later why, and also reproduced in any clang release >16): ``` C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /EHa /Os /std:c++latest coroutine_with_unique_ptr_argument.cpp PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. Stack dump: 0. Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-release\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -Os -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name coroutine_with_unique_ptr_argument.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine_with_unique_ptr_argument-92b223.obj -x c++ coroutine_with_unique_ptr_argument.cpp 1. <eof> parser at end of file 2. Code generation 3. Running pass 'Function Pass Manager' on module 'coroutine_with_unique_ptr_argument.cpp'. 4. Running pass 'Greedy Register Allocator' on function '@"?resuming_on_new_thread@@YA?AUtask@@V?$unique_ptr@HU?$default_delete@H@std@@@std@@@Z"' Exception Code: 0xC0000005 #0 0x00007ff7825f3414 llvm::SplitEditor::deleteRematVictims(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x983414) #1 0x00007ff7825f4c02 llvm::SplitEditor::finish(class llvm::SmallVectorImpl<unsigned int> *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x984c02) #2 0x00007ff7823b9689 llvm::RAGreedy::splitAroundRegion(class llvm::LiveRangeEdit &, class llvm::ArrayRef<unsigned int>) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x749689) #3 0x00007ff7823b37d9 llvm::RAGreedy::doRegionSplit(class llvm::LiveInterval const &, unsigned int, bool, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x7437d9) #4 0x00007ff7823bd177 llvm::RAGreedy::tryRegionSplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d177) #5 0x00007ff7823bd3c6 llvm::RAGreedy::trySplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d3c6) #6 0x00007ff7823b8c9c llvm::RAGreedy::selectOrSplitImpl(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> &, class llvm::SmallVector<struct std::pair<class llvm::LiveInterval const *, class llvm::MCRegister>, 8> &, unsigned int) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748c9c) #7 0x00007ff7823b896a llvm::RAGreedy::selectOrSplit(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74896a) #8 0x00007ff7825ee15a llvm::RegAllocBase::allocatePhysRegs(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x97e15a) #9 0x00007ff7823b7fcc llvm::RAGreedy::run(class llvm::MachineFunction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x747fcc) #10 0x00007ff7823b8860 RAGreedyPass::run(class llvm::MachineFunction &, class llvm::AnalysisManager<class llvm::MachineFunction> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748860) #11 0x00007ff7823a5aad llvm::MachineFunctionPass::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x735aad) #12 0x00007ff7827cbaa1 llvm::FPPassManager::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5baa1) #13 0x00007ff7827cbcc5 llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bcc5) #14 0x00007ff7827cbf2e llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bf2e) #15 0x00007ff7827cb650 llvm::legacy::PassManager::run(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5b650) #16 0x00007ff782fd473d clang::EmbedObject(class llvm::Module *, class clang::CodeGenOptions const &, class clang::DiagnosticsEngine &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x136473d) #17 0x00007ff782fd8729 llvm::DenseMapBase<class llvm::DenseMap<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>, class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>::destroyAll(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368729) #18 0x00007ff782fd8e76 clang::emitBackendOutput(class clang::CompilerInstance &, class clang::CodeGenOptions &, class llvm::StringRef, class llvm::Module *, enum clang::BackendAction, class llvm::IntrusiveRefCntPtr<class llvm::vfs::FileSystem>, class std::unique_ptr<class llvm::raw_pwrite_stream, struct std::default_delete<class llvm::raw_pwrite_stream>>, class clang::BackendConsumer *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368e76) #19 0x00007ff78378c62e clang::BackendConsumer::HandleTranslationUnit(class clang::ASTContext &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1c62e) #20 0x00007ff784669025 clang::ParseAST(class clang::Sema &, bool, bool) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x29f9025) #21 0x00007ff783a0ab3c clang::ASTFrontendAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9ab3c) #22 0x00007ff78378b36b clang::CodeGenAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1b36b) #23 0x00007ff783a0a9b4 clang::FrontendAction::Execute(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9a9b4) #24 0x00007ff7839f110a clang::CompilerInstance::ExecuteAction(class clang::FrontendAction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d8110a) #25 0x00007ff783acf934 clang::ExecuteCompilerInvocation(class clang::CompilerInstance *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1e5f934) #26 0x00007ff781d91f72 cc1_main(class llvm::ArrayRef<char const *>, char const *, void *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x121f72) #27 0x00007ff781d8b612 clang::DiagnosticConsumer::EndSourceFile(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11b612) #28 0x00007ff781d8c710 clang_main(int, char **, struct llvm::ToolContext const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11c710) #29 0x00007ff781d9cbc4 main (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x12cbc4) #30 0x00007ff785d78438 invoke_main D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:78:0 #31 0x00007ff785d78438 __scrt_common_main_seh D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:288:0 #32 0x00007ffc348be8d7 (C:\WINDOWS\System32\KERNEL32.DLL+0x2e8d7) #33 0x00007ffc35d1c34c (C:\WINDOWS\SYSTEM32\ntdll.dll+0x3c34c) clang-cl: error: clang frontend command failed due to signal (use -v to see invocation) clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205) Target: x86_64-pc-windows-msvc Thread model: posix InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release clang-cl: note: diagnostic msg: ********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.sh
clang-cl: note: diagnostic msg:

---

coroutine_with_unique_ptr_argument.cpp:
```cpp
#include <coroutine>
#include <memory>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

task resuming_on_new_thread(
    std::unique_ptr<int> x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    resuming_on_new_thread(
        {}
    );
}

I managed to reduce it to using some class having a move ctor + deleter in the dtor:
coroutine_with_argument_having_deleter_and_move_ctor.cpp:

//#include "memory.h"
#include <coroutine>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

class unique_ptr {
public:
    unique_ptr() = default;

    unique_ptr(unique_ptr&&) = default;

    ~unique_ptr() noexcept {
        delete ptr;
    }

private:
    int* ptr;
};

task resuming_on_new_thread(
    unique_ptr x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    unique_ptr x;
    resuming_on_new_thread(
        std::move(x)
    );
}

In clang debug / clang release with assertions, both cpps cause clang to crash due to validation of the IR, with a different error message.
In that case, even the cppreference coroutines example attached emits the same validation error, of "Unwind edges out of a funclet pad must have the same unwind dest".

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-debug\clang-cl.exe /EHa /std:c++latest coroutine.cpp
Unwind edges out of a funclet pad must have the same unwind dest
  %9 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %9) ]
          to label %CoroEnd65 unwind label %ehcleanup44
  cleanupret from %9 unwind to caller
fatal error: error in backend: Broken function
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-debug\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name coroutine.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine-40534e.obj -x c++ coroutine.cpp
1.      &lt;eof&gt; parser at end of file
2.      Optimizer
3.      Running pass "coro-cond(coro-early,cgscc(coro-split),coro-cleanup,globaldce)" on module "coroutine.cpp"
4.      Running pass "cgscc(coro-split)" on module "coroutine.cpp"
5.      While splitting coroutine @"?resuming_on_new_thread@@<!-- -->YA?AUtask@@<!-- -->AEAVjthread@<!-- -->std@@@<!-- -->Z"
clang-cl: error: clang frontend command failed with exit code 70 (use -v to see invocation)
clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205bda33a91fbe2ba5b4a5d6b823e5c23e8a)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-debug
Build config: +unoptimized, +assertions
clang-cl: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.sh
clang-cl: note: diagnostic msg:

********************

coroutine.cpp:

#include <coroutine>
#include <iostream>
#include <stdexcept>
#include <thread>
 
auto switch_to_new_thread(std::jthread& out)
{
    struct awaitable
    {
        std::jthread* p_out;
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h)
        {
            std::jthread& out = *p_out;
            if (out.joinable())
                throw std::runtime_error("Output jthread parameter not empty");
            out = std::jthread([h] { h.resume(); });
            // Potential undefined behavior: accessing potentially destroyed *this
            // std::cout << "New thread ID: " << p_out->get_id() << '\n';
            std::cout << "New thread ID: " << out.get_id() << '\n'; // this is OK
        }
        void await_resume() {}
    };
    return awaitable{&out};
}
 
struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};
 
task resuming_on_new_thread(std::jthread& out)
{
    std::cout << "Coroutine started on thread: " << std::this_thread::get_id() << '\n';
    co_await switch_to_new_thread(out);
    // awaiter destroyed here
    std::cout << "Coroutine resumed on thread: " << std::this_thread::get_id() << '\n';
}
 
int main()
{
    std::jthread out;
    resuming_on_new_thread(out);
}

To sum up all of the runs I performed, I attach this table:

<img width="798" height="869" alt="Image" src="https://github.com/user-attachments/assets/cd658338-4297-4571-b6bd-7a497129bd19" />

So I was able to compile coroutine_with_argument_having_deleter_and_move_ctor.cpp with Clang16.

I also tried to create the IR (in clang21 release, on coroutine_with_argument_having_deleter_and_move_ctor.cpp, both with optimizations on and without), and to track the IR creation and then IR compilation, a new error message emerged - error: invalid LLVM IR input: Instruction does not dominate all uses!:

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp /Os -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %18 = phi ptr [ %11, %10 ], [ %16, %15 ]
  %148 = getelementptr inbounds %"?resuming_on_new_thread@@<!-- -->YA?AUtask@@<!-- -->Vunique_ptr@@@<!-- -->Z.Frame", ptr %18, i32 0, i32 9
Unwind edges out of a funclet pad must have the same unwind dest
  %95 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %95) ]
          to label %96 unwind label %99
  cleanupret from %95 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller

1 error generated.

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug&gt;clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %3 = invoke noalias noundef nonnull dereferenceable(40) ptr @"??2@<!-- -->YAPEAX_K@<!-- -->Z"(i64 noundef 40) #<!-- -->9
          to label %4 unwind label %34
  %36 = getelementptr inbounds nuw i8, ptr %3, i64 32
Unwind edges out of a funclet pad must have the same unwind dest
  %7 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %7) ]
          to label %8 unwind label %9
  cleanupret from %7 unwind to caller

1 error generated.

[llvmbot]

@llvm/issue-subscribers-coroutines

Author: None (tzuralon)

Reproduces in llvm trunk (git commit e66c205), Release (but compiled with debug information, explained later why, and also reproduced in any clang release >16): ``` C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /EHa /Os /std:c++latest coroutine_with_unique_ptr_argument.cpp PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. Stack dump: 0. Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-release\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -Os -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name coroutine_with_unique_ptr_argument.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine_with_unique_ptr_argument-92b223.obj -x c++ coroutine_with_unique_ptr_argument.cpp 1. <eof> parser at end of file 2. Code generation 3. Running pass 'Function Pass Manager' on module 'coroutine_with_unique_ptr_argument.cpp'. 4. Running pass 'Greedy Register Allocator' on function '@"?resuming_on_new_thread@@YA?AUtask@@V?$unique_ptr@HU?$default_delete@H@std@@@std@@@Z"' Exception Code: 0xC0000005 #0 0x00007ff7825f3414 llvm::SplitEditor::deleteRematVictims(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x983414) #1 0x00007ff7825f4c02 llvm::SplitEditor::finish(class llvm::SmallVectorImpl<unsigned int> *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x984c02) #2 0x00007ff7823b9689 llvm::RAGreedy::splitAroundRegion(class llvm::LiveRangeEdit &, class llvm::ArrayRef<unsigned int>) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x749689) #3 0x00007ff7823b37d9 llvm::RAGreedy::doRegionSplit(class llvm::LiveInterval const &, unsigned int, bool, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x7437d9) #4 0x00007ff7823bd177 llvm::RAGreedy::tryRegionSplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d177) #5 0x00007ff7823bd3c6 llvm::RAGreedy::trySplit(class llvm::LiveInterval const &, class llvm::AllocationOrder &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74d3c6) #6 0x00007ff7823b8c9c llvm::RAGreedy::selectOrSplitImpl(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &, class llvm::SmallSet<class llvm::Register, 16, struct std::less<class llvm::Register>> &, class llvm::SmallVector<struct std::pair<class llvm::LiveInterval const *, class llvm::MCRegister>, 8> &, unsigned int) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748c9c) #7 0x00007ff7823b896a llvm::RAGreedy::selectOrSplit(class llvm::LiveInterval const &, class llvm::SmallVectorImpl<class llvm::Register> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x74896a) #8 0x00007ff7825ee15a llvm::RegAllocBase::allocatePhysRegs(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x97e15a) #9 0x00007ff7823b7fcc llvm::RAGreedy::run(class llvm::MachineFunction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x747fcc) #10 0x00007ff7823b8860 RAGreedyPass::run(class llvm::MachineFunction &, class llvm::AnalysisManager<class llvm::MachineFunction> &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x748860) #11 0x00007ff7823a5aad llvm::MachineFunctionPass::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x735aad) #12 0x00007ff7827cbaa1 llvm::FPPassManager::runOnFunction(class llvm::Function &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5baa1) #13 0x00007ff7827cbcc5 llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bcc5) #14 0x00007ff7827cbf2e llvm::FPPassManager::runOnModule(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5bf2e) #15 0x00007ff7827cb650 llvm::legacy::PassManager::run(class llvm::Module &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0xb5b650) #16 0x00007ff782fd473d clang::EmbedObject(class llvm::Module *, class clang::CodeGenOptions const &, class clang::DiagnosticsEngine &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x136473d) #17 0x00007ff782fd8729 llvm::DenseMapBase<class llvm::DenseMap<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>, class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>, struct llvm::DenseMapInfo<class llvm::Loop *, void>, struct llvm::detail::DenseMapPair<class llvm::Loop *, class std::list<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>, class std::allocator<struct std::pair<struct llvm::AnalysisKey *, class std::unique_ptr<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>, struct std::default_delete<struct llvm::detail::AnalysisResultConcept<class llvm::Loop, class llvm::AnalysisManager<class llvm::Loop, struct llvm::LoopStandardAnalysisResults &>::Invalidator>>>>>>>>::destroyAll(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368729) #18 0x00007ff782fd8e76 clang::emitBackendOutput(class clang::CompilerInstance &, class clang::CodeGenOptions &, class llvm::StringRef, class llvm::Module *, enum clang::BackendAction, class llvm::IntrusiveRefCntPtr<class llvm::vfs::FileSystem>, class std::unique_ptr<class llvm::raw_pwrite_stream, struct std::default_delete<class llvm::raw_pwrite_stream>>, class clang::BackendConsumer *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1368e76) #19 0x00007ff78378c62e clang::BackendConsumer::HandleTranslationUnit(class clang::ASTContext &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1c62e) #20 0x00007ff784669025 clang::ParseAST(class clang::Sema &, bool, bool) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x29f9025) #21 0x00007ff783a0ab3c clang::ASTFrontendAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9ab3c) #22 0x00007ff78378b36b clang::CodeGenAction::ExecuteAction(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1b1b36b) #23 0x00007ff783a0a9b4 clang::FrontendAction::Execute(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d9a9b4) #24 0x00007ff7839f110a clang::CompilerInstance::ExecuteAction(class clang::FrontendAction &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1d8110a) #25 0x00007ff783acf934 clang::ExecuteCompilerInvocation(class clang::CompilerInstance *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x1e5f934) #26 0x00007ff781d91f72 cc1_main(class llvm::ArrayRef<char const *>, char const *, void *) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x121f72) #27 0x00007ff781d8b612 clang::DiagnosticConsumer::EndSourceFile(void) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11b612) #28 0x00007ff781d8c710 clang_main(int, char **, struct llvm::ToolContext const &) (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x11c710) #29 0x00007ff781d9cbc4 main (C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release\clang-cl.exe+0x12cbc4) #30 0x00007ff785d78438 invoke_main D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:78:0 #31 0x00007ff785d78438 __scrt_common_main_seh D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:288:0 #32 0x00007ffc348be8d7 (C:\WINDOWS\System32\KERNEL32.DLL+0x2e8d7) #33 0x00007ffc35d1c34c (C:\WINDOWS\SYSTEM32\ntdll.dll+0x3c34c) clang-cl: error: clang frontend command failed due to signal (use -v to see invocation) clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205) Target: x86_64-pc-windows-msvc Thread model: posix InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-release clang-cl: note: diagnostic msg: ********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_unique_ptr_argument-a10a37.sh
clang-cl: note: diagnostic msg:

---

coroutine_with_unique_ptr_argument.cpp:
```cpp
#include <coroutine>
#include <memory>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

task resuming_on_new_thread(
    std::unique_ptr<int> x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    resuming_on_new_thread(
        {}
    );
}

I managed to reduce it to using some class having a move ctor + deleter in the dtor:
coroutine_with_argument_having_deleter_and_move_ctor.cpp:

//#include "memory.h"
#include <coroutine>

auto switch_to_new_thread()
{
    struct awaitable
    {
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {}
        void await_resume() {}
    };
    return awaitable{};
}

struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

class unique_ptr {
public:
    unique_ptr() = default;

    unique_ptr(unique_ptr&&) = default;

    ~unique_ptr() noexcept {
        delete ptr;
    }

private:
    int* ptr;
};

task resuming_on_new_thread(
    unique_ptr x
)
{
    co_await switch_to_new_thread();
}

int main()
{
    unique_ptr x;
    resuming_on_new_thread(
        std::move(x)
    );
}

In clang debug / clang release with assertions, both cpps cause clang to crash due to validation of the IR, with a different error message.
In that case, even the cppreference coroutines example attached emits the same validation error, of "Unwind edges out of a funclet pad must have the same unwind dest".

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-debug\clang-cl.exe /EHa /std:c++latest coroutine.cpp
Unwind edges out of a funclet pad must have the same unwind dest
  %9 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %9) ]
          to label %CoroEnd65 unwind label %ehcleanup44
  cleanupret from %9 unwind to caller
fatal error: error in backend: Broken function
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\clang-cl-debug\\clang-cl.exe -cc1 -triple x86_64-pc-windows-msvc19.38.33135 -emit-obj -mincremental-linker-compatible -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name coroutine.cpp -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -fms-volatile -funwind-tables=2 -target-cpu x86-64 -mllvm -x86-asm-syntax=intel -tune-cpu generic -D_MT -flto-visibility-public-std --dependent-lib=libcmt --dependent-lib=oldnames -stack-protector 2 -fcxx-exceptions -fexceptions -fasync-exceptions -fdiagnostics-format msvc -fdebug-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -fcoverage-compilation-dir=C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug -resource-dir C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21 -internal-isystem C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\lib\\clang\\21\\include -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\include" -internal-isystem "C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.38.33130\\atlmfc\\include" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\ucrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\shared" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\um" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\winrt" -internal-isystem "C:\\Program Files (x86)\\Windows Kits\\10\\Include\\10.0.22621.0\\cppwinrt" -fdeprecated-macro -ferror-limit 19 -fmessage-length=156 -fno-use-cxa-atexit -fms-extensions -fms-compatibility -fms-compatibility-version=19.38.33135 -std=c++26 -fno-implicit-modules -fskip-odr-check-in-gmf -fcolor-diagnostics -faddrsig -o C:\\Users\\tzura\\AppData\\Local\\Temp\\coroutine-40534e.obj -x c++ coroutine.cpp
1.      &lt;eof&gt; parser at end of file
2.      Optimizer
3.      Running pass "coro-cond(coro-early,cgscc(coro-split),coro-cleanup,globaldce)" on module "coroutine.cpp"
4.      Running pass "cgscc(coro-split)" on module "coroutine.cpp"
5.      While splitting coroutine @"?resuming_on_new_thread@@<!-- -->YA?AUtask@@<!-- -->AEAVjthread@<!-- -->std@@@<!-- -->Z"
clang-cl: error: clang frontend command failed with exit code 70 (use -v to see invocation)
clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205bda33a91fbe2ba5b4a5d6b823e5c23e8a)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\clang-cl-debug
Build config: +unoptimized, +assertions
clang-cl: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.cpp
clang-cl: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine-5a56db.sh
clang-cl: note: diagnostic msg:

********************

coroutine.cpp:

#include <coroutine>
#include <iostream>
#include <stdexcept>
#include <thread>
 
auto switch_to_new_thread(std::jthread& out)
{
    struct awaitable
    {
        std::jthread* p_out;
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h)
        {
            std::jthread& out = *p_out;
            if (out.joinable())
                throw std::runtime_error("Output jthread parameter not empty");
            out = std::jthread([h] { h.resume(); });
            // Potential undefined behavior: accessing potentially destroyed *this
            // std::cout << "New thread ID: " << p_out->get_id() << '\n';
            std::cout << "New thread ID: " << out.get_id() << '\n'; // this is OK
        }
        void await_resume() {}
    };
    return awaitable{&out};
}
 
struct task
{
    struct promise_type
    {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};
 
task resuming_on_new_thread(std::jthread& out)
{
    std::cout << "Coroutine started on thread: " << std::this_thread::get_id() << '\n';
    co_await switch_to_new_thread(out);
    // awaiter destroyed here
    std::cout << "Coroutine resumed on thread: " << std::this_thread::get_id() << '\n';
}
 
int main()
{
    std::jthread out;
    resuming_on_new_thread(out);
}

To sum up all of the runs I performed, I attach this table:

<img width="798" height="869" alt="Image" src="https://github.com/user-attachments/assets/cd658338-4297-4571-b6bd-7a497129bd19" />

So I was able to compile coroutine_with_argument_having_deleter_and_move_ctor.cpp with Clang16.

I also tried to create the IR (in clang21 release, on coroutine_with_argument_having_deleter_and_move_ctor.cpp, both with optimizations on and without), and to track the IR creation and then IR compilation, a new error message emerged - error: invalid LLVM IR input: Instruction does not dominate all uses!:

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp /Os -Xclang -emit-llvm -o coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %18 = phi ptr [ %11, %10 ], [ %16, %15 ]
  %148 = getelementptr inbounds %"?resuming_on_new_thread@@<!-- -->YA?AUtask@@<!-- -->Vunique_ptr@@@<!-- -->Z.Frame", ptr %18, i32 0, i32 9
Unwind edges out of a funclet pad must have the same unwind dest
  %95 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %95) ]
          to label %96 unwind label %99
  cleanupret from %95 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller
Unwind edges out of a funclet pad must have the same unwind dest
  %97 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %97) ]
          to label %98 unwind label %101
  cleanupret from %97 unwind to caller

1 error generated.

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug&gt;clang-cl-release\clang-cl.exe coroutine_with_argument_having_deleter_and_move_ctor_clang_trunk_optimized.ll
error: invalid LLVM IR input: Instruction does not dominate all uses!
  %3 = invoke noalias noundef nonnull dereferenceable(40) ptr @"??2@<!-- -->YAPEAX_K@<!-- -->Z"(i64 noundef 40) #<!-- -->9
          to label %4 unwind label %34
  %36 = getelementptr inbounds nuw i8, ptr %3, i64 32
Unwind edges out of a funclet pad must have the same unwind dest
  %7 = cleanuppad within none []
  invoke void @<!-- -->llvm.seh.scope.end() [ "funclet"(token %7) ]
          to label %8 unwind label %9
  cleanupret from %7 unwind to caller

1 error generated.

[tzuralon]

So I was able to relate the access violation SE (0xC0000005 - SplitEditor::deleteRematVictims) to the actual problem and a corresponding assertion.
The problem in SplitEditor::deleteRematVictims is in the line:

if (S.end != S.valno->def.getDeadSlot())

(SplitKit.cpp#1484)
And the problem is that S.valno is nullptr and can't be dereferenced.
The assertion:

assert(LR->verify());

(LiveInterval.cpp#1308)
catches it because of the following validation:

    if (I->valno == nullptr)
      return false;

(LiveInterval.cpp#1066)
The assertion output is:

# Machine code for function ?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z: NoPHIs, TracksLiveness, TiedOpsRewritten
Function Live Ins: $rcx in %2

bb.0.entry:
  successors: %bb.1(0x7ffff800), %bb.17(0x00000800); %bb.1(100.00%), %bb.17(0.00%)
  liveins: $rcx
  %2:gr64 = COPY killed $rcx
  JMP_1 %bb.1

bb.1.coro.alloc:
; predecessors: %bb.0
  successors: %bb.2(0x7ffff800), %bb.17(0x00000800); %bb.2(100.00%), %bb.17(0.00%)

  EH_LABEL <mcsymbol >
  EH_LABEL <mcsymbol >
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = MOV32ri64 40
  CALL64pcrel32 @"??2@YAPEAX_K@Z", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit-def $rsp, implicit-def $ssp, implicit-def $rax
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  %4:gr64 = COPY killed $rax
  EH_LABEL <mcsymbol >
  %0:gr64 = COPY %4:gr64
  EH_LABEL <mcsymbol >
  JMP_1 %bb.2

bb.2.PostSpill:
; predecessors: %bb.1
  successors: %bb.3(0x7ffff800), %bb.15(0x00000800); %bb.3(100.00%), %bb.15(0.00%)

  EH_LABEL <mcsymbol >
  %5:gr64 = LEA64r $rip, 1, $noreg, @"?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z.resume", $noreg
  MOV64mr %0:gr64, 1, $noreg, 0, $noreg, killed %5:gr64 :: (store (s64) into %ir.call)
  %6:gr64 = LEA64r $rip, 1, $noreg, @"?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z.destroy", $noreg
  MOV64mr %0:gr64, 1, $noreg, 8, $noreg, killed %6:gr64 :: (store (s64) into %ir.destroy.addr)
  MOV64mr %0:gr64, 1, $noreg, 32, $noreg, %2:gr64 :: (store (s64) into %ir.x.spill.addr)
  EH_LABEL <mcsymbol >
  JMP_1 %bb.3

bb.3.invoke.cont2:
; predecessors: %bb.2
  successors: %bb.4(0x7ffff800), %bb.14(0x00000800); %bb.4(100.00%), %bb.14(0.00%)

  EH_LABEL <mcsymbol >
  %1:gr64 = COPY killed %4:gr64
  %1:gr64 = nuw ADD64ri32 %1:gr64(tied-def 0), 24, implicit-def dead $eflags
  %7:gr64 = MOV64rm %2:gr64, 1, $noreg, 0, $noreg :: (load (s64) from %ir.x)
  MOV64mr %1:gr64, 1, $noreg, 0, $noreg, killed %7:gr64 :: (store (s64) into %ir.x3.reload.addr)
  EH_LABEL <mcsymbol >
  JMP_1 %bb.4

bb.4.invoke.cont5:
; predecessors: %bb.3
  successors: %bb.5(0x7ffff800), %bb.13(0x00000800); %bb.5(100.00%), %bb.13(0.00%)

  JMP_1 %bb.5

bb.5.init.ready:
; predecessors: %bb.4
  successors: %bb.6(0x7ffff400), %bb.7(0x00000800), %bb.13(0x00000400); %bb.6(100.00%), %bb.7(0.00%), %bb.13(0.00%)

  JMP_1 %bb.6

bb.6.AfterCoroSuspend:
; predecessors: %bb.5
  successors: %bb.16(0x7ffff800), %bb.17(0x00000800); %bb.16(100.00%), %bb.17(0.00%)

  EH_LABEL <mcsymbol >
  MOV8mi %0:gr64, 1, $noreg, 17, $noreg, 0 :: (store (s8) into %ir.index.addr56)
  EH_LABEL <mcsymbol >
  JMP_1 %bb.16

bb.7.invoke.cont21 (landing-pad, ehfunclet-entry):
; predecessors: %bb.5
  successors: %bb.8(0x7ffff800), %bb.13(0x00000800); %bb.8(100.00%), %bb.13(0.00%)

  JMP_1 %bb.8

bb.8.invoke.cont22:
; predecessors: %bb.7
  successors: %bb.9(0x80000000); %bb.9(100.00%)

  CATCHRET %bb.9, %bb.0

bb.9.final.ready:
; predecessors: %bb.8
  successors: %bb.10(0x7ffff800), %bb.13(0x00000800); %bb.10(100.00%), %bb.13(0.00%)

  JMP_1 %bb.10

bb.10.cleanup31:
; predecessors: %bb.9
  successors: %bb.11(0x7ffff800), %bb.14(0x00000800); %bb.11(100.00%), %bb.14(0.00%)

  JMP_1 %bb.11

bb.11.invoke.cont34:
; predecessors: %bb.10
  successors: %bb.12(0x7ffff800), %bb.15(0x00000800); %bb.12(100.00%), %bb.15(0.00%)

  EH_LABEL <mcsymbol >
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = COPY killed %1:gr64
  CALL64pcrel32 @"??1unique_ptr@@QEAA@XZ", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit-def $rsp, implicit-def $ssp
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  EH_LABEL <mcsymbol >
  JMP_1 %bb.12

bb.12.coro.free:
; predecessors: %bb.11
  successors: %bb.16(0x7ffff800), %bb.17(0x00000800); %bb.16(100.00%), %bb.17(0.00%)

  EH_LABEL <mcsymbol >
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = COPY %0:gr64
  $rdx = MOV32ri64 40
  CALL64pcrel32 @"??3@YAXPEAX_K@Z", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit killed $rdx, implicit-def $rsp, implicit-def $ssp
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  EH_LABEL <mcsymbol >
  JMP_1 %bb.16

bb.13.ehcleanup29 (machine-block-address-taken, landing-pad, ehfunclet-entry):
; predecessors: %bb.4, %bb.5, %bb.7, %bb.9
  successors: %bb.14(0x80000000); %bb.14(100.00%)

  CLEANUPRET

bb.14.ehcleanup35 (machine-block-address-taken, landing-pad, ehfunclet-entry):
; predecessors: %bb.3, %bb.10, %bb.13
  successors: %bb.15(0x80000000); %bb.15(100.00%)

  EH_LABEL <mcsymbol >
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = COPY killed %1:gr64
  CALL64pcrel32 @"??1unique_ptr@@QEAA@XZ", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit-def $rsp, implicit-def $ssp
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  EH_LABEL <mcsymbol >
  CLEANUPRET

bb.15.ehcleanup43 (machine-block-address-taken, landing-pad, ehfunclet-entry):
; predecessors: %bb.2, %bb.11, %bb.14
  successors: %bb.17(0x80000000); %bb.17(100.00%)

  EH_LABEL <mcsymbol >
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = COPY %0:gr64
  $rdx = MOV32ri64 40
  CALL64pcrel32 @"??3@YAXPEAX_K@Z", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit killed $rdx, implicit-def $rsp, implicit-def $ssp
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  EH_LABEL <mcsymbol >
  CLEANUPRET

bb.16.invoke.cont48:
; predecessors: %bb.6, %bb.12

  EH_LABEL <mcsymbol >
  $rcx = COPY killed %2:gr64
  EH_LABEL <mcsymbol >
  TCRETURNdi64 @"??1unique_ptr@@QEAA@XZ", 0, <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx

bb.17.ehcleanup49 (machine-block-address-taken, landing-pad, ehfunclet-entry):
; predecessors: %bb.0, %bb.1, %bb.15, %bb.6, %bb.12

  EH_LABEL <mcsymbol >
  %10:gr64 = MOV64rm %0:gr64, 1, $noreg, 32, $noreg :: (load (s64) from %ir.x.reload.addr)
  ADJCALLSTACKDOWN64 32, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  $rcx = COPY killed %10:gr64
  CALL64pcrel32 @"??1unique_ptr@@QEAA@XZ", <regmask $bh $bl $bp $bph $bpl $bx $di $dih $dil $ebp $ebx $edi $esi $hbp $hbx $hdi $hsi $rbp $rbx $rdi $rsi $si $sih $sil $r12 $r13 $r14 $r15 $xmm6 $xmm7 $xmm8 $xmm9 $xmm10 and 25 more...>, implicit $rsp, implicit $ssp, implicit killed $rcx, implicit-def $rsp, implicit-def $ssp
  ADJCALLSTACKUP64 32, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
  EH_LABEL <mcsymbol >
  CLEANUPRET

# End machine code for function ?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z.

*** Bad machine code: Virtual register defs don't dominate all uses. ***
- function:    ?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z
- v. register: %0
fatal error: error in backend: Found 1 machine code errors.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: C:\\Dev\\GitHub\\llvm\\llvm-project\\build\\Debug\\bin\\clang.exe /c /EHa /Os /std:c++latest C:\\Dev\\Projects\\clang_asynch_exceptions_coroutines_bug\\coroutine_with_argument_having_deleter_and_move_ctor.cpp --driver-mode=cl
1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module 'C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug\coroutine_with_argument_having_deleter_and_move_ctor.cpp'.
4.      Running pass 'Live Interval Analysis' on function '@"?resuming_on_new_thread@@YA?AUtask@@Vunique_ptr@@@Z"'
Exception Code: 0xE0000046
 #0 0x00007ffd0d437f9a (C:\WINDOWS\System32\KERNELBASE.dll+0xc7f9a)
 #1 0x00007ff71e09fe27 llvm::CrashRecoveryContext::HandleExit(int) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\Support\CrashRecoveryContext.cpp:446:0
 #2 0x00007ff71e0a23ed llvm::sys::Process::Exit(int, bool) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\Support\Process.cpp:114:0
 #3 0x00007ff71b449ab9 LLVMErrorHandler C:\Dev\GitHub\llvm\llvm-project\clang\tools\driver\cc1_main.cpp:81:0
 #4 0x00007ff71e0b1b56 llvm::report_fatal_error(class llvm::Twine const &, bool) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\Support\ErrorHandling.cpp:105:0
 #5 0x00007ff71caad22d `anonymous namespace'::MachineVerifier::ReportedErrors::~ReportedErrors C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\MachineVerifier.cpp:262:0
 #6 0x00007ff71cac26a0 `anonymous namespace'::MachineVerifier::~MachineVerifier (C:\Dev\GitHub\llvm\llvm-project\build\Debug\bin\clang.exe+0x1cd26a0)
 #7 0x00007ff71caaa90a llvm::MachineFunction::verify(class llvm::Pass *, char const *, class llvm::raw_ostream *, bool) const C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\MachineVerifier.cpp:429:0
 #8 0x00007ff71d0b1bb4 llvm::LiveRangeCalc::findReachingDefs(class llvm::LiveRange &, class llvm::MachineBasicBlock &, class llvm::SlotIndex, class llvm::Register, class llvm::ArrayRef<class llvm::SlotIndex>) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveRangeCalc.cpp:211:0
 #9 0x00007ff71d0b391a llvm::LiveRangeCalc::extend(class llvm::LiveRange &, class llvm::SlotIndex, class llvm::Register, class llvm::ArrayRef<class llvm::SlotIndex>) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveRangeCalc.cpp:104:0
#10 0x00007ff71d0f008e llvm::LiveIntervalCalc::extendToUses(class llvm::LiveRange &, class llvm::Register, struct llvm::LaneBitmask, class llvm::LiveInterval *) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervalCalc.cpp:193:0
#11 0x00007ff71d0f07d5 llvm::LiveIntervalCalc::calculate(class llvm::LiveInterval &, bool) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervalCalc.cpp:103:0
#12 0x00007ff71cc3c89e llvm::LiveIntervals::computeVirtRegInterval(class llvm::LiveInterval &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervals.cpp:234:0
#13 0x00007ff71cc3ac93 llvm::LiveIntervals::computeVirtRegs(void) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervals.cpp:243:0
#14 0x00007ff71cc3618e llvm::LiveIntervals::analyze(class llvm::MachineFunction &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervals.cpp:174:0
#15 0x00007ff71cc3dbd2 llvm::LiveIntervalsWrapperPass::runOnMachineFunction(class llvm::MachineFunction &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\LiveIntervals.cpp:92:0
#16 0x00007ff71c71edc4 llvm::MachineFunctionPass::runOnFunction(class llvm::Function &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\CodeGen\MachineFunctionPass.cpp:108:0
#17 0x00007ff71d30616e llvm::FPPassManager::runOnFunction(class llvm::Function &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\IR\LegacyPassManager.cpp:1407:0
#18 0x00007ff71d306550 llvm::FPPassManager::runOnModule(class llvm::Module &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\IR\LegacyPassManager.cpp:1453:0
#19 0x00007ff71d309355 `anonymous namespace'::MPPassManager::runOnModule C:\Dev\GitHub\llvm\llvm-project\llvm\lib\IR\LegacyPassManager.cpp:1522:0
#20 0x00007ff71d30a255 llvm::legacy::PassManagerImpl::run(class llvm::Module &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\IR\LegacyPassManager.cpp:540:0
#21 0x00007ff71d2ff72c llvm::legacy::PassManager::run(class llvm::Module &) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\IR\LegacyPassManager.cpp:1650:0
#22 0x00007ff71eb1a7db `anonymous namespace'::EmitAssemblyHelper::RunCodegenPipeline C:\Dev\GitHub\llvm\llvm-project\clang\lib\CodeGen\BackendUtil.cpp:1263:0
#23 0x00007ff71eb1acad `anonymous namespace'::EmitAssemblyHelper::emitAssembly C:\Dev\GitHub\llvm\llvm-project\clang\lib\CodeGen\BackendUtil.cpp:1288:0
#24 0x00007ff71eb16287 clang::emitBackendOutput(class clang::CompilerInstance &, class clang::CodeGenOptions &, class llvm::StringRef, class llvm::Module *, enum clang::BackendAction, class llvm::IntrusiveRefCntPtr<class llvm::vfs::FileSystem>, class std::unique_ptr<class llvm::raw_pwrite_stream, struct std::default_delete<class llvm::raw_pwrite_stream>>, class clang::BackendConsumer *) C:\Dev\GitHub\llvm\llvm-project\clang\lib\CodeGen\BackendUtil.cpp:1455:0
#25 0x00007ff71fad4566 clang::BackendConsumer::HandleTranslationUnit(class clang::ASTContext &) C:\Dev\GitHub\llvm\llvm-project\clang\lib\CodeGen\CodeGenAction.cpp:320:0
#26 0x00007ff7226d07cd clang::ParseAST(class clang::Sema &, bool, bool) C:\Dev\GitHub\llvm\llvm-project\clang\lib\Parse\ParseAST.cpp:190:0
#27 0x00007ff72006b141 clang::ASTFrontendAction::ExecuteAction(void) C:\Dev\GitHub\llvm\llvm-project\clang\lib\Frontend\FrontendAction.cpp:1341:0
#28 0x00007ff71fad1947 clang::CodeGenAction::ExecuteAction(void) C:\Dev\GitHub\llvm\llvm-project\clang\lib\CodeGen\CodeGenAction.cpp:1112:0
#29 0x00007ff72006aa34 clang::FrontendAction::Execute(void) C:\Dev\GitHub\llvm\llvm-project\clang\lib\Frontend\FrontendAction.cpp:1225:0
#30 0x00007ff720029df7 clang::CompilerInstance::ExecuteAction(class clang::FrontendAction &) C:\Dev\GitHub\llvm\llvm-project\clang\lib\Frontend\CompilerInstance.cpp:1055:0
#31 0x00007ff72034c930 clang::ExecuteCompilerInvocation(class clang::CompilerInstance *) C:\Dev\GitHub\llvm\llvm-project\clang\lib\FrontendTool\ExecuteCompilerInvocation.cpp:300:0
#32 0x00007ff71b44b5b3 cc1_main(class llvm::ArrayRef<char const *>, char const *, void *) C:\Dev\GitHub\llvm\llvm-project\clang\tools\driver\cc1_main.cpp:297:0
#33 0x00007ff71b57f41b ExecuteCC1Tool C:\Dev\GitHub\llvm\llvm-project\clang\tools\driver\driver.cpp:223:0
#34 0x00007ff71b581661 `clang_main'::`2'::<lambda_1>::operator() C:\Dev\GitHub\llvm\llvm-project\clang\tools\driver\driver.cpp:369:0
#35 0x00007ff71b43bb3e llvm::function_ref<int __cdecl(llvm::SmallVectorImpl<char const *> &)>::callback_fn<`clang_main'::`2'::<lambda_1> > C:\Dev\GitHub\llvm\llvm-project\llvm\include\llvm\ADT\STLFunctionalExtras.h:48:0
#36 0x00007ff71fd66a2e llvm::function_ref<(class llvm::SmallVectorImpl<char const *> &)>::operator()(class llvm::SmallVectorImpl<char const *> &) const C:\Dev\GitHub\llvm\llvm-project\llvm\include\llvm\ADT\STLFunctionalExtras.h:70:0
#37 0x00007ff71fd62691 `clang::driver::CC1Command::Execute'::`7'::<lambda_1>::operator() C:\Dev\GitHub\llvm\llvm-project\clang\lib\Driver\Job.cpp:436:0
#38 0x00007ff71fd65b74 llvm::function_ref<void __cdecl(void)>::callback_fn<`clang::driver::CC1Command::Execute'::`7'::<lambda_1> > C:\Dev\GitHub\llvm\llvm-project\llvm\include\llvm\ADT\STLFunctionalExtras.h:48:0
#39 0x00007ff71c2f6054 llvm::function_ref<(void)>::operator()(void) const C:\Dev\GitHub\llvm\llvm-project\llvm\include\llvm\ADT\STLFunctionalExtras.h:70:0
#40 0x00007ff71e09fc3b llvm::CrashRecoveryContext::RunSafely(class llvm::function_ref<(void)>) C:\Dev\GitHub\llvm\llvm-project\llvm\lib\Support\CrashRecoveryContext.cpp:235:0
#41 0x00007ff71fd60564 clang::driver::CC1Command::Execute(class llvm::ArrayRef<class std::optional<class llvm::StringRef>>, class std::basic_string<char, struct std::char_traits<char>, class std::allocator<char>> *, bool *) const C:\Dev\GitHub\llvm\llvm-project\clang\lib\Driver\Job.cpp:436:0
#42 0x00007ff71fbf696e clang::driver::Compilation::ExecuteCommand(class clang::driver::Command const &, class clang::driver::Command const *&, bool) const C:\Dev\GitHub\llvm\llvm-project\clang\lib\Driver\Compilation.cpp:196:0
#43 0x00007ff71fbf6bea clang::driver::Compilation::ExecuteJobs(class clang::driver::JobList const &, class llvm::SmallVectorImpl<struct std::pair<int, class clang::driver::Command const *>> &, bool) const C:\Dev\GitHub\llvm\llvm-project\clang\lib\Driver\Compilation.cpp:251:0
#44 0x00007ff71fb80dfd clang::driver::Driver::ExecuteCompilation(class clang::driver::Compilation &, class llvm::SmallVectorImpl<struct std::pair<int, class clang::driver::Command const *>> &) C:\Dev\GitHub\llvm\llvm-project\clang\lib\Driver\Driver.cpp:2241:0
#45 0x00007ff71b581256 clang_main(int, char **, struct llvm::ToolContext const &) C:\Dev\GitHub\llvm\llvm-project\clang\tools\driver\driver.cpp:406:0
#46 0x00007ff71b437ea5 main C:\Dev\GitHub\llvm\llvm-project\build\tools\clang\tools\driver\clang-driver.cpp:20:0
#47 0x00007ff7268dde89 invoke_main D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:79:0
#48 0x00007ff7268ddd6e __scrt_common_main_seh D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:288:0
#49 0x00007ff7268ddc2e __scrt_common_main D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl:331:0
#50 0x00007ff7268ddf1e mainCRTStartup D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_main.cpp:17:0
#51 0x00007ffd0e77e8d7 (C:\WINDOWS\System32\KERNEL32.DLL+0x2e8d7)
#52 0x00007ffd0ff9c34c (C:\WINDOWS\SYSTEM32\ntdll.dll+0x3c34c)
clang: error: clang frontend command failed with exit code 70 (use -v to see invocation)
clang version 21.0.0git (https://github.com/llvm/llvm-project.git e66c205bda33a91fbe2ba5b4a5d6b823e5c23e8a)
Target: x86_64-pc-windows-msvc
Thread model: posix
InstalledDir: C:\Dev\GitHub\llvm\llvm-project\build\Debug\bin
Build config: +unoptimized, +assertions
clang: note: diagnostic msg:
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_argument_having_deleter_and_move_ctor-9abf08.cpp
clang: note: diagnostic msg: C:\Users\tzura\AppData\Local\Temp\coroutine_with_argument_having_deleter_and_move_ctor-9abf08.sh
clang: note: diagnostic msg:

********************

The assertion was preempted by another assertions, for example:

if (verifyFunction(F, &errs()))
  report_fatal_error("Broken function");

(CoroSplit.cpp#1173)
that it's output is:

Unwind edges out of a funclet pad must have the same unwind dest
  %1 = cleanuppad within none []
  invoke void @llvm.seh.scope.end() [ "funclet"(token %1) ]
          to label %CoroEnd54 unwind label %ehcleanup35
  cleanupret from %1 unwind to caller
fatal error: error in backend: Broken function

I still don't know if it's related to the problem I'm facing or just hides it as it preempts it, because it reproduces also on good inputs that compile (as I mentioned in the issue description, the cppreference coroutines example compile in Release, but hit on assertions in Release with assertions).

So I currently believe that the best way to reproduce it is by producing the IR and then trying the compile it, as I did in the issue description end, which reproduced the IR error:

error: invalid LLVM IR input: Instruction does not dominate all uses!

The non-optimizied IR: https://llvm.godbolt.org/z/c4hzoxaxW
The optimized IR: https://llvm.godbolt.org/z/hjEPzWMhK

I still don't understand why the non-optimized IR fails compilation, but succeed when I don't emit the IR and compile it all the way:

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>clang-cl-release\clang-cl.exe /c /EHa /std:c++latest coroutine_with_argument_having_deleter_and_move_ctor.cpp

C:\Dev\Projects\clang_asynch_exceptions_coroutines_bug>echo %ERRORLEVEL%
0

From brief look it seems that some cleanup block is shared between either new was run indeed or not.
I plan to focus on the IR, reduce it and understand what is the root cause.

[efriedma-quic]

You usually want to start looking with the earliest assertion/error you can find. A verifier error indicate something has already gone wrong, and optimization passes will assume the invariants asserted by the verifier hold.

[tzuralon]

Will do, thanks!
I used llvm-reduce (IR created initially with -disable-llvm-optzns) of both validation errors.
The earliest assertion is the Unwind edges out of a funclet pad must have the same unwind dest, reproduces on coroutine.cpp IR: https://llvm.godbolt.org/z/TTcxdoE9s
The other assertion (which I suspect of causing the null dereference) is the Instruction does not dominate all uses!, reproduces on coroutine_with_argument_having_deleter_and_move_ctor.cpp IR: https://llvm.godbolt.org/z/q6M7bhMMs
The reproduction is composed out of optimizer pass run with coro-split with disabled verification, then a run of llc which crashes.

[efriedma-quic]

CC @ChuanqiXu9