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 /lib/Core/TimingSolver.h | |
| 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 'lib/Core/TimingSolver.h')
0 files changed, 0 insertions, 0 deletions