diff options
author | Jiri Slaby <jirislaby@gmail.com> | 2017-06-15 15:23:45 +0200 |
---|---|---|
committer | Jiri Slaby <jirislaby@gmail.com> | 2017-06-15 15:29:32 +0200 |
commit | 9fdb00e0db9baa90d38ddbb0c99cf8fce55088c9 (patch) | |
tree | cbfb07534237ce109a802852ba45130339d7c797 /lib | |
parent | 6204a1faed8f6ed15318be8da3e8e4b5e2f2a4ac (diff) | |
download | klee-9fdb00e0db9baa90d38ddbb0c99cf8fce55088c9.tar.gz |
llvm37: do not copy DILocation to getDSPIPath
DILocation is not copyable in LLVM 3.7. So, pass it as reference and make it const given we do not write to it. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib')
-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] == '/') { |