diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-06-15 16:16:30 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-15 16:16:30 -0300 |
| commit | cfda260fb49159f56aaee1905f2efc9e7dffd687 (patch) | |
| tree | cbfb07534237ce109a802852ba45130339d7c797 | |
| parent | 6204a1faed8f6ed15318be8da3e8e4b5e2f2a4ac (diff) | |
| parent | 9fdb00e0db9baa90d38ddbb0c99cf8fce55088c9 (diff) | |
| download | klee-cfda260fb49159f56aaee1905f2efc9e7dffd687.tar.gz | |
Merge pull request #680 from jirislaby/llvm37_diloc
llvm37: do not copy DILocation to getDSPIPath
| -rw-r--r-- | lib/Module/InstructionInfoTable.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Module/InstructionInfoTable.cpp b/lib/Module/InstructionInfoTable.cpp index adf05442..8f6c7c2b 100644 --- a/lib/Module/InstructionInfoTable.cpp +++ b/lib/Module/InstructionInfoTable.cpp @@ -87,7 +87,7 @@ static void buildInstructionToLineMap(Module *m, } } -static std::string getDSPIPath(DILocation Loc) { +static std::string getDSPIPath(const DILocation &Loc) { std::string dir = Loc.getDirectory(); std::string file = Loc.getFilename(); if (dir.empty() || file[0] == '/') { |