diff options
| -rw-r--r-- | lib/Core/ExecutorUtil.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index 63967ae5..a352db33 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -128,7 +128,7 @@ namespace klee { std::string msg("Cannot handle constant "); llvm::raw_string_ostream os(msg); os << "'" << *c << "' at location " - << (ki ? ki->getSourceLocation().c_str() : "[unknown]"); + << (ki ? ki->getSourceLocation() : "[unknown]"); klee_error("%s", os.str().c_str()); } } @@ -154,7 +154,7 @@ namespace klee { if (op2->getLimitedValue() == 0) { std::string msg("Division/modulo by zero during constant folding at location "); llvm::raw_string_ostream os(msg); - os << (ki ? ki->getSourceLocation().c_str() : "[unknown]"); + os << (ki ? ki->getSourceLocation() : "[unknown]"); klee_error("%s", os.str().c_str()); } break; @@ -164,7 +164,7 @@ namespace klee { if (op2->getLimitedValue() >= op1->getWidth()) { std::string msg("Overshift during constant folding at location "); llvm::raw_string_ostream os(msg); - os << (ki ? ki->getSourceLocation().c_str() : "[unknown]"); + os << (ki ? ki->getSourceLocation() : "[unknown]"); klee_error("%s", os.str().c_str()); } } @@ -175,7 +175,7 @@ namespace klee { switch (ce->getOpcode()) { default : os << "'" << *ce << "' at location " - << (ki ? ki->getSourceLocation().c_str() : "[unknown]"); + << (ki ? ki->getSourceLocation() : "[unknown]"); klee_error("%s", os.str().c_str()); case Instruction::Trunc: |