gcc/testsuite/g++.old-deja/g++.bugs/900519_02.C

// 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; }