https://github.com/erichkeane commented: The test should also validate the non-catch case! The destruction order is also relevant for the 'try' block's cleanup as well. So there is probably two different 'check' sections here that need to happen. https://github.com/llvm/llvm-project/pull/77637