Указатель может быть == nullptr.
если ваша функция принимает указатели, вы обязаны проверить, что там не nullptr, иначе что-то точно пойдёт не так.
на слух это звучит весьма просто, однако часто встречается проверка на 0 после разыменования, и другие интересные радости жизни.