stdarg.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	__ESBMC_HEADERS_STDARG_H_
#define	_VA_LIST
#define	_VA_LIST_DECLARED   /* FreeBSD */
#define	va_start(v, l)
#define	va_end(v)
#define	va_arg(v, l)
#define	va_copy(d, s)
#define	__GNUC_VA_LIST   1

Typedefs
typedef char *	va_list
typedef va_list	__gnuc_va_list

Functions
void	__ESBMC_va_start (va_list,...)
void	__ESBMC_va_end (va_list)
void *	__ESBMC_va_arg (va_list)
void	__ESBMC_va_copy (va_list, va_list)

Macro Definition Documentation

__ESBMC_HEADERS_STDARG_H_

#define __ESBMC_HEADERS_STDARG_H_

__GNUC_VA_LIST

#define __GNUC_VA_LIST   1

_VA_LIST

#define _VA_LIST

_VA_LIST_DECLARED

#define _VA_LIST_DECLARED   /* FreeBSD */

va_arg

#define va_arg	(		v,
			l )

Value:

((l)*(l *)__ESBMC_va_arg(v))

va_copy

#define va_copy	(		d,
			s )

Value:

__ESBMC_va_copy(d,s)

va_end

#define va_end

(

v

)

Value:

__ESBMC_va_end(v)

va_start

#define va_start	(		v,
			l )

Value:

__ESBMC_va_start(v,l)

Typedef Documentation

__gnuc_va_list

typedef va_list __gnuc_va_list

va_list

typedef char* va_list

Function Documentation

__ESBMC_va_arg()

void * __ESBMC_va_arg

(

va_list

)

__ESBMC_va_copy()

void __ESBMC_va_copy	(	va_list	,
		va_list	)

__ESBMC_va_end()

void __ESBMC_va_end

(

va_list

)

__ESBMC_va_start()

void __ESBMC_va_start	(	va_list	,
			... )