diff options
author | Lukas Zaoral <lzaoral@redhat.com> | 2021-04-20 23:25:39 +0200 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-10-27 12:06:36 +0100 |
commit | f64ac45c41042e6d33024958dc82b6849844cdac (patch) | |
tree | 9639e0861ebab0fd20f9981d9c183d38eb7841ea /lib/CMakeLists.txt | |
parent | 2e397d9e42c640f705da70cb64ff3ada05119a5b (diff) | |
download | klee-f64ac45c41042e6d33024958dc82b6849844cdac.tar.gz |
Module/RaiseAsm: Fix crash when host and bitcode target triples differ
RaiseAsm always created a target machine for the host target and not for the bitcode one. Therefore, KLEE could crash on i686 bitcode as x86_64 target machine cannot be used to raise i686 assembly. Fixes: LLVM ERROR: 64-bit code requested on a subtarget that doesn't support it!
Diffstat (limited to 'lib/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions