================
@@ -1091,3 +1091,56 @@ namespace GH178324 {
template <class> void c() { decltype(a(current()))::e; }
} // namespace GH178324
#endif
+
+namespace GH122657 {
+template <unsigned long long n>
+struct Sized {
+ char data[n];
+};
+
+template <typename T>
+int baz() {
+ static constexpr auto funcSize = sizeof(__func__);
+ static constexpr auto functionSize = sizeof(__FUNCTION__);
+ static constexpr auto prettySize = sizeof(__PRETTY_FUNCTION__);
+
+ auto lfunc = []() noexcept(sizeof(__func__) == funcSize) ->
Sized<sizeof(__func__)> { return {}; };
+ auto lfunction = []() noexcept(sizeof(__FUNCTION__) == functionSize) ->
Sized<sizeof(__FUNCTION__)> { return {}; };
+ auto lpretty = []() noexcept(sizeof(__PRETTY_FUNCTION__) == prettySize) ->
Sized<sizeof(__PRETTY_FUNCTION__)> { return {}; };
+
+ static_assert(sizeof(lfunc()) == 5, "baz");
+ static_assert(noexcept(lfunc()) == true, "noexcept");
+
+ static_assert(sizeof(lfunction()) == 5, "baz");
+ static_assert(noexcept(lfunction()) == true, "noexcept");
+
+ static_assert(sizeof(lpretty()) == 43, "int GH122657::baz() [T =
int]_block_invoke");
+ static_assert(noexcept(lpretty()) == true, "noexcept");
+
+ return 0;
+}
+
+int main() {
+ static constexpr auto funcSize = sizeof(__func__);
+ static constexpr auto functionSize = sizeof(__FUNCTION__);
+ static constexpr auto prettySize = sizeof(__PRETTY_FUNCTION__);
+
+ auto lfunc = []() noexcept(sizeof(__func__) == funcSize) ->
Sized<sizeof(__func__)> { return {}; };
+ auto lfunction = []() noexcept(sizeof(__FUNCTION__) == functionSize) ->
Sized<sizeof(__FUNCTION__)> { return {}; };
+ auto lpretty = []() noexcept(sizeof(__PRETTY_FUNCTION__) == prettySize) ->
Sized<sizeof(__PRETTY_FUNCTION__)> { return {}; };
+
+ static_assert(sizeof(lfunc()) == 5, "main");
+ static_assert(noexcept(lfunc()) == true, "noexcept");
+
+#ifdef MS
+ static_assert(sizeof(lfunction()) == 15, "main");
+#else
+ static_assert(sizeof(lfunction()) == 5, "main");
+#endif
+ static_assert(noexcept(lfunction()) == true, "noexcept");
+
+ static_assert(sizeof(lpretty()) == 21, "int GH122657::main()");
+ static_assert(noexcept(lpretty()) == true, "noexcept");
+ return 0;
+}
+} // namespace GH122657
----------------
cor3ntin wrote:
Missing line
https://github.com/llvm/llvm-project/pull/211811
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
