re PR c/30427 (~ vector float is accepted)

2007-08-13  Andrew Pinski  <pinskia@gmail.com>

        PR C/30427
        * c-typeck.c (build_unary_op <case BIT_NOT_EXPR>): Reject vector float
        types.

2007-08-13  Andrew Pinski  <pinskia@gmail.com>

        PR C/30427
        *  gcc.dg/vector-1.c: New test.

From-SVN: r127396

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d8cba1684fd998d522e3084bb218f2e80b110c17..a2f92818320fa63498d7dc41c18cdd5617ea3cba 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-08-13  Andrew Pinski  <pinskia@gmail.com>
+
+       PR C/30427
+       * c-typeck.c (build_unary_op <case BIT_NOT_EXPR>): Reject vector float
+       types.
+
 2007-08-13  Nick Clifton  <nickc@redhat.com>
 
        * config/arm/arm_neon.h: Revert GPLv3 patch to this file.

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 516314eb3c95e208466d8d5f4aa64b4aef3ae638..4fb70923d4815d383dd8f8f9597a21a77372bdba 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2832,7 +2832,10 @@ build_unary_op (enum tree_code code, tree xarg, int flag)
       break;
 
     case BIT_NOT_EXPR:
-      if (typecode == INTEGER_TYPE || typecode == VECTOR_TYPE)
+      /* ~ works on integer types and non float vectors. */
+      if (typecode == INTEGER_TYPE
+         || (typecode == VECTOR_TYPE
+             && !VECTOR_FLOAT_TYPE_P (TREE_TYPE (arg))))
        {
          if (!noconvert)
            arg = default_conversion (arg);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 542ac1a4abb19bb10fed8363065f31ca97e15382..ccf4aacddb241ee7f781c5fbc9b6faff31d9d992 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-08-13  Andrew Pinski  <pinskia@gmail.com>
+
+       PR C/30427
+       *  gcc.dg/vector-1.c: New test.
+
 2007-08-13  Richard Sandiford  <richard@codesourcery.com>
 
        * gcc.dg/pr21255-4.c: Skip for PIC.

diff --git a/gcc/testsuite/gcc.dg/vector-1.c b/gcc/testsuite/gcc.dg/vector-1.c
new file mode 100644 (file)
index 0000000..288dd1e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vector-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+/* Check for application of ~ on vector types.  */
+
+#define vector __attribute__((vector_size(16) ))
+
+vector float a;
+vector int a1;
+
+int f(void)
+{
+ a =  ~a; /* { dg-error "" } */
+ a1 =  ~a1;
+}