JosephTremoulet added a comment. > > Also, is a plain 'ret' allowed to implicitly close all catches/cleanups, or is it UB to return without catchret/cleanupret? > > > Executing that ret would be UB. Should the langref indicate this? I don't see anywhere that it currently does. http://reviews.llvm.org/D11097