diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:47:44 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | b90f6ad72e7991f3cebb892ff162645bb91168c8 (patch) | |
| tree | 7429731ff58110471a23269f6d4d7f36b3ea87fe /lib/Module/CMakeLists.txt | |
| parent | a1afcbf98c455ed52fc341df104e19a5d000095f (diff) | |
| download | klee-b90f6ad72e7991f3cebb892ff162645bb91168c8.tar.gz | |
ShiftCheck: Use llvm::Builder instead of Inst::Create*
Use llvm::Builder instead of Inst::Create* to create instruction. This handles metadata automatically and does instruction folding if possible. Updated to C++11 and clang-formatted.
Diffstat (limited to 'lib/Module/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions