1 files changed, 47 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 00000000000..114d90960bf
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.bugs/900519_03.C
@@ -0,0 +1,47 @@
+// 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) { }	// ERROR - 
+void take_vint_ref (volatile int& arg) { } // ERROR - 
+
+const int& global_cint_ref2 = vint_obj;		// ERROR - 
+
+volatile int& global_vint_ref1 = cint_obj;	// ERROR - 
+
+extern const int& extern_cint_ref;
+extern volatile int& extern_vint_ref;
+
+void test_0 ()
+{
+  const int& local_cint_ref2 = vint_obj;	// ERROR - 
+
+  volatile int& local_vint_ref1 = cint_obj;	// ERROR - 
+} 
+
+void test_1 ()
+{
+  take_cint_ref (vint_obj);			// ERROR - 
+
+  take_vint_ref (cint_obj);			// ERROR - caught
+}
+
+void test_2 ()
+{
+  take_cint_ref (extern_vint_ref);		// ERROR - 
+
+  take_vint_ref (extern_cint_ref);		// ERROR - 
+}
+
+int main () { return 0; }