int main () { if (foo1()[1] != 0x00ff00ff00ff00ffULL) __builtin_abort (); if (foo2()[1] != 0x0000ffff) __builtin_abort (); if (foo3a()[1] != 0xff00) __builtin_abort (); if (foo3b()[1] != 0x00ff) __builtin_abort (); if (foo4()[1] != 0xff) __builtin_abort (); if (foo5()[0] != 0xff00ff00ff00ff00ULL) __builtin_abort (); return 0; }
int foo2b(void) { return foo3b(); }