diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:51:32 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | ecc7fae9cbac9aa970aac072276e5bca1c583c02 (patch) | |
| tree | cb6130e01e06aa2b749d5c5a5a9a462bc1842ee8 /lib/Module/RaiseAsm.cpp | |
| parent | aba37b07e909b30636e06f33b456af3abaa8ed0e (diff) | |
| download | klee-ecc7fae9cbac9aa970aac072276e5bca1c583c02.tar.gz | |
ShiftChecker: Instrument shift instructions only once
As the shift checker could be executed multiple times, we need to avoid
that shift instructions are instrumented multiple times as well.
Mark the instrumented instruction using metadata and avoid it in
successive runs.
Diffstat (limited to 'lib/Module/RaiseAsm.cpp')
0 files changed, 0 insertions, 0 deletions