File: stdarg.lcl

package info (click to toggle)
splint 3.1.2.dfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, squeeze, wheezy
  • size: 12,908 kB
  • ctags: 15,816
  • sloc: ansic: 150,306; yacc: 3,463; sh: 3,426; makefile: 2,218; lex: 412
file content (22 lines) | stat: -rw-r--r-- 477 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
/*
** 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
*/