diff options
| author | Andrew Pinski <pinskia@gmail.com> | 2009-01-10 03:48:06 -0800 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2009-01-10 12:48:06 +0100 |
| commit | d67a3e2a7f780fd0d703944751549944860cd134 (patch) | |
| tree | 36e36922fadb2cd823757e519e2f624ab5b76c8c /gcc/testsuite/g++.dg | |
| parent | 56dbbf5621c48453f57e457c289ebefdaa1e0ee2 (diff) | |
| download | gcc-d67a3e2a7f780fd0d703944751549944860cd134.zip gcc-d67a3e2a7f780fd0d703944751549944860cd134.tar.gz gcc-d67a3e2a7f780fd0d703944751549944860cd134.tar.bz2 | |
re PR c++/36695 (Value-initialization of reference type is allowed.)
PR c++/36695
* typeck2.c (build_functional_cast): Check for reference type and NULL
PARMS.
* g++.dg/ext/complex4.C: New test.
* g++.dg/ext/complex5.C: New test.
* g++.dg/init/reference1.C: New test.
* g++.dg/init/reference2.C: New test.
* g++.dg/init/reference3.C: New test.
From-SVN: r143244
Diffstat (limited to 'gcc/testsuite/g++.dg')
| -rw-r--r-- | gcc/testsuite/g++.dg/ext/complex4.C | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ext/complex5.C | 6 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/init/reference1.C | 11 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/init/reference2.C | 13 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/init/reference3.C | 13 |
5 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/ext/complex4.C b/gcc/testsuite/g++.dg/ext/complex4.C new file mode 100644 index 0000000..78b9356 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/complex4.C @@ -0,0 +1,5 @@ +// { dg-do compile } +// This code used to be rejected as there was no conversion from int to float __complex__ + #include <vector> + typedef float __complex__ fcomplex; + std::vector<fcomplex> vfc(10); diff --git a/gcc/testsuite/g++.dg/ext/complex5.C b/gcc/testsuite/g++.dg/ext/complex5.C new file mode 100644 index 0000000..4a29960 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/complex5.C @@ -0,0 +1,6 @@ +/* PR c++/21210 */ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +typedef float __complex__ fcomplex; +fcomplex cplx = fcomplex(0); diff --git a/gcc/testsuite/g++.dg/init/reference1.C b/gcc/testsuite/g++.dg/init/reference1.C new file mode 100644 index 0000000..7ce5f90 --- /dev/null +++ b/gcc/testsuite/g++.dg/init/reference1.C @@ -0,0 +1,11 @@ +// { dg-do compile } +// This code used to be accepted but it is invalid as there is no +// value initialization of a reference type. +// PR c++/36695 + +int main() +{ + typedef int& T; + T a = T(); // { dg-error "value-initialization of reference" } +} + diff --git a/gcc/testsuite/g++.dg/init/reference2.C b/gcc/testsuite/g++.dg/init/reference2.C new file mode 100644 index 0000000..42f5374 --- /dev/null +++ b/gcc/testsuite/g++.dg/init/reference2.C @@ -0,0 +1,13 @@ +// { dg-do compile } +// This code used to be accepted but it is invalid as there is no +// value initialization of a reference type. +// PR c++/36695 + +// We should we able to diagnostic this without instantiating the template +template <int a1> +int f() +{ + typedef int& T; + T a = T(); // { dg-error "value-initialization of reference" } +} + diff --git a/gcc/testsuite/g++.dg/init/reference3.C b/gcc/testsuite/g++.dg/init/reference3.C new file mode 100644 index 0000000..344e94e --- /dev/null +++ b/gcc/testsuite/g++.dg/init/reference3.C @@ -0,0 +1,13 @@ +// { dg-do compile } +// This code used to be accepted but it is invalid as there is no +// value initialization of a reference type. +// PR c++/36695 + +template <typename T> +T f() +{ + T a = T(); // { dg-error "value-initialization of reference" } +} + +int &a = f<int&>(); // { dg-message "instantiated from here" } + |