1 files changed, 0 insertions, 29 deletions
diff --git a/test/Feature/ubsan_signed_overflow.c b/test/Feature/ubsan_signed_overflow.c
deleted file mode 100644
index 9816d496..00000000
--- a/test/Feature/ubsan_signed_overflow.c
+++ /dev/null
@@ -1,29 +0,0 @@
-// RUN: %llvmgcc %s -fsanitize=signed-integer-overflow -emit-llvm -g -O0 -c -o %t.bc
-// RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out %t.bc 2>&1 | FileCheck %s
-
-// llvm-gcc 2.9 does not support -fsanitize=signed-integer-overflow
-// REQUIRES: not-llvm-2.9
-
-#include "klee/klee.h"
-
-int main()
-{
-  signed int x;
-  signed int y;
-  volatile signed int result;
-
-  klee_make_symbolic(&x, sizeof(x), "x");
-  klee_make_symbolic(&y, sizeof(y), "y");
-
-  // CHECK: ubsan_signed_overflow.c:20: overflow on unsigned addition
-  result = x + y;
-
-  // CHECK: ubsan_signed_overflow.c:23: overflow on unsigned subtraction
-  result = x - y;
-
-  // CHECK: ubsan_signed_overflow.c:26: overflow on unsigned multiplication
-  result = x * y;
-
-  return 0;
-}