From afae176824d8fd1733e5e302a62e6bd09a86aff2 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Sat, 22 Jul 2017 01:28:40 +0200
Subject: Updated test cases to reflect removal of LLVM 2.9

---
 test/Feature/ubsan_unsigned_overflow.c | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

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

diff --git a/test/Feature/ubsan_unsigned_overflow.c b/test/Feature/ubsan_unsigned_overflow.c
index 82eacdd7..568b17ba 100644
--- a/test/Feature/ubsan_unsigned_overflow.c
+++ b/test/Feature/ubsan_unsigned_overflow.c
@@ -2,9 +2,6 @@
 // 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=unsigned-integer-overflow
-// REQUIRES: not-llvm-2.9
-
 #include "klee/klee.h"
 
 int main()
@@ -16,13 +13,13 @@ int main()
   klee_make_symbolic(&x, sizeof(x), "x");
   klee_make_symbolic(&y, sizeof(y), "y");
 
-  // CHECK: ubsan_unsigned_overflow.c:20: overflow on unsigned addition
+  // CHECK: ubsan_unsigned_overflow.c:17: overflow on unsigned addition
   result = x + y;
 
-  // CHECK: ubsan_unsigned_overflow.c:23: overflow on unsigned subtraction
+  // CHECK: ubsan_unsigned_overflow.c:20: overflow on unsigned subtraction
   result = x - y;
 
-  // CHECK: ubsan_unsigned_overflow.c:26: overflow on unsigned multiplication
+  // CHECK: ubsan_unsigned_overflow.c:23: overflow on unsigned multiplication
   result = x * y;
 
   return 0;
-- 
cgit 1.4.1