diff options
author | Frank Busse <bb0xfb@gmail.com> | 2020-06-25 11:06:22 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-07-29 14:04:32 +0100 |
commit | 169022a56d62cdb2f15540a0c592c5f90fdb39cb (patch) | |
tree | 0265487e3989360c75d439b79674be0caf944f8c /lib | |
parent | 8d89546353180aa51484c27be68ffb0bb10583cd (diff) | |
download | klee-169022a56d62cdb2f15540a0c592c5f90fdb39cb.tar.gz |
remove holes in Instruction-/FunctionInfoTable, add documentation
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Module/InstructionInfoTable.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lib/Module/InstructionInfoTable.cpp b/lib/Module/InstructionInfoTable.cpp index 44c7a294..fde5ff19 100644 --- a/lib/Module/InstructionInfoTable.cpp +++ b/lib/Module/InstructionInfoTable.cpp @@ -119,13 +119,13 @@ public: #endif if (dsub != nullptr) { auto path = dsub->getFilename(); - return std::unique_ptr<FunctionInfo>(new FunctionInfo( + return std::make_unique<FunctionInfo>(FunctionInfo( 0, getInternedString(path), dsub->getLine(), asmLine)); } // Fallback: Mark as unknown - return std::unique_ptr<FunctionInfo>( - new FunctionInfo(0, getInternedString(""), 0, asmLine)); + return std::make_unique<FunctionInfo>( + FunctionInfo(0, getInternedString(""), 0, asmLine)); } std::unique_ptr<InstructionInfo> @@ -150,17 +150,17 @@ public: column = LexicalBlock->getColumn(); } } - return std::unique_ptr<InstructionInfo>(new InstructionInfo( + return std::make_unique<InstructionInfo>(InstructionInfo( 0, getInternedString(full_path), line, column, asmLine)); } if (f != nullptr) // If nothing found, use the surrounding function - return std::unique_ptr<InstructionInfo>( - new InstructionInfo(0, f->file, f->line, 0, asmLine)); + return std::make_unique<InstructionInfo>( + InstructionInfo(0, f->file, f->line, 0, asmLine)); // If nothing found, use the surrounding function - return std::unique_ptr<InstructionInfo>( - new InstructionInfo(0, getInternedString(""), 0, 0, asmLine)); + return std::make_unique<InstructionInfo>( + InstructionInfo(0, getInternedString(""), 0, 0, asmLine)); } }; |