From 6f20f660ab2ae28ba6ec8e5262a2d1c31e0ab9ed Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 2 Mar 2017 14:59:28 +0000
Subject: Moved printFileLine() to be part of KInstruction

---
 lib/Module/KInstruction.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/Module')

diff --git a/lib/Module/KInstruction.cpp b/lib/Module/KInstruction.cpp
index 799620c6..a32745b8 100644
--- a/lib/Module/KInstruction.cpp
+++ b/lib/Module/KInstruction.cpp
@@ -17,3 +17,10 @@ using namespace klee;
 KInstruction::~KInstruction() {
   delete[] operands;
 }
+
+void KInstruction::printFileLine(llvm::raw_ostream &debugFile) {
+  if (info->file != "")
+    debugFile << info->file << ":" << info->line;
+  else
+    debugFile << "[no debug info]";
+}
-- 
cgit 1.4.1