test: add unit tests for fixed UFCS corner cases

Author: JohelEGP

regression-tests/mixed-bugfix-for-ufcs-non-local.cpp2

@@ -0,0 +1,35 @@
+template<bool> struct t { };
+constexpr bool f(const t<true>&) { return true; }
+constexpr t<true> o{};
+
+// Variables.
+
+// _: <V: t<o.f()>> bool = (); // Blocked on #389, [GCC109781][].
+
+// _: t<o.f()> = (); // Blocked on Clang 12 (lambda in unevaluated context).
+
+_: bool = o.f();
+
+// Functions.
+
+// g: <V: t<o.f()>> () = { } // Blocked on [GCC109781][].
+
+// g: (x: t<o.f()>) = { } // Blocked on Clang 12 (lambda in unevaluated context).
+
+g: () [[pre: o.f()]] = { }
+
+// h: () -> t<o.f()> = o; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// Aliases.
+
+// a: <V: t<o.f()>> type == bool; // Blocked on [GCC109781][].
+
+// b: <V: t<o.f()>> _ == false; // Blocked on [GCC109781][].
+
+// c: type == t<o.f()>; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// d: _ == t<o.f()>(); // Blocked on Clang 12 (lambda in unevaluated context).
+
+main: () = { }
+
+// [GCC109781]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109781

regression-tests/pure2-bugfix-for-ufcs-arguments.cpp2

@@ -0,0 +1,46 @@
+print_res: (x: i32) -> i32 = {
+  std::cout << x;
+  if (x == 9) { std::cout << '\n'; }
+  return x;
+}
+t: @struct type = {
+  f: (inout this) -> i32 = print_res(0);
+  f: (inout this, x) -> i32 = print_res(1);
+  f: <T> (inout this) -> i32 = print_res(2);
+  f: <T> (inout this, x) -> i32 = print_res(3);
+  f: <T, U> (inout this, x, y) -> i32 = print_res(4);
+}
+f: (o: t) -> i32 = print_res(5);
+f: (o: t, x) -> i32 = print_res(6);
+f: <T> (o: t) -> i32 = print_res(7);
+f: <T> (o: t, x) -> i32 = print_res(8);
+f: <T, U> (o: t, x, y) -> i32 = print_res(9);
+m: t       = ();
+n: const t = ();
+a: <T, U> _ == n;
+_: i32   = m.f();
+_: i32   = m.f(0);
+_: i32   = m.f<t>();
+_: i32   = m.f<t>(0);
+_: i32   = m.f<t, t>(0, 0);
+_: i32   = n.f();
+_: i32   = n.f(0);
+_: i32   = n.f<t>();
+_: i32   = n.f<t>(0);
+_: i32   = n.f<t, t>(0, 0);
+_: i32   = a<t, t>.f<t, t>(0, 0);
+main: () = {
+  _: i32 = m.f();
+  _: i32 = m.f(0);
+  _: i32 = m.f<t>();
+  _: i32 = m.f<t>(0);
+  _: i32 = m.f<t, t>(0, 0);
+  _: i32 = n.f();
+  _: i32 = n.f(0);
+  _: i32 = n.f<t>();
+  _: i32 = n.f<t>(0);
+  _: i32 = n.f<t, t>(0, 0);
+  _: i32 = a<t, t>.f<t, t>(0, 0);
+
+  _ = :(a, f) = { _ = a.f(a).f(); };
+}

regression-tests/pure2-bugfix-for-ufcs-name-lookup.cpp2

@@ -0,0 +1,6 @@
+t: type = {
+  f: (this) -> i32 = 0;
+}
+main: () = {
+  f := t().f();
+}

regression-tests/pure2-bugfix-for-ufcs-noexcept.cpp2

@@ -0,0 +1,6 @@
+t: type = {
+  // swap: (inout this, that) = { } // Blocked on #508.
+}
+main: () = {
+  // static_assert(noexcept(t().swap(t()))); // Blocked on Clang 12 (lambda in unevaluated context).
+}

regression-tests/pure2-bugfix-for-ufcs-sfinae.cpp2

