|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /proc/21573/task/21573/root/proc/21573/root/usr/share/splint/imports/ |
Upload File : |
/*
** 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
*/