7 #ifndef RETDEC_LLVMIR2HLL_IR_GOTO_STMT_H
8 #define RETDEC_LLVMIR2HLL_IR_GOTO_STMT_H
static const uint64_t Undefined
Definition: address.h:47
A goto statement for unconditional transfer of control.
Definition: goto_stmt.h:24
ShPtr< Statement > target
Jump target.
Definition: goto_stmt.h:56
virtual ShPtr< Expression > asExpression() const override
Returns the statement as an expression.
Definition: goto_stmt.cpp:40
GotoStmt(ShPtr< Statement > target, Address a=Address::Undefined)
Constructs a new goto statement.
Definition: goto_stmt.cpp:19
static ShPtr< GotoStmt > create(ShPtr< Statement > target, Address a=Address::Undefined)
Creates a new goto statement.
Definition: goto_stmt.cpp:77
virtual void replace(ShPtr< Expression > oldExpr, ShPtr< Expression > newExpr) override
Replaces all occurrences of oldExpr with newExpr in the current statement.
Definition: goto_stmt.cpp:36
ShPtr< Statement > getTarget() const
Returns the target of the goto statement.
Definition: goto_stmt.cpp:48
virtual bool isEqualTo(ShPtr< Value > otherValue) const override
Returns true if this value is equal to otherValue, false otherwise.
Definition: goto_stmt.cpp:28
void setTarget(ShPtr< Statement > target)
Sets a new target.
Definition: goto_stmt.cpp:58
virtual bool isCompound() override
Returns true if the statement is a compound statement, false otherwise.
Definition: goto_stmt.h:31
virtual void update(ShPtr< Value > subject, ShPtr< Value > arg=nullptr) override
Updates the statement according to the changes of subject.
Definition: goto_stmt.cpp:108
virtual void accept(Visitor *v) override
Visitor pattern implementation.
Definition: goto_stmt.cpp:122
virtual ShPtr< Value > clone() override
Returns a clone of the value.
Definition: goto_stmt.cpp:22
A representation of a program statement.
Definition: statement.h:39
A base class of all visitors.
Definition: visitor.h:95
A library providing API for working with back-end IR.
std::shared_ptr< T > ShPtr
An alias for a shared pointer.
Definition: smart_ptr.h:18
Definition: archive_wrapper.h:19
Declarations, aliases, macros, etc. for the use of smart pointers.
A representation of a program statement.