diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:16:09 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | 5bca619d7c11273e9492fa01fc7492e2cbb4eff5 (patch) | |
| tree | 5640badf0e891e2175b5ebb5324a34e1cee6fe18 /lib/Module/IntrinsicCleaner.cpp | |
| parent | e70783b86bf3427bccd3d0b8cec858b888b8c887 (diff) | |
| download | klee-5bca619d7c11273e9492fa01fc7492e2cbb4eff5.tar.gz | |
DivCheck do not instrument multiple times
DivChecker can be executed multiple times due to the new linking
process.
Avoid instrumenting div instructions multiple times by annotating
checked instructions with marker. Only unmarked div instructions will be
instrumented.
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions