GCC only tests

This commit is contained in:
Daniel Kroening 2016-07-01 18:28:07 +01:00
parent 343672c392
commit abd3ae4b54
3 changed files with 15 additions and 0 deletions

View File

@ -26,7 +26,10 @@ struct evtchn_status {
int main()
{
#ifdef __GNUC__
STATIC_ASSERT(__builtin_offsetof(struct evtchn_status,u.interdomain.port)==20);
#endif
STATIC_ASSERT(sizeof(struct evtchn_status)==28);
return 0;
};

View File

@ -1,4 +1,6 @@
#ifdef __GNUC__
extern _Noreturn void foo();
#endif
int main()
{

View File

@ -1,3 +1,5 @@
#ifdef __GNUC__
typedef unsigned long int uintptr_t;
typedef unsigned long int uint64_t;
typedef long int __intptr_t;
@ -54,3 +56,11 @@ int main()
) 0))) (stack_chk_guard))),
"i" (__builtin_offsetof (struct pthread, header.stack_guard)));
}
#else
int main()
{
}
#endif