GCC only stuff

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4099 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2014-06-16 11:57:25 +00:00 · 2014-06-16 11:57:25 +00:00 · 3eb363f602
parent 41e1822a22
commit 3eb363f602
1 changed files with 2 additions and 0 deletions
--- a/regression/ansi-c/KnR1/main.c
+++ b/regression/ansi-c/KnR1/main.c
@ -3,11 +3,13 @@ struct stmt
  int x;
 };

+#ifdef __GNUC__
 static void
 deadstmt(s, last)
   register struct stmt * __attribute__((aligned)) s;
 {
 }
+#endif

 static void
 deadstmt_const(s, last)