klee
|
#include <ExecutionState.h>
Public Member Functions | |
SearchPhaseUnwindingInformation (ref< ConstantExpr > exceptionObject, std::size_t const unwindingProgress) | |
std::unique_ptr< UnwindingInformation > | clone () const |
![]() | |
Kind | getKind () const |
UnwindingInformation (ref< ConstantExpr > exceptionObject, Kind k) | |
virtual | ~UnwindingInformation ()=default |
virtual std::unique_ptr< UnwindingInformation > | clone () const =0 |
Static Public Member Functions | |
static bool | classof (const UnwindingInformation *u) |
Public Attributes | |
std::size_t | unwindingProgress |
MemoryObject * | serializedLandingpad = nullptr |
![]() | |
ref< ConstantExpr > | exceptionObject |
Additional Inherited Members | |
![]() | |
enum class | Kind { SearchPhase , CleanupPhase } |
Definition at line 92 of file ExecutionState.h.
|
inline |
Definition at line 100 of file ExecutionState.h.
|
inlinestatic |
Definition at line 110 of file ExecutionState.h.
References klee::UnwindingInformation::getKind(), and klee::UnwindingInformation::SearchPhase.
|
inlinevirtual |
Implements klee::UnwindingInformation.
Definition at line 106 of file ExecutionState.h.
MemoryObject* klee::SearchPhaseUnwindingInformation::serializedLandingpad = nullptr |
Definition at line 98 of file ExecutionState.h.
std::size_t klee::SearchPhaseUnwindingInformation::unwindingProgress |
Definition at line 94 of file ExecutionState.h.