From d6b75f7070984d29001bb3e5d59342b1667b064f Mon Sep 17 00:00:00 2001 From: Giovanni Bajo Date: Sun, 14 Nov 2004 10:58:50 +0000 Subject: [PATCH] * g++.dg/expr/unary1.C, g++.dg/expr/unary2.C: New tests. From-SVN: r90616 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/g++.dg/expr/unary1.C | 17 +++++++++++++++++ gcc/testsuite/g++.dg/expr/unary2.C | 20 ++++++++++++++++++++ 3 files changed, 41 insertions(+) create mode 100644 gcc/testsuite/g++.dg/expr/unary1.C create mode 100644 gcc/testsuite/g++.dg/expr/unary2.C 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 + + * g++.dg/expr/unary1.C, g++.dg/expr/unary2.C: New tests. + 2004-11-14 Kriang Lerdsuwanakij 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 +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 +void g(void) +{ + -n = 0; // { dg-error "non-lvalue" "" { xfail *-*-* } } + +n = 0; // { dg-error "non-lvalue" "" { xfail *-*-* } } +} -- 2.30.2