Really nice summary of undefined behavior. Just realized this is posted by Chris Lattner himself.