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 6struct HasVirt { virtual void a(); }; 7template<class T> struct InheritPolymorph : HasVirt {}; 8int t01[T(__is_polymorphic(InheritPolymorph<int>))]; 9 10