xazax.hun added a comment. In the meantime, I found this discussion: http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20121015/153735.html It looks like the reasoning behind this intrinsic not being noreturn is that the user might continue the execution in the debugger. I think the main reason behind not marking this noreturn is to not allow the optimizer to remove code based on the usage of this builtin and thus prohibit debugging certain part of the code. But it still might make sense to treat this builtin as a sink in the analyzer. What do you think?
https://reviews.llvm.org/D39551 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
