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