diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-09-13 10:33:09 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-10-27 12:06:36 +0100 |
| commit | c9aadba9107ad4a6abaa2b2539c47adac2d2b810 (patch) | |
| tree | 197260049b119af2121431a3b7e593aaebc89395 /lib/Core/SpecialFunctionHandler.cpp | |
| parent | 46dc29aa60e4a662c18ea7b2bac1c570ea7a728f (diff) | |
| download | klee-c9aadba9107ad4a6abaa2b2539c47adac2d2b810.tar.gz | |
tools/klee: Warn if module and host target triples differ
... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations.
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
0 files changed, 0 insertions, 0 deletions