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
6template <typename lhs_, typename rhs_>
7struct is_same { enum { value = 0 }; };
8
9template <typename type_>
10struct is_same<type_, type_> { enum { value = 1 }; };
11
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