@@ -0,0 +1,5 @@
+// f: <T> () -> std::type_identity_t<decltype(T().a())> = { } // Blocked on Clang 12 (lambda in unevaluated context).
+B: type                                              = { }
+main: ()                                             = {
+  // static_assert(!std::invocable<decltype(:<T> (x: T) -> std::void_t<decltype(f<T>())> = {}), B>); // Blocked on Clang 12 (lambda in unevaluated context).
+}

regression-tests/test-results/clang-18/mixed-bugfix-for-ufcs-non-local.cpp.execution

@@ -0,0 +1,4 @@
+0123456789
+9
+0123456789
+9

regression-tests/test-results/clang-18/mixed-bugfix-for-ufcs-non-local.cpp.output

@@ -0,0 +1,64 @@
+
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+template<bool> struct t { };
+constexpr bool f(const t<true>&) { return true; }
+constexpr t<true> o{};
+
+// Variables.
+
+// _: <V: t<o.f()>> bool = (); // Blocked on #389, [GCC109781][].
+
+// _: t<o.f()> = (); // Blocked on Clang 12 (lambda in unevaluated context).
+
+#line 11 "mixed-bugfix-for-ufcs-non-local.cpp2"
+extern bool auto_11_1;
+
+// Functions.
+
+// g: <V: t<o.f()>> () = { } // Blocked on [GCC109781][].
+
+// g: (x: t<o.f()>) = { } // Blocked on Clang 12 (lambda in unevaluated context).
+
+auto g() -> void;
+
+// h: () -> t<o.f()> = o; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// Aliases.
+
+// a: <V: t<o.f()>> type == bool; // Blocked on [GCC109781][].
+
+// b: <V: t<o.f()>> _ == false; // Blocked on [GCC109781][].
+
+// c: type == t<o.f()>; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// d: _ == t<o.f()>(); // Blocked on Clang 12 (lambda in unevaluated context).
+
+auto main() -> int;
+
+// [GCC109781]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109781
+
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 11 "mixed-bugfix-for-ufcs-non-local.cpp2"
+bool auto_11_1 {CPP2_UFCS_NONLOCAL(f)(o)}; 
+
+#line 19 "mixed-bugfix-for-ufcs-non-local.cpp2"
+auto g() -> void{
+                         cpp2::Default.expects(CPP2_UFCS(f)(o), "");
+#line 19 "mixed-bugfix-for-ufcs-non-local.cpp2"
+}
+
+#line 33 "mixed-bugfix-for-ufcs-non-local.cpp2"
+auto main() -> int{}
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-arguments.cpp.execution

@@ -0,0 +1,2 @@
+mixed-bugfix-for-ufcs-non-local.cpp2... ok (mixed Cpp1/Cpp2, Cpp2 code passes safety checks)
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-arguments.cpp.output

