diff options
| author | Willem <willem@lekkertech.net> | 2014-10-09 23:17:16 -0700 |
|---|---|---|
| committer | Willem <willem@lekkertech.net> | 2014-10-09 23:26:10 -0700 |
| commit | 4af13aa1ae965a3fff9f005a78674efdc49ce3f7 (patch) | |
| tree | 40bfeda614a5f68a6c62cb37b8535cd2e7b907f9 /test/Feature | |
| parent | a026ae1b03feae10179816acb3c7d36e83547d4c (diff) | |
| download | klee-4af13aa1ae965a3fff9f005a78674efdc49ce3f7.tar.gz | |
Fixed passing of long double (and other big types) in var_args on x86_64. Removed XFAIL tag from the Feature/VarArgLongDouble.c test
Fixed Executor to (more) correctly handle the alignment of types larger than 64bit (such as long double) when those are passed in var_args on x86_64. Specifically: From http://www.x86-64.org/documentation/abi.pdf AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16 byte boundary if alignment needed by type exceeds 8 byte boundary.
Diffstat (limited to 'test/Feature')
| -rw-r--r-- | test/Feature/VarArgLongDouble.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/Feature/VarArgLongDouble.c b/test/Feature/VarArgLongDouble.c index 189d1dcc..ae553131 100644 --- a/test/Feature/VarArgLongDouble.c +++ b/test/Feature/VarArgLongDouble.c @@ -1,7 +1,6 @@ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out %t.bc | FileCheck %s -// XFAIL: #include <stdarg.h> #include <assert.h> |