aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C')
-rw-r--r--gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C32
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C b/gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C
new file mode 100644
index 00000000000..90dc16a42ec
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C
@@ -0,0 +1,32 @@
+// g++ 1.37.1 bug 900519_02
+
+// The C++ Reference Manual says (in section 8.4.3) "A reference to a plain
+// T can only be initialized with a plain T" however g++ allows the
+// initialization of plain references with qualified objects in many cases.
+
+// keywords: references, initialization, type qualifiers
+
+extern const int cint_obj = 9;
+volatile int vint_obj = 9;
+
+void take_int_ref (int& arg) { } // ERROR - referenced by errors below
+
+int& global_int_ref0 = cint_obj; // ERROR -
+int& global_int_ref1 = vint_obj; // ERROR -
+
+extern const int& cint_ref;
+extern volatile int& vint_ref;
+
+void test_0 ()
+{
+ int& local_int_ref0 = cint_obj; // ERROR -
+ int& local_int_ref1 = vint_obj; // ERROR -
+
+ take_int_ref (cint_obj); // ERROR - caught
+ take_int_ref (vint_obj); // ERROR -
+
+ take_int_ref (cint_ref); // ERROR -
+ take_int_ref (vint_ref); // ERROR -
+}
+
+int main () { return 0; }