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