On 23 Aug 2009, at 17:41, Greg Stark wrote:>> Do you know how to teach clang about functions which never return?
http://clang-analyzer.llvm.org/annotations.html#attr_noreturn