blob: dd1c04abd4e477b7a05c8317a20733d52fb7e1d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <stdarg.h>
/** end processing unnamed arguments **/
#define va_end(__ap) __builtin_va_end(__ap)
/***
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)
*/
|
