klee
KInstruction.cpp
Go to the documentation of this file.
1//===-- KInstruction.cpp --------------------------------------------------===//
2//
3// The KLEE Symbolic Virtual Machine
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
11#include <string>
12
13using namespace llvm;
14using namespace klee;
15
16/***/
17
18KInstruction::~KInstruction() {
19 delete[] operands;
20}
21
23 if (!info->file.empty())
24 return info->file + ":" + std::to_string(info->line) + " " +
25 std::to_string(info->column);
26 else return "[no debug info]";
27}
Definition: main.cpp:291
unsigned column
Column number in source file.
const std::string & file
Source file name.
unsigned line
Line number in source file.
const InstructionInfo * info
Definition: KInstruction.h:35
std::string getSourceLocation() const