[Sema][NFC] Add tests for builtin spaceship operator.
authorClement Courbet <courbet@google.com>
Fri, 5 Nov 2021 09:45:28 +0000 (10:45 +0100)
committerClement Courbet <courbet@google.com>
Fri, 5 Nov 2021 10:44:19 +0000 (11:44 +0100)
In preparation for D112453.

clang/test/CXX/over/over.built/ast-20.cpp [new file with mode: 0644]
clang/test/CXX/over/over.built/spaceship.cpp [new file with mode: 0644]

diff --git a/clang/test/CXX/over/over.built/ast-20.cpp b/clang/test/CXX/over/over.built/ast-20.cpp
new file mode 100644 (file)
index 0000000..4fd1c6e
--- /dev/null
@@ -0,0 +1,22 @@
+// RUN: %clang_cc1 -std=c++20 -ast-dump %s -ast-dump-filter Test | FileCheck %s
+
+namespace std {
+  struct strong_ordering {
+    int n;
+    constexpr operator int() const { return n; }
+    static const strong_ordering less, equal, greater;
+  };
+  constexpr strong_ordering strong_ordering::less{-1},
+      strong_ordering::equal{0}, strong_ordering::greater{1};
+}
+
+template <typename T, typename U>
+auto Test(T* pt, U* pu) {
+  // CHECK: BinaryOperator {{.*}} '<dependent type>' '<=>'
+  // CHECK-NEXT: DeclRefExpr {{.*}} 'T *' lvalue ParmVar {{.*}} 'pt' 'T *'
+  // CHECK-NEXT: DeclRefExpr {{.*}} 'U *' lvalue ParmVar {{.*}} 'pu' 'U *'
+  (void)(pt <=> pu);
+
+}
+
+
diff --git a/clang/test/CXX/over/over.built/spaceship.cpp b/clang/test/CXX/over/over.built/spaceship.cpp
new file mode 100644 (file)
index 0000000..510d601
--- /dev/null
@@ -0,0 +1,21 @@
+// RUN: %clang_cc1 -std=c++20 -verify %s -Wno-tautological-compare
+
+namespace std {
+  struct strong_ordering {
+    int n;
+    constexpr operator int() const { return n; }
+    static const strong_ordering less, equal, greater;
+  };
+  constexpr strong_ordering strong_ordering::less{-1},
+      strong_ordering::equal{0}, strong_ordering::greater{1};
+}
+
+template <typename T>
+void f(int i, int* pi, T* pt, T t) {
+  (void)(i <=> i);
+  (void)(i <=> pi); // expected-error {{comparison between pointer and integer}}
+  (void)(i <=> pt);
+  (void)(pi <=> pt);
+  (void)(pi <=> t);
+}
+