[splint.git] / imports / stdarg.lcl

/*
** stdarg.h
**
** NOT INCLUDED
*/

/*
typedef char *va_list;

void va_end(va_list) { ensures true; }
va_list va_start(va_list va, parmN) (list = ((va_list)&parmN + sizeof(parmN)))

         
constant va_arg(list, mode) ((mode *)(list = (va_list) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) & (__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1]

*/

typedef int ptrdiff_t;           
 	
/*	        
#define offsetof(s_name,m_name) (size_t)&(((s_name*)0))->m_name
*/
Commit	Line	Data
885824d3	1	/*
	2	** stdarg.h
	3	**
	4	** NOT INCLUDED
	5	*/
	6
	7	/*
	8	typedef char *va_list;
	9
	10	void va_end(va_list) { ensures true; }
	11	va_list va_start(va_list va, parmN) (list = ((va_list)&parmN + sizeof(parmN)))
	12
	13
	14	constant va_arg(list, mode) ((mode *)(list = (va_list) ((((int)list + (__builtin_alignof(mode)<=4?3:7)) & (__builtin_alignof(mode)<=4?-4:-8))+sizeof(mode))))[-1]
	15
	16	*/
	17
	18	typedef int ptrdiff_t;
	19
	20	/*
	21	#define offsetof(s_name,m_name) (size_t)&(((s_name*)0))->m_name
	22	*/