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