Все являются действительными утверждениями, так как вы не разыменовываете их, потому что все указатели остаются неинициализированными или не указывают ни на какие допустимые области памяти.
И они действительны, потому что указатель не является постоянным, а значение, на которое указывает указатель, является постоянным.Таким образом, указатели здесь переназначаются, чтобы указывать на другое местоположение.