1*67e74705SXin Li // RUN: %clang_cc1 -triple thumbv7--windows-msvc -std=c++11 -verify -fsyntax-only %s 2*67e74705SXin Li // expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Li #include <stdarg.h> 5*67e74705SXin Li 6*67e74705SXin Li template <typename lhs_, typename rhs_> 7*67e74705SXin Li struct is_same { enum { value = 0 }; }; 8*67e74705SXin Li 9*67e74705SXin Li template <typename type_> 10*67e74705SXin Li struct is_same<type_, type_> { enum { value = 1 }; }; 11*67e74705SXin Li check()12*67e74705SXin Livoid check() { 13*67e74705SXin Li va_list va; 14*67e74705SXin Li char *cp; 15*67e74705SXin Li static_assert(is_same<decltype(va), decltype(cp)>::value, 16*67e74705SXin Li "type mismatch for va_list"); 17*67e74705SXin Li } 18