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
8 typedef long long int INT64;
9
10 inline void
debug(int i1,int i2,int i3,int i4,int i5,int i6,int i7,int i8,int i9,...)11 debug(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
26 int
main(void)27 main(void)
28 {
29 debug(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0x123400005678LL);
30 exit(0);
31 }
32
33 #else
34
35 int
main(void)36 main(void)
37 {
38 exit(0);
39 }
40
41 #endif /* long long 64 bits */
42