diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-05-12 19:49:07 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-22 16:24:46 +0100 |
| commit | 45dbf0624f6fe37d25ba401c2bf99b8315f8847b (patch) | |
| tree | 94ebd15744b8ee84e1735f657774e5e1d1d862c0 /tools | |
| parent | 1b8bad9dda673f1340b50c39334eb92ee8a8c306 (diff) | |
| download | klee-45dbf0624f6fe37d25ba401c2bf99b8315f8847b.tar.gz | |
some housekeeping in Passes.h and IntrinsicCleaner.cpp
This commit addresses the following:
* remove unused variables block_split (::runOnBasicBlock)
and LI (::IntrinsicCleanerPass) in IntrinsicCleanerPass
* add `dirty = true` to `Intrinsic::vacopy` case
* use `eraseFromParent()` methods instead of `removeFromParent()` and `delete`
* add `override` keyword to `runOn{Module,Function}` methods
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions