From 4ea784dd4deaed11dffec28e7dab0f1eb3c4afc0 Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Wed, 18 May 2011 21:48:31 +0000 Subject: Support for arbitrary sized types in ConstantExpr::fromMemory git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@131583 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Feature/LargeReturnTypes.cpp | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/Feature/LargeReturnTypes.cpp (limited to 'test') diff --git a/test/Feature/LargeReturnTypes.cpp b/test/Feature/LargeReturnTypes.cpp new file mode 100644 index 00000000..caa345fc --- /dev/null +++ b/test/Feature/LargeReturnTypes.cpp @@ -0,0 +1,27 @@ +// RUN: %llvmgxx -g -fno-exceptions -emit-llvm -O0 -c -o %t.bc %s +// RUN: %klee --libc=klee --no-output --exit-on-error %t.bc > %t.log + +/* Tests the ability to call external functions which return large values + * (i.e. structs). In this test case, fstream::ftellg() returns a + * streampos (an {i64, i64} pair) which is implicitly converted to a size_t. */ + +#include + +using namespace std; + +size_t fileSize(const char *filename) { + fstream f(filename, fstream::in | fstream::binary); + + if (f.is_open()) { + f.seekg(0, fstream::end); + size_t fileSize = f.tellg(); + return fileSize; + } + + return (size_t) -1; +} + +int main(void) { + size_t size = fileSize("/bin/sh"); + return (size != (size_t) -1) ? 0 : 1; +} -- cgit 1.4.1