| /* { dg-do compile } */ | |
| /* { dg-options "-fdump-ada-spec" } */ | |
| using namespace std; | |
| class Base { | |
| public: | |
| int My_V; | |
| virtual void Primitive (); | |
| Base (); | |
| }; | |
| void Base::Primitive () { | |
| } | |
| Base::Base () { | |
| } | |
| void Dispatch (Base * B) { | |
| B->Primitive (); | |
| } | |
| /* { dg-final { cleanup-ada-spec } } */ |