@@ -0,0 +1,97 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+#line 6 "pure2-bugfix-for-ufcs-arguments.cpp2"
+class t;
+  
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+[[nodiscard]] auto print_res(cpp2::in<cpp2::i32> x) -> cpp2::i32;
+  
+
+#line 6 "pure2-bugfix-for-ufcs-arguments.cpp2"
+class t {
+  public: [[nodiscard]] auto f() & -> cpp2::i32;
+  public: [[nodiscard]] auto f(auto const& x) & -> cpp2::i32;
+  public: template<typename T> [[nodiscard]] auto f() & -> cpp2::i32;
+  public: template<typename T> [[nodiscard]] auto f(auto const& x) & -> cpp2::i32;
+  public: template<typename T, typename U> [[nodiscard]] auto f(auto const& x, auto const& y) & -> cpp2::i32;
+};
+[[nodiscard]] auto f(cpp2::in<t> o) -> cpp2::i32;
+[[nodiscard]] auto f(cpp2::in<t> o, auto const& x) -> cpp2::i32;
+template<typename T> [[nodiscard]] auto f(cpp2::in<t> o) -> cpp2::i32;
+template<typename T> [[nodiscard]] auto f(cpp2::in<t> o, auto const& x) -> cpp2::i32;
+template<typename T, typename U> [[nodiscard]] auto f(cpp2::in<t> o, auto const& x, auto const& y) -> cpp2::i32;
+extern t m;
+extern t const n;
+template<typename T, typename U> auto static constexpr a = n;
+extern cpp2::i32 auto_21_1;
+extern cpp2::i32 auto_22_1;
+extern cpp2::i32 auto_23_1;
+extern cpp2::i32 auto_24_1;
+extern cpp2::i32 auto_25_1;
+extern cpp2::i32 auto_26_1;
+extern cpp2::i32 auto_27_1;
+extern cpp2::i32 auto_28_1;
+extern cpp2::i32 auto_29_1;
+extern cpp2::i32 auto_30_1;
+extern cpp2::i32 auto_31_1;
+auto main() -> int;
+  
+
+//=== Cpp2 function definitions =================================================
+
+[[nodiscard]] auto print_res(cpp2::in<cpp2::i32> x) -> cpp2::i32{
+  std::cout << x;
+  if ((x == 9)) {std::cout << '\n'; }
+  return x; 
+}
+
+  [[nodiscard]] auto t::f() & -> cpp2::i32 { return print_res(0);  }
+  [[nodiscard]] auto t::f(auto const& x) & -> cpp2::i32 { return print_res(1);  }
+  template<typename T> [[nodiscard]] auto t::f() & -> cpp2::i32 { return print_res(2);  }
+  template<typename T> [[nodiscard]] auto t::f(auto const& x) & -> cpp2::i32 { return print_res(3);  }
+  template<typename T, typename U> [[nodiscard]] auto t::f(auto const& x, auto const& y) & -> cpp2::i32 { return print_res(4);  }
+
+[[nodiscard]] auto f(cpp2::in<t> o) -> cpp2::i32 { return print_res(5);  }
+[[nodiscard]] auto f(cpp2::in<t> o, auto const& x) -> cpp2::i32 { return print_res(6);  }
+template<typename T> [[nodiscard]] auto f(cpp2::in<t> o) -> cpp2::i32 { return print_res(7);  }
+template<typename T> [[nodiscard]] auto f(cpp2::in<t> o, auto const& x) -> cpp2::i32 { return print_res(8);  }
+template<typename T, typename U> [[nodiscard]] auto f(cpp2::in<t> o, auto const& x, auto const& y) -> cpp2::i32 { return print_res(9);  }
+t m {}; 
+t const n {}; 
+
+cpp2::i32 auto_21_1 {CPP2_UFCS_NONLOCAL(f)(m)}; 
+cpp2::i32 auto_22_1 {CPP2_UFCS_NONLOCAL(f)(m, 0)}; 
+cpp2::i32 auto_23_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t>)(m)}; 
+cpp2::i32 auto_24_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t>)(m, 0)}; 
+cpp2::i32 auto_25_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t,t>)(m, 0, 0)}; 
+cpp2::i32 auto_26_1 {CPP2_UFCS_NONLOCAL(f)(n)}; 
+cpp2::i32 auto_27_1 {CPP2_UFCS_NONLOCAL(f)(n, 0)}; 
+cpp2::i32 auto_28_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t>)(n)}; 
+cpp2::i32 auto_29_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t>)(n, 0)}; 
+cpp2::i32 auto_30_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t,t>)(n, 0, 0)}; 
+cpp2::i32 auto_31_1 {CPP2_UFCS_TEMPLATE_NONLOCAL(f<t,t>)(a<t,t>, 0, 0)}; 
+auto main() -> int{
+  cpp2::i32 auto_33_3 {CPP2_UFCS(f)(m)}; 
+  cpp2::i32 auto_34_3 {CPP2_UFCS(f)(m, 0)}; 
+  cpp2::i32 auto_35_3 {CPP2_UFCS_TEMPLATE(f<t>)(m)}; 
+  cpp2::i32 auto_36_3 {CPP2_UFCS_TEMPLATE(f<t>)(m, 0)}; 
+  cpp2::i32 auto_37_3 {CPP2_UFCS_TEMPLATE(f<t,t>)(m, 0, 0)}; 
+  cpp2::i32 auto_38_3 {CPP2_UFCS(f)(n)}; 
+  cpp2::i32 auto_39_3 {CPP2_UFCS(f)(n, 0)}; 
+  cpp2::i32 auto_40_3 {CPP2_UFCS_TEMPLATE(f<t>)(n)}; 
+  cpp2::i32 auto_41_3 {CPP2_UFCS_TEMPLATE(f<t>)(n, 0)}; 
+  cpp2::i32 auto_42_3 {CPP2_UFCS_TEMPLATE(f<t,t>)(n, 0, 0)}; 
+  cpp2::i32 auto_43_3 {CPP2_UFCS_TEMPLATE(f<t,t>)(a<t,t>, 0, 0)}; 
+
+  static_cast<void>([](auto const& a, auto const& f) -> void{static_cast<void>(CPP2_UFCS(f)(CPP2_UFCS(f)(a, a))); });
+}
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-name-lookup.cpp.execution

