1 /* { dg-do compile } */ 2 /* { dg-options "-fdump-ada-spec" } */ 3 4 class Base { 5 public: 6 virtual void Primitive (); 7 8 }; 9 Primitive()10void Base::Primitive () { 11 12 } 13 Dispatch(Base * B)14void Dispatch (Base * B) { 15 B->Primitive (); 16 } 17 18 /* { dg-final { scan-ada-spec-not "CPP_Constructor" } } */ 19 /* { dg-final { cleanup-ada-spec } } */ 20