1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 // expected-no-diagnostics
3 #define T(b) (b) ? 1 : -1
4 #define F(b) (b) ? -1 : 1
5 
6 struct HasVirt { virtual void a(); };
7 template<class T> struct InheritPolymorph : HasVirt {};
8 int t01[T(__is_polymorphic(InheritPolymorph<int>))];
9 
10