diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-10-25 08:09:29 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
| commit | f83c643ae0d71eae3b3d02e083b833be977cf924 (patch) | |
| tree | 9c4ed2292beaf683fbdab0f437f29c3a2a7f1534 /utils/valgrind | |
| parent | 0c0e1045b4f784e0f72fd1286a97c7701152d412 (diff) | |
| download | klee-f83c643ae0d71eae3b3d02e083b833be977cf924.tar.gz | |
llvm5: APInt->getSignBit -> getSignMask
This was renamed in LLVM commit 54f0462d2b7f, so handle the rename. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'utils/valgrind')
0 files changed, 0 insertions, 0 deletions