Может ли функция constexpr содержать метку?

Question

Эта программа :

constexpr void f() { x: ; }

скомпилирован gcc, но clang говорит:

error: statement not allowed in constexpr function

Так действителен ли этот код?

Answer 1

Как указано в комментарии Натана Пирсона , Clang правильный, а код плохо сформирован. Согласно текущему рабочему проекту (который включает C ++ 20), dcl.constexpr # 3 говорит:

Определение функции constexpr должно удовлетворять следующим требованиям:

...

его функциональное тело не должно включать

...

метка идентификатора,

...

...