1// { dg-do assemble  }
2
3// Copyright (C) 2000 Free Software Foundation, Inc.
4// Contributed by Nathan Sidwell 10 Jan 2001 <nathan@codesourcery.com>
5
6// Bug 1546. We ICE'd trying to unify an array of unknown bound,
7// checking to see if it was a variable sized array.
8
9template <class _Tp> class allocator {};
10
11template <class _Tp, class _Allocator>
12struct _Alloc_traits
13{
14  static const bool _S_instanceless = false;
15};
16
17template <class _Tp, class _Tp1>
18struct _Alloc_traits<_Tp, allocator<_Tp1> >
19{
20  static const bool _S_instanceless = true;
21};
22
23typedef char state [];
24bool y = _Alloc_traits<state, allocator<state> >::_S_instanceless;
25