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

DG>Должен ли по стандарту работать следующий код?

Давай перепишем и посмотрим причём тут стандарт:

struct SA
{
  void Func(); //невиртуальная и не важно
  static void StaticFunc();
};

void f(SA*)
{
  SA->Func(); // откуда компилятору знать, что у программера на уме
}

void main()
{
  SA::StaticFunc(); // можно обойтись и без объекта
  f((SA*)0);        // мало ли чего можно компилятору подсунуть
}