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()12 void 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