diff options
| author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-01-22 15:30:03 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-09 20:45:11 +0100 |
| commit | ec81fd165883cf0d033e7822c39c6b6c33f57d77 (patch) | |
| tree | 29e82316ca78ea27b361b280792bf92a5d5fe08c /runtime/klee-libc/strcoll.c | |
| parent | 69190130d38bfc9b5d67add843f2c542dc843470 (diff) | |
| download | klee-ec81fd165883cf0d033e7822c39c6b6c33f57d77.tar.gz | |
Core/Executor: Fix unaligned write of fp80 arguments
... in Executor::callExternalFunction.
Fixes the following error reported in Feature/VarArg{Alignment,LongDouble}.c
tests:
lib/Expr/Expr.cpp:366:5: runtime error: store to misaligned address
0x7ffc011d3528 for type 'long double', which requires 16 byte alignment
Diffstat (limited to 'runtime/klee-libc/strcoll.c')
0 files changed, 0 insertions, 0 deletions