Можно ли всегда сравнивать указатель объекта с nullptr в константном выражении?

Следующая программа была сокращена, чтобы продемонстрировать вопрос. struct A имеет функцию-член constexpr, которая сравнивает this с некоторым указателем, которым может быть nullptr. Затем эта функция-член вызывается для временного объекта (принимая адрес rvalue) внутри постоянного выражения:

struct A {
    A * a = nullptr; // in real program this pointer can be changed
    constexpr bool f() {
        return a != this;
    }
};

static_assert( A{}.f() );

Clang и MSVC с этим согласны, но GCC не нравится этот код, и он жалуется:

<source>:8:21: error: non-constant condition for static assertion
    8 | static_assert( A{}.f() );
      |                ~~~~~^~
<source>:4:18: error: '((&<anonymous>) != 0)' is not a constant expression
    4 |         return a != this;

Онлайн-демо: https://gcc.godbolt.org/z/evK1Y1r8e

Это хорошо составленная программа? Или перед сравнением в константном выражении всегда необходимо проверять, чтобы указатели не были nullptr?