From 92c21e2d581bd7405032eaf67544611ccd30ab4e Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 13 Feb 2015 18:45:07 +0000 Subject: Fixed and refactored overflow test cases. --- test/Feature/ubsan_uadd_overflow.c | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 test/Feature/ubsan_uadd_overflow.c (limited to 'test/Feature/ubsan_uadd_overflow.c') diff --git a/test/Feature/ubsan_uadd_overflow.c b/test/Feature/ubsan_uadd_overflow.c deleted file mode 100644 index 9dc6832d..00000000 --- a/test/Feature/ubsan_uadd_overflow.c +++ /dev/null @@ -1,19 +0,0 @@ -// RUN: %llvmgcc %s -fsanitize=unsigned-integer-overflow -emit-llvm -g -O0 -c -o %t.bc -// RUN: %klee %t.bc 2> %t.log -// RUN: grep -c "overflow on unsigned addition" %t.log -// RUN: grep -c "ubsan_uadd_overflow.c:16: overflow" %t.log - -#include "klee/klee.h" - -int main() -{ - unsigned int x; - unsigned int y; - volatile unsigned int result; - - klee_make_symbolic(&x, sizeof(x), "unsigned add 1"); - klee_make_symbolic(&y, sizeof(y), "unsigned add 2"); - result = x + y; - - return 0; -} -- cgit 1.4.1