imports/stdarg.lcl

   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 */