blob: 005885260affad248dfb6a68be5112730df326e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include <stdarg.h>
#define va_end(ap) __builtin_va_end(ap)
/** end processing unnamed arguments **/
/***
stops processing unnamed arguments that were
previously begun with a call to FUNCTION(va_start) so that the enclosing function
may return normally.
***/
/*
PROTOTYPE(void va_end(va_list ap);)
UNDEFINED(ARGUMENT(ap) was not initialized by FUNCTION(va_start))
UNDEFINED(THIS() is not called in the same function as FUNCTION(va_start))
*/
/*
STDC(1)
*/
|
