Здравствуйте, prezident.mira, Вы писали:

PM>А есть ли здесь UB? Т.к. просто применение оператора * к нулевому указателю UB не является (несмотря на широко распространённое поверие, что является).

я придерживаюсь противоположной точки зрения. можно ознакомиться здесь: https://stackoverflow.com/questions/28573215/is-dereferencing-a-pointer-thats-equal-to-nullptr-undefined-behavior-by-the-sta
и в C и в C++ разыменование нулевого указателя — UB имхо
однако считаю, что стандарту следует быть более точным в формулировках относительно данного вопроса