@@ -0,0 +1,2 @@
+pure2-bugfix-for-ufcs-arguments.cpp2... ok (all Cpp2, passes safety checks)
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-name-lookup.cpp.output

@@ -0,0 +1,34 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+class t;
+  
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+class t {
+  public: [[nodiscard]] auto f() const& -> cpp2::i32;
+
+  public: t() = default;
+  public: t(t const&) = delete; /* No 'that' constructor, suppress copy */
+  public: auto operator=(t const&) -> void = delete;
+#line 3 "pure2-bugfix-for-ufcs-name-lookup.cpp2"
+};
+auto main() -> int;
+  
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 2 "pure2-bugfix-for-ufcs-name-lookup.cpp2"
+  [[nodiscard]] auto t::f() const& -> cpp2::i32 { return 0;  }
+
+auto main() -> int{
+  auto f {t().f()}; 
+}
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-noexcept.cpp.execution

@@ -0,0 +1,2 @@
+pure2-bugfix-for-ufcs-name-lookup.cpp2... ok (all Cpp2, passes safety checks)
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-noexcept.cpp.output

@@ -0,0 +1,32 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+class t;
+  
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+class t {
+ public: t() = default;
+ public: t(t const&) = delete; /* No 'that' constructor, suppress copy */
+ public: auto operator=(t const&) -> void = delete;
+
+  // swap: (inout this, that) = { } // Blocked on #508.
+#line 3 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+};
+auto main() -> int;
+  
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 4 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+auto main() -> int{
+  // static_assert(noexcept(t().swap(t()))); // Blocked on Clang 12 (lambda in unevaluated context).
+}
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-sfinae.cpp.execution

@@ -0,0 +1,2 @@
+pure2-bugfix-for-ufcs-noexcept.cpp2... ok (all Cpp2, passes safety checks)
+

regression-tests/test-results/clang-18/pure2-bugfix-for-ufcs-sfinae.cpp.output

@@ -0,0 +1,35 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+
+#line 2 "pure2-bugfix-for-ufcs-sfinae.cpp2"
+class B;
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+// f: <T> () -> std::type_identity_t<decltype(T().a())> = { } // Blocked on Clang 12 (lambda in unevaluated context).
+#line 2 "pure2-bugfix-for-ufcs-sfinae.cpp2"
+class B                                               {
+      public: B() = default;
+      public: B(B const&) = delete; /* No 'that' constructor, suppress copy */
+      public: auto operator=(B const&) -> void = delete;
+
+#line 2 "pure2-bugfix-for-ufcs-sfinae.cpp2"
+                                                         };
+auto main() -> int;
+  
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 3 "pure2-bugfix-for-ufcs-sfinae.cpp2"
+auto main() -> int                                   {
+  // static_assert(!std::invocable<decltype(:<T> (x: T) -> std::void_t<decltype(f<T>())> = {}), B>); // Blocked on Clang 12 (lambda in unevaluated context).
+}
+

regression-tests/test-results/mixed-bugfix-for-ufcs-non-local.cpp

@@ -0,0 +1,2 @@
+pure2-bugfix-for-ufcs-sfinae.cpp2... ok (all Cpp2, passes safety checks)
+