// 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");
}