This blog post (the third in a series about undefined behavior) talks about why compilers don't always warn on undefined behavior, even when they exploit it: http://blog.llvm.org/2011/05/what-every-c-programmer-should-...