From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C | 48 +++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C (limited to 'gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C') diff --git a/gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C b/gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C new file mode 100644 index 000000000..b840ee790 --- /dev/null +++ b/gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C @@ -0,0 +1,48 @@ +// { dg-do assemble } +// g++ 1.37.1 bug 900519_03 + +// The C++ Reference Manual says (in section 8.4.3) "A reference to a +// volatile T can be initialized with a volatile T or a plain T but not a +// const T. A reference to a const T can be initialized with a const T or +// a plain T or something that can be converted into a plain T, but not a +// volatile T." + +// g++ fails to disgnose such errors in most cases. + +// keywords: references, initialization, type qualifiers + +extern const int cint_obj; +extern volatile int vint_obj; + +void take_cint_ref (const int& arg) { } // { dg-error "" } +void take_vint_ref (volatile int& arg) { } // { dg-error "" } + +const int& global_cint_ref2 = vint_obj; // { dg-error "" } + +volatile int& global_vint_ref1 = cint_obj; // { dg-error "" } + +extern const int& extern_cint_ref; +extern volatile int& extern_vint_ref; + +void test_0 () +{ + const int& local_cint_ref2 = vint_obj; // { dg-error "" } + + volatile int& local_vint_ref1 = cint_obj; // { dg-error "" } +} + +void test_1 () +{ + take_cint_ref (vint_obj); // { dg-error "" } + + take_vint_ref (cint_obj); // { dg-error "" } caught +} + +void test_2 () +{ + take_cint_ref (extern_vint_ref); // { dg-error "" } + + take_vint_ref (extern_cint_ref); // { dg-error "" } +} + +int main () { return 0; } -- cgit v1.2.3