From b737b76ce25ded750fa0d10b10414566c0856810 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 17 May 2018 11:53:08 +0100
Subject: Renamed printFileLine to getSourceLocation (as suggested by
@delcypher) to reflect the fact that it simply returns a string
---
lib/Core/ExecutorUtil.cpp | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
(limited to 'lib/Core/ExecutorUtil.cpp')
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 355f6f78..63967ae5 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->printFileLine().c_str() : "[unknown]");
+ << (ki ? ki->getSourceLocation().c_str() : "[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->printFileLine().c_str() : "[unknown]");
+ os << (ki ? ki->getSourceLocation().c_str() : "[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->printFileLine().c_str() : "[unknown]");
+ os << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
klee_error("%s", os.str().c_str());
}
}
@@ -175,7 +175,7 @@ namespace klee {
switch (ce->getOpcode()) {
default :
os << "'" << *ce << "' at location "
- << (ki ? ki->printFileLine().c_str() : "[unknown]");
+ << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
klee_error("%s", os.str().c_str());
case Instruction::Trunc:
--
cgit 1.4.1