diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-13 23:01:12 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-13 23:01:12 +0100 |
| commit | e134985e66571f88a574fd0a80ed2a4b991ca802 (patch) | |
| tree | 9b4261b18d5e4e5ab98e138191ecc8bd69d4365a /lib/Module/Passes.h | |
| parent | f755e643e22cfcad5ebd95c88f02afe1044c1597 (diff) | |
| download | klee-e134985e66571f88a574fd0a80ed2a4b991ca802.tar.gz | |
Fix using assembler addresses for global variables
Format of assembler address strings are different with newer LLVM version (They don't have a prefix anymore). This fix takes care of newer LLVM versions (>=3.3) as well.
Diffstat (limited to 'lib/Module/Passes.h')
0 files changed, 0 insertions, 0 deletions