Removed fragile test which does not work anymore with clang/llvm 3.1.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168798 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 47 deletions

diff --git a/test/regression/2008-02-11-phi-nodes-after-invoke.ll b/test/regression/2008-02-11-phi-nodes-after-invoke.ll
deleted file mode 100644
index f6077f25..00000000
--- a/test/regression/2008-02-11-phi-nodes-after-invoke.ll
+++ /dev/null
@@ -1,47 +0,0 @@
-; RUN: llvm-as -f %s -o - | %klee --no-output --exit-on-error
-
-declare void @klee_abort()
-
-define i32 @foo(i32 %val, i32 %fail) {
-        %code = icmp ne i32 0, %fail
-        br i1 %code, label %failing, label %return
-failing:   
-        unwind        
-return:        
-	ret i32 %val
-}
-
-define void @test(i32 %should_fail) {
-entry:  
-	%res0 = invoke i32 (i32, i32)* @foo(i32 0, i32 %should_fail) 
-                        to label %check_phi unwind label %error
-        
-error:
-        %res1 = zext i8 1 to i32
-        br label %check_phi
-
-check_phi:
-        %val = phi i32 [%never_used, %never_used_label], [%res0, %entry], [%res1, %error]
-        %ok = icmp eq i32 %val, %should_fail
-        br i1 %ok, label %exit, label %on_error
-        call void @klee_abort()
-        unreachable
-
-on_error:
-        call void @klee_abort()
-        unreachable
-            
-exit:
-	ret void
-
-        ;; this is so we hopefully fail if incomingBBIndex isn't set properly
-never_used_label:       
-        %never_used = zext i8 undef to i32
-        br label %check_phi
-}
-
-define i32 @main() {
-        call void (i32)* @test(i32 0)
-        call void (i32)* @test(i32 1)
-	ret i32 0
-}