Hacker News Reader

The linked articles by Chris Lattner explain why this is very difficult.

http://blog.llvm.org/2011/05/what-every-c-programmer-should-...

Is it true that undesirable UB exploitation often happens after macroexpansion and inlining, and doesn't make any actual source lines unreachable? Are there any simple examples of that?

Does this example help?

http://markshroyer.com/2012/06/c-both-true-and-false/

Yeah. Thanks!

Reply on news.ycombinator.com