* g++.dg/expr/unary1.C, g++.dg/expr/unary2.C: New tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@90616 138bc75d-0d04-0410-961f-82ee72b054a4

3 files changed, 41 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ef48eafaf43..875f084d846 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2004-11-14  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	* g++.dg/expr/unary1.C, g++.dg/expr/unary2.C: New tests.
+
 2004-11-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
 
 	PR c++/17344
diff --git a/gcc/testsuite/g++.dg/expr/unary1.C b/gcc/testsuite/g++.dg/expr/unary1.C
new file mode 100644
index 00000000000..4ea230f018f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/expr/unary1.C
@@ -0,0 +1,17 @@
+// { dg-do compile }
+// Unary plus (but not unary minus) can be applied to pointer types
+
+void *p;
+
+void f(void)
+{
+  -p;        // { dg-error "wrong type argument" }
+  +p;
+}
+
+template <int>
+void g(void)
+{
+  -p;        // { dg-error "wrong type argument" }
+  +p;
+}
diff --git a/gcc/testsuite/g++.dg/expr/unary2.C b/gcc/testsuite/g++.dg/expr/unary2.C
new file mode 100644
index 00000000000..9d6acc84488
--- /dev/null
+++ b/gcc/testsuite/g++.dg/expr/unary2.C
@@ -0,0 +1,20 @@
+// { dg-do compile }
+// Unary plus/minus are not lvalues.
+
+// In templates we require an instantiation to emit the diagnostic. This
+//  is wrong and it is PR 18474.
+
+int n;
+
+void f(void)
+{
+  -n = 0;        // { dg-error "non-lvalue" }
+  +n = 0;        // { dg-error "non-lvalue" }
+}
+
+template <int>
+void g(void)
+{
+  -n = 0;        // { dg-error "non-lvalue" "" { xfail *-*-* } }
+  +n = 0;        // { dg-error "non-lvalue" "" { xfail *-*-* } }
+}