1 /* { dg-do compile } */
2 /* { dg-options "-fdump-ada-spec" } */
3 
4 template<typename T, bool b> class Foo;
5 
6 template<typename T>
7 class Foo<T, false>
8 {
9 public:
10   // This checks that we do not crash on static members from partially
11   // specialized class templates.
12   static int bar;
13 
14   int f();
15 };
16 
func()17 int func()
18 {
19   Foo<int, false> f;
20   return f.f();
21 }
22 
23 /* { dg-final { cleanup-ada-spec } } */
24