dcoughlin added a comment. Thanks Yuri! This looks great. Can you also add a test to tests/analysis/NoReturn.m for this? You can follow the example of test_wassert there. Repository: rL LLVM http://reviews.llvm.org/D15810