diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-08-31 10:25:37 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-09-05 14:00:30 +0100 |
| commit | 649c8bce588f04ed9099686f0d9ed9c326567c44 (patch) | |
| tree | 4649e7e812e2c482fc3348d6e8fca4362db9613e /scripts/build/patches/llvm50.patch | |
| parent | 368409073b0e4037a879bcc3f30265aa93a2b367 (diff) | |
| download | klee-649c8bce588f04ed9099686f0d9ed9c326567c44.tar.gz | |
build: additional patches for LLVM 3.8-5.0
Diffstat (limited to 'scripts/build/patches/llvm50.patch')
| -rw-r--r-- | scripts/build/patches/llvm50.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/build/patches/llvm50.patch b/scripts/build/patches/llvm50.patch new file mode 100644 index 00000000..f10a47c7 --- /dev/null +++ b/scripts/build/patches/llvm50.patch @@ -0,0 +1,11 @@ +--- include/llvm/ExecutionEngine/Orc/OrcRemoteTargetClient.h ++++ include/llvm/ExecutionEngine/Orc/OrcRemoteTargetClient.h +@@ -713,7 +713,7 @@ private: + + uint32_t getTrampolineSize() const { return RemoteTrampolineSize; } + +- Expected<std::vector<char>> readMem(char *Dst, JITTargetAddress Src, ++ Expected<std::vector<unsigned char>> readMem(char *Dst, JITTargetAddress Src, + uint64_t Size) { + // Check for an 'out-of-band' error, e.g. from an MM destructor. + if (ExistingError) |