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