// RUN: %clang_cc1 -triple thumbv7--windows-msvc -std=c++11 -verify -fsyntax-only %s
// expected-no-diagnostics
#include <stdarg.h>
template <typename lhs_, typename rhs_>
struct is_same { enum { value = 0 }; };
template <typename type_>
struct is_same<type_, type_> { enum { value = 1 }; };
void check() {
va_list va;
char *cp;
static_assert(is_same<decltype(va), decltype(cp)>::value,
"type mismatch for va_list");
}