From: Jason Merrill <jason@redhat.com>
Date: Tue, 12 Nov 2019 04:53:59 +0000 (-0500)
Subject: * typeck.c (cp_build_binary_op): Sorry about <=> on VECTOR_TYPE.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e9a85d5052607c8ed31940ce2794323df9463cc;p=gcc.git

* 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 a5bc9d452ce..7e5e446a828 100644
--- 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 124d16a31fb..ff603f3d8d9 100644
--- 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
index 00000000000..83547691118
--- /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" }
+}