I guess this is OK for now. We really need to revisit the design of lifetime.end and start. We might want to invent something much more limited to describe the scope of stack objects, instead of having this general thing intended to describe heap allocations as well. http://reviews.llvm.org/D4699