From d026e99496355647665af965e27d8baf244e62d3 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 13 Feb 2015 18:20:30 +0000 Subject: Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub" Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6. --- test/Feature/ubsan_signed_overflow.c | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 test/Feature/ubsan_signed_overflow.c (limited to 'test/Feature/ubsan_signed_overflow.c') 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; -} -- cgit 1.4.1