blob: 2934e600fba4969f0c53af712e4041b45e8b80d3 (
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)
*/
|
