diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-23 15:01:34 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 13:31:07 +0100 |
| commit | 3f70fbfc3d3b0cc2cc9263277979be256a39dd6e (patch) | |
| tree | 9f4392c56d27b8c055fedc14e013ec335b07b29e /lib/Module/PhiCleaner.cpp | |
| parent | b0a6688ca476a8b7a9f28b762bace09bf5a431f1 (diff) | |
| download | klee-3f70fbfc3d3b0cc2cc9263277979be256a39dd6e.tar.gz | |
llvm5: Intrinsic::objectsize has three arguments
Modify the IntrinsicCleaner accordingly. We do not do anything with the third argument as we do not handle the first argument in any way. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Module/PhiCleaner.cpp')
0 files changed, 0 insertions, 0 deletions