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