| /* { dg-do compile } */ | |
| /* { dg-options "-fdump-ada-spec" } */ | |
| template<typename T, bool b> class Foo; | |
| template<typename T> | |
| class Foo<T, false> | |
| { | |
| public: | |
| // This checks that we do not crash on static members from partially | |
| // specialized class templates. | |
| static int bar; | |
| int f(); | |
| }; | |
| int func() | |
| { | |
| Foo<int, false> f; | |
| return f.f(); | |
| } | |
| /* { dg-final { cleanup-ada-spec } } */ |