* typeck.c (cp_build_binary_op): Sorry about <=> on VECTOR_TYPE.

From-SVN: r278077

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a5bc9d452ce77d2ff1c1372e170fd675f8bf2f54..7e5e446a8287ff855715bf9635ed5b16df49d1cf 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,7 @@
+2019-11-11  Jason Merrill  <jason@redhat.com>
+
+       * typeck.c (cp_build_binary_op): Sorry about <=> on VECTOR_TYPE.
+
 2019-11-11  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/92447

diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 124d16a31fbb0d090c602a1ec6a7e9bcd8fe2ba5..ff603f3d8d94cc146122f7c79b8279d9bbd2fd3e 100644 (file)
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -5224,6 +5224,13 @@ cp_build_binary_op (const op_location_t &location,
                          "types %qT and %qT", type0, type1);
            }
 
+         if (resultcode == SPACESHIP_EXPR)
+           {
+             if (complain & tf_error)
+               sorry_at (location, "three-way comparison of vectors");
+             return error_mark_node;
+           }
+
          /* Always construct signed integer vector type.  */
          intt = c_common_type_for_size
            (GET_MODE_BITSIZE (SCALAR_TYPE_MODE (TREE_TYPE (type0))), 0);

diff --git a/gcc/testsuite/g++.dg/cpp2a/spaceship-vec1.C b/gcc/testsuite/g++.dg/cpp2a/spaceship-vec1.C
new file mode 100644 (file)
index 0000000..8354769
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/spaceship-vec1.C
@@ -0,0 +1,11 @@
+// { dg-do compile { target c++2a } }
+
+#include <compare>
+
+#define vector __attribute__((vector_size(4*sizeof(int)) ))
+
+int main()
+{
+  vector int a, b;
+  a <=> b;                  // { dg-message "three-way comparison of vector" }
+}