diff options
author | Willem <willem@lekkertech.net> | 2014-10-09 06:59:57 -0700 |
---|---|---|
committer | Willem <willem@lekkertech.net> | 2014-10-16 09:28:21 -0700 |
commit | f017599be7cd7e71cea3aa0a1bccb4a2c6f38783 (patch) | |
tree | 9c27a59553434841e8701e42a7af3fd52ee53313 /test/Concrete | |
parent | f0e50a8374a398e52b224dff2aa88384f90424ff (diff) | |
download | klee-f017599be7cd7e71cea3aa0a1bccb4a2c6f38783.tar.gz |
Fix the bug in printing 64bit numbers, set the test to expect passing. Changed _testingUtils to use stdint.h
Diffstat (limited to 'test/Concrete')
-rw-r--r-- | test/Concrete/_testingUtils.c | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/test/Concrete/_testingUtils.c b/test/Concrete/_testingUtils.c index aa85d010..dbab921d 100644 --- a/test/Concrete/_testingUtils.c +++ b/test/Concrete/_testingUtils.c @@ -1,6 +1,7 @@ // RUN: %llvmgcc -D_TESTINGUTILS_TEST %s -o %t // RUN: %t | FileCheck %s -// XFAIL: + +#include <stdint.h> int printf(const char *fmt, ...); @@ -9,19 +10,19 @@ void print_int(unsigned long long val); #define TYPED_PRINT(_name_type, _arg_type) \ void print_ ## _name_type(_arg_type val) { print_int(val); } -TYPED_PRINT(i1, unsigned char) -TYPED_PRINT(i8, unsigned char) -TYPED_PRINT(i16, unsigned short) -TYPED_PRINT(i32, unsigned int) -TYPED_PRINT(i64, unsigned long long) +TYPED_PRINT(i1, uint8_t) +TYPED_PRINT(i8, uint8_t) +TYPED_PRINT(i16, uint16_t) +TYPED_PRINT(i32, uint32_t) +TYPED_PRINT(i64, uint64_t) // This is a workaround to hide the "%c" only format string from the compiler -- // llvm-gcc can optimize this into putchar even at -O0, and the LLVM JIT doesn't // recognize putchar() as a valid external function. char *char_format_string = "%c"; -void print_int(unsigned long long val) { - int cur = 1; +void print_int(uint64_t val) { + uint64_t cur = 1; // effectively do a log (can't call log because it returns floats) // do the nasty divide to prevent overflow |