diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-22 17:16:38 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 22:54:54 +0200 |
| commit | ea0c6724dc992a5358d6da3d50d9f60472d66d64 (patch) | |
| tree | 63c186ee950792fb475dfda71db861d359c16efb /runtime | |
| parent | f4363713c97769f392b7d85c4782f6e1aeb1a137 (diff) | |
| download | klee-ea0c6724dc992a5358d6da3d50d9f60472d66d64.tar.gz | |
Handle aligned varargs allignment correctly
For vararg handling, arguments of size bigger than 64 bit need to be handled 128bit aligned according to AMD calling conventions AMD64-ABI 3.5.7p5. To handle that case correctly, we do: 1) make sure that every argument is aligned correctly in an allocation for function arguments 2) the allocation itself is aligned correctly
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions