Commit adacc09b authored by Julian Kranz's avatar Julian Kranz

Small fixes

parent 446a5861
#pragma once
#include <memory>
#include <vector>
#include <cppgdsl/rreil/branch_hint.h>
#include <cppgdsl/rreil/exception/shared_exception.h>
#include <cppgdsl/rreil/expr_cmp/cmp_op.h>
#include <cppgdsl/rreil/expr/binop_op.h>
#include <cppgdsl/rreil/expr/expr_ext.h>
#include <cppgdsl/rreil/flop.h>
#include <cppgdsl/rreil/id/shared_id.h>
#include <cppgdsl/rreil/linear/binop_lin_op.h>
#include <cppgdsl/rreil/visitor.h>
#include "cppgdsl/rreil/branch_hint.h"
#include "cppgdsl/rreil/exception/shared_exception.h"
#include "cppgdsl/rreil/expr_cmp/cmp_op.h"
#include "cppgdsl/rreil/expr/binop_op.h"
#include "cppgdsl/rreil/expr/expr_ext.h"
#include "cppgdsl/rreil/flop.h"
#include "cppgdsl/rreil/id/shared_id.h"
#include "cppgdsl/rreil/visitor.h"
extern "C" {
#include <gdsl_generic.h>
#include "gdsl_generic.h"
}
namespace gdsl {
......@@ -141,6 +140,9 @@ class copy_visitor : public visitor {
std::unique_ptr<gdsl::rreil::exception> _exception;
public:
~copy_visitor();
copy_visitor();
std::unique_ptr<variable> retrieve_variable() { return std::move(_variable); }
std::unique_ptr<variable_limited> retrieve_variable_limited() {
......
......@@ -49,7 +49,7 @@ class expr_cmp {
std::ostream& operator<<(std::ostream& out, expr_cmp const& _this);
inline std::unique_ptr<expr_cmp> make_expr(cmp_op op,
inline std::unique_ptr<expr_cmp> make_expr_cmp(cmp_op op,
std::unique_ptr<linear> lhs,
std::unique_ptr<linear> rhs) {
return std::unique_ptr<expr_cmp>(
......
......@@ -42,7 +42,7 @@ void gdsl::rreil::copy_visitor::visit(expr_cmp const *a) {
if (expr_cmp_ctor != NULL)
_expr_cmp = expr_cmp_ctor(a->get_op(), std::move(lhs), std::move(rhs));
else
_expr_cmp = make_expr(a->get_op(), std::move(lhs), std::move(rhs));
_expr_cmp = make_expr_cmp(a->get_op(), std::move(lhs), std::move(rhs));
}
void gdsl::rreil::copy_visitor::visit(_throw const *a) {
......@@ -307,3 +307,7 @@ void gdsl::rreil::copy_visitor::visit(shared_exception const* a) {
else
_exception = make_exception(a->get_type());
}
gdsl::rreil::copy_visitor::~copy_visitor() {}
gdsl::rreil::copy_visitor::copy_visitor() {}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment