是否可以在 constexpr 上下文中使用使用导致未指定（不是未定义！）行为的指针的表达式？

Question

根据 cpp 偏好（强调我的）：

核心常量表达式是指在任何子表达式中不包含以下任何一项的任何表达式...)

另一方面，指针上有几个表达式的结果不是未定义的，而是未指定的(参见[expr.rel]/3)，例如:

struct A {
    int v;
};

struct B {
    int v;
};

struct C: A, B {} c;

int main() {
    constexpr bool result = &c.A::v < &c.B::v;
    (void)result;
}

代码编译时没有 gcc 的问题，但不是 clang 的编译，它陈述了毫无疑问是正确的：

不同基类的子对象的地址比较有未指定的

但是(据我理解)根据cppreference，它不应该阻止编译器编译代码。

哪个编译器是正确的- gcc还是clang？我是否过度解读了cppreference？

Answer 1

除了关于UB的包罗万象的情况之外，[expr.const]中禁止表达的列表的末尾是，

-结果未指定的关系或等号操作符

这也出现在cp首选项列表中，当前编号为#19。