1740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// RUN: %clang_cc1 -fsyntax-only -verify %s -triple x86_64-apple-darwin9
2740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// expected-no-diagnostics
3740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
4740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// From <rdar://problem/12322000>.  Do not warn about undefined behavior of parameter
5740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// argument types in unreachable code in a macro.
6740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#define VA_ARG_RDAR12322000(Marker, TYPE)         ((sizeof (TYPE) < sizeof (UINTN_RDAR12322000)) ? (TYPE)(__builtin_va_arg (Marker, UINTN_RDAR12322000)) : (TYPE)(__builtin_va_arg (Marker, TYPE)))
7740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
8740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 64-bit system
9740d490593e0de8732a697c9f77b90ddd463863bJordan Rosetypedef unsigned long long  UINTN_RDAR12322000;
10740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
11740d490593e0de8732a697c9f77b90ddd463863bJordan Roseint test_VA_ARG_RDAR12322000 (__builtin_va_list Marker)
12740d490593e0de8732a697c9f77b90ddd463863bJordan Rose{
13740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  return VA_ARG_RDAR12322000 (Marker, short); // no-warning
14740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}