900519_03.c

linux下的gcc编译器

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