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_umul_overflow.c | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 test/Feature/ubsan_umul_overflow.c (limited to 'test/Feature/ubsan_umul_overflow.c') diff --git a/test/Feature/ubsan_umul_overflow.c b/test/Feature/ubsan_umul_overflow.c deleted file mode 100644 index 2525a5e0..00000000 --- a/test/Feature/ubsan_umul_overflow.c +++ /dev/null @@ -1,22 +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 multiplication" %t.log -// RUN: grep -c "ubsan_umul_overflow.c:18: overflow" %t.log -// RUN: grep -c "ubsan_umul_overflow.c:19: overflow" %t.log - -#include "klee/klee.h" - -int main() -{ - unsigned int x; - unsigned int y; - uint32_t x2=3147483648, y2=3727483648; - volatile unsigned int result; - - klee_make_symbolic(&x, sizeof(x), "unsigned mul 1"); - klee_make_symbolic(&y, sizeof(y), "unsigned mul 2"); - result = x * y; - result = x2 * y2; - - return 0; -} -- cgit 1.4.1