/* { dg-do compile } */
/* { dg-options "-fdump-ada-spec" } */

class Base {
  public:
     virtual void Primitive ();

};

void Base::Primitive () {

}

void Dispatch (Base * B) {
  B->Primitive ();
}

/* { dg-final { scan-ada-spec-not "CPP_Constructor" } } */
/* { dg-final { cleanup-ada-spec } } */