blob: ae3ce725e34c3ebe33d5b5f971ea797c2a1e2d97 [file]
#include <stdint.h>
extern char foo[];
int
main ()
{
return (uintptr_t) &foo == 0x12345678 ? 0 : 1;
}