doesn't work on Windows

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5381 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2015-05-09 10:22:00 +00:00 · 2015-05-09 10:22:00 +00:00 · 21b6462e29
parent c1da4057ff
commit 21b6462e29
1 changed files with 3 additions and 1 deletions
--- a/regression/ansi-c/Struct_Padding2/main.c
+++ b/regression/ansi-c/Struct_Padding2/main.c
@ -144,13 +144,15 @@ struct dst_entry {
 };
 };

-// GCC specific
+// GCC specific, and doesn't work on Windows
+#ifndef _WIN32
 #ifdef __GNUC__
 STATIC_ASSERT(
  sizeof(void *)==8?
    (__builtin_offsetof(struct dst_entry,__refcnt) & 63)==0:
    1);
 #endif
+#endif

 int main()
 {