gcc/testsuite/g++.old-deja/g++.mike/p701.C

// { dg-do assemble  }
// prms-id: 701

extern "C" 
{
  int printf(const char *, ...);
}


void Munge(int& x) 
{				// { dg-error "" } referenced below
   x = 2;
}


class A 
{
 public:
   int i;
   A(int x) : i(x) {}
   void Safe() const;
};

void
A::Safe() const 
{
   Munge(i);	// { dg-error "" } should not be able to modify a const object
}

int main()
{
   const A a(1);
   a.Safe();
}