1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s -triple x86_64-apple-darwin9 2*67e74705SXin Li // expected-no-diagnostics 3*67e74705SXin Li 4*67e74705SXin Li // From <rdar://problem/12322000>. Do not warn about undefined behavior of parameter 5*67e74705SXin Li // argument types in unreachable code in a macro. 6*67e74705SXin Li #define VA_ARG_RDAR12322000(Marker, TYPE) ((sizeof (TYPE) < sizeof (UINTN_RDAR12322000)) ? (TYPE)(__builtin_va_arg (Marker, UINTN_RDAR12322000)) : (TYPE)(__builtin_va_arg (Marker, TYPE))) 7*67e74705SXin Li 8*67e74705SXin Li // 64-bit system 9*67e74705SXin Li typedef unsigned long long UINTN_RDAR12322000; 10*67e74705SXin Li test_VA_ARG_RDAR12322000(__builtin_va_list Marker)11*67e74705SXin Liint test_VA_ARG_RDAR12322000 (__builtin_va_list Marker) 12*67e74705SXin Li { 13*67e74705SXin Li return VA_ARG_RDAR12322000 (Marker, short); // no-warning 14*67e74705SXin Li }