[PATCH] D39551: [analyzer] Make __builtin_debugtrap() a sink

[Gábor Horváth via Phabricator via cfe-commits]

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