diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-03 15:30:52 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-14 10:34:54 +0200 |
| commit | f8f8da3c374ac926e8d0eca4cca83d8a8a095b26 (patch) | |
| tree | f6be8c63922454e5eb59b3cf6079ee5e37ddd4cc /lib/Solver/STPBuilder.cpp | |
| parent | 4a9a908739d7d7c833e7985ea7465d95c0dd0b82 (diff) | |
| download | klee-f8f8da3c374ac926e8d0eca4cca83d8a8a095b26.tar.gz | |
Do not add SimplifyLibCallsPass for LLVM 3.4 and newer because
it has been removed. From the LLVM 3.4 release notes: " The library call simplification pass has been removed. Its functionality has been integrated into the instruction combiner and function attribute marking passes. "
Diffstat (limited to 'lib/Solver/STPBuilder.cpp')
0 files changed, 0 insertions, 0 deletions