Moxinilian wrote: > I don't think so: it highly depends on the semantics of async here. I think this is the core of the problem here: we do not agree on what counts as a control-flow path. Let’s just agree to disagree. https://github.com/llvm/llvm-project/pull/89107