Makes totally sense because in many situations the compiler cannot know whether it is allocated or not.