MSVC?のconstexprの挙動について

Question

constexprの挙動について

Visual Studio 2019を用いてenumを管理するようなプログラムをC++14で書いたのですが、constexprとそうでないものの結果が異なり困っています。なお、Wandboxを使ってGCCとClangで試してみたところ、結果は同じ(どちらも1)でした。
実行時のデバッグでは正しい値が帰ってくるのですが、肝心なコンパイル時にどういう挙動をしているかをのぞけないため、解決できずに質問した次第です。
解決策等ご教示いただけると幸いです。

該当のソースコード

タイムアウトしたためリンクが変更されています。また、期間を延ばしました
*** ヘッダファイル側:Pastebin ***

enum class test
{
	v0, v1, v2, v4 = 4, v8 = 8, v16 = 16, v32 = 32
};
ENUM2_ENUM(test)
constexpr inline decltype(auto) get_flags(test) noexcept
{
	using enum2::blk;
	return enum2::blk_cat(
		blk(test::v1, 100, test::v2, test::v4, test::v32), //test::v1とtest::v2,test::v4,test::v32は共存できない
		blk(enum2::force_or(test::v2, test::v4), 100, false, test::v8),//test::v2とtest::test::v4はtest::v8と共存できない
		blk(enum2::force_or(test::v16, test::v2), 100, test::v32)  //(test::v16|test::v2)はtest::v32とは共存できない
	);
}
#include <iostream>

int main()
{
	constexpr test v0 = test::v0 | test::v1 | test::v2; //3
	test v1 = test::v0 | test::v1 | test::v2; //1

	std::cout << static_cast<int>(v0) << static_cast<int>(v1);

	return 0;
}

MSVCの情報

Microsoft Visual Studio Community 2019
Version 16.2.3
VisualStudio.16.Release/16.2.3+29215.179
Microsoft .NET Framework
Version 4.7.03062

インストールされているバージョン:Community

Visual C++ 2019 00435-60000-00000-AA041
Microsoft Visual C++ 2019
(以下略)

###追記
「結果が異なる」のはconstexpr側では結果が3、そうでない側では1(意図した結果)になります。
###追記2
pastebinのリンクがタイムアウトしてしまった(一日経過してしまった)ので更新しました。

Comments

[y_waiwai]

どういうふうに結果が違うんでしょうか

[aptx42]

ご返信ありがとうございます。
constexpr側では結果が3、そうでない側では1(意図した結果)になります。(コメントにてうっすら書いたのですが、わかりにくくて申し訳ないです)

[SHOMI]

constexpr test_holder v0 = test::v0 | test::v1 | test::v2;
とするとtest::v1になりますね…
(追記)
すみません、IntelliSense上ではtest::v1になっていましたが、実際は3でした…

[aptx42]

検証感謝いたします。こちらの環境もIntelliSenseは正しい値を認識できているのですがうーん

Answer 1

バグレポ(クソ英語注意)コンパイル時にSwallowを正しく評価できないMSVCのバグだったようです。お騒がせしました

Answer 2

たぶんtest v0 =ではなくtest_holder v0 =としないといけないと思います。

	constexpr auto v0 = test::v0 | test::v1 | test::v2; //3
	auto v1 = test::v0 | test::v1 | test::v2; //1

と、autoで推論させると、v0とv1はtest_holderになります。
こうすると結果は共に「1」になります。

Comments

[aptx42]

回答ありがとうございます。autoで型推論(=test_holder)にすると出力結果が1になるのは、おそらくholderにoperator bool()が定義されているためです。実際
```c++
auto kx = (test::v1 | test::v8) & test::v8;
std::cout << static_cast<int>(kx);
```
こういうコードを書くと出力は1(8!=0であるから)となります。