summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
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.
Diffstat (limited to 'gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C')
-rw-r--r--gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C48
1 files changed, 48 insertions, 0 deletions
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; }