| // Copyright (C) 2017 The Android Open Source Project | |
| // SPDX-License-Identifier: BSD-2-Clause | |
| #include <stdarg.h> | |
| #include "header_checks.h" | |
| static void stdarg_h() { | |
| TYPE(va_list); | |
| #if !defined(va_start) | |
| #error va_start | |
| #endif | |
| #if !defined(va_copy) | |
| #error va_copy | |
| #endif | |
| #if !defined(va_arg) | |
| #error va_arg | |
| #endif | |
| #if !defined(va_end) | |
| #error va_end | |
| #endif | |
| } |