1/* Origin: Franz Sirl <Franz.Sirl-kernel@lauterbach.com> */ 2 3#include <stdarg.h> 4#include <limits.h> 5 6#if __LONG_LONG_MAX__ == 9223372036854775807LL 7 8typedef long long int INT64; 9 10inline void 11debug(int i1, int i2, int i3, int i4, int i5, 12 int i6, int i7, int i8, int i9, ...) 13{ 14 va_list ap; 15 16 va_start (ap, i9); 17 18 if (va_arg (ap,int) != 10) 19 abort (); 20 if (va_arg (ap,INT64) != 0x123400005678LL) 21 abort (); 22 23 va_end (ap); 24} 25 26int 27main(void) 28{ 29 debug(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0x123400005678LL); 30 exit(0); 31} 32 33#else 34 35int 36main(void) 37{ 38 exit(0); 39} 40 41#endif /* long long 64 bits */ 42