From b96fd2ce9e2148e076bb755b6a2fc39979a37f6b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 24 Feb 2014 16:02:18 +0000
Subject: Fixed AliasFunction.c and AliasFunctionExit.c to work also when
 optimizations are enabled.

---
 test/Feature/AliasFunctionExit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Feature/AliasFunctionExit.c')

diff --git a/test/Feature/AliasFunctionExit.c b/test/Feature/AliasFunctionExit.c
index 4bda950a..acfa4350 100644
--- a/test/Feature/AliasFunctionExit.c
+++ b/test/Feature/AliasFunctionExit.c
@@ -13,7 +13,7 @@ void start(int x) {
     exit(1);
 }
 
-void end(int status) {
+void __attribute__ ((noinline)) end(int status) {
   klee_alias_function("exit", "exit");
   printf("END: status = %d\n", status);
   exit(status);
-- 
cgit 1.